C++: Fix Code Scanning errors.

MathiasVP · MathiasVP · commit c6c487dd9058 · 2023-12-11T09:35:44.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -463,7 +463,7 @@ private module IsModifiableAtImpl {
   /**
    * Holds if `cppType` is modifiable with an indirection index of at least 1.
    *
-   * This predicate factored out into a seperate predicate for two reasons:
+   * This predicate factored out into a separate predicate for two reasons:
    * - This predicate needs to be recursive because, if a type is modifiable
    * at indirection `i`, then it's also modifiable at indirection index `i+1`
    * (because the pointer could be completely re-assigned at indirection `i`).

Original file line number	Diff line number	Diff line change
`@@ -463,7 +463,7 @@ private module IsModifiableAtImpl {`
`463`	`463`	`/**`
`464`	`464`	* Holds if `cppType` is modifiable with an indirection index of at least 1.
`465`	`465`	`*`
`466`		`- * This predicate factored out into a seperate predicate for two reasons:`
	`466`	`+ * This predicate factored out into a separate predicate for two reasons:`
`467`	`467`	`* - This predicate needs to be recursive because, if a type is modifiable`
`468`	`468`	* at indirection `i`, then it's also modifiable at indirection index `i+1`
`469`	`469`	* (because the pointer could be completely re-assigned at indirection `i`).