Update cpp/ql/src/Likely Bugs/RedundantNullCheckSimple.ql

MathiasVP · geoffw0 · web-flow · commit b7bbdb76ba5f · 2023-04-13T18:42:12.000+01:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/Likely Bugs/RedundantNullCheckSimple.ql b/cpp/ql/src/Likely Bugs/RedundantNullCheckSimple.ql
@@ -145,7 +145,7 @@ module PathGraph {
   }
 
   /**
-   * Computes the reflextive transitive closure of `getASuccessorIfDifferentValueNumber`.
+   * Computes the reflexive transitive closure of `getASuccessorIfDifferentValueNumber`.
    */
   private Instruction getASuccessorIfDifferentValueNumberTC(ValueNumber vn, Instruction i) {
     revFlow(i, vn) and

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,7 @@ module PathGraph {`
`145`	`145`	`}`
`146`	`146`
`147`	`147`	`/**`
`148`		- * Computes the reflextive transitive closure of `getASuccessorIfDifferentValueNumber`.
	`148`	+ * Computes the reflexive transitive closure of `getASuccessorIfDifferentValueNumber`.
`149`	`149`	`*/`
`150`	`150`	`private Instruction getASuccessorIfDifferentValueNumberTC(ValueNumber vn, Instruction i) {`
`151`	`151`	`revFlow(i, vn) and`