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

Dave Bartolomeo · MathiasVP · web-flow · commit 6adc11b10edc · 2022-03-16T13:07:08.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
@@ -32,7 +32,7 @@ predicate ignoreZeroLowerBound(SemExpr e) { none() }
  * Holds if the specified expression 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 ignoreSsaReadArithmeticExpr(SemExpr e) { none() }
 

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ predicate ignoreZeroLowerBound(SemExpr e) { none() }`
`32`	`32`	* Holds if the specified expression should be excluded from the result of `ssaRead()`.
`33`	`33`	`*`
`34`	`34`	`* This predicate is to keep the results identical to the original Java implementation. It should be`
`35`		`- * removed once we hae the new implementation matching the old results exactly.`
	`35`	`+ * removed once we have the new implementation matching the old results exactly.`
`36`	`36`	`*/`
`37`	`37`	`predicate ignoreSsaReadArithmeticExpr(SemExpr e) { none() }`
`38`	`38`