Update cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll

MathiasVP · geoffw0 · web-flow · commit d308dd2f4009 · 2021-06-23T11:54:56.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll b/cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll
@@ -248,7 +248,7 @@ abstract class StackVariableReachability extends string {
    *
    * In addition to using a better performing implementation, this analysis
    * accounts for loops where the condition is provably true upon entry, and discards paths that require
-   * an infeasible combination of guard conditions (i.e., `if(b) { ... }` and `if(!b) { ... }`).
+   * an infeasible combination of guard conditions (for example, `if(b) { ... }` and `if(!b) { ... }`).
    */
   predicate reaches(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink) {
     /*

Original file line number	Diff line number	Diff line change
`@@ -248,7 +248,7 @@ abstract class StackVariableReachability extends string {`
`248`	`248`	`*`
`249`	`249`	`* In addition to using a better performing implementation, this analysis`
`250`	`250`	`* accounts for loops where the condition is provably true upon entry, and discards paths that require`
`251`		- * an infeasible combination of guard conditions (i.e., `if(b) { ... }` and `if(!b) { ... }`).
	`251`	+ * an infeasible combination of guard conditions (for example, `if(b) { ... }` and `if(!b) { ... }`).
`252`	`252`	`*/`
`253`	`253`	`predicate reaches(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink) {`
`254`	`254`	`/*`