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

Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
This commit is contained in:
Dave Bartolomeo
2022-03-16 13:07:15 -04:00
committed by GitHub
parent 6adc11b10e
commit e275ab3951

View File

@@ -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() }