Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll

Dave Bartolomeo · MathiasVP · web-flow · commit e275ab395161 · 2022-03-16T13:07:15.000-04:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
@@ -40,7 +40,7 @@ predicate ignoreSsaReadArithmeticExpr(SemExpr e) { none() }
  * Holds if the specified variable should be excluded from the result of `ssaRead()`.
  *
  * This predicate is to keep the results identical to the original Java implementation. It should be
- * removed once we hae the new implementation matching the old results exactly.
+ * removed once we have the new implementation matching the old results exactly.
  */
 predicate ignoreSsaReadAssignment(SemSsaVariable v) { none() }
 

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ predicate ignoreSsaReadArithmeticExpr(SemExpr e) { none() }`
`40`	`40`	* Holds if the specified variable should be excluded from the result of `ssaRead()`.
`41`	`41`	`*`
`42`	`42`	`* This predicate is to keep the results identical to the original Java implementation. It should be`
`43`		`- * removed once we hae the new implementation matching the old results exactly.`
	`43`	`+ * removed once we have the new implementation matching the old results exactly.`
`44`	`44`	`*/`
`45`	`45`	`predicate ignoreSsaReadAssignment(SemSsaVariable v) { none() }`
`46`	`46`