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

Dave Bartolomeo · MathiasVP · web-flow · commit f22c91b76297 · 2022-03-15T15:01:32.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/RangeUtils.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeUtils.qll
@@ -101,12 +101,10 @@ predicate semValueFlowStep(SemExpr e2, SemExpr e1, int delta) {
     x.(SemConstantIntegerExpr).getIntValue() = delta
   )
   or
-  exists(SemExpr x |
-    exists(SemSubExpr sub |
-      e2 = sub and
-      sub.getLeftOperand() = e1 and
-      sub.getRightOperand() = x
-    )
+  exists(SemExpr x, SemSubExpr sub |
+    e2 = sub and
+    sub.getLeftOperand() = e1 and
+    sub.getRightOperand() = x
   |
     x.(SemConstantIntegerExpr).getIntValue() = -delta
   )

Original file line number	Diff line number	Diff line change
`@@ -101,12 +101,10 @@ predicate semValueFlowStep(SemExpr e2, SemExpr e1, int delta) {`
`101`	`101`	`x.(SemConstantIntegerExpr).getIntValue() = delta`
`102`	`102`	`)`
`103`	`103`	`or`
`104`		`- exists(SemExpr x \|`
`105`		`- exists(SemSubExpr sub \|`
`106`		`- e2 = sub and`
`107`		`- sub.getLeftOperand() = e1 and`
`108`		`- sub.getRightOperand() = x`
`109`		`- )`
	`104`	`+ exists(SemExpr x, SemSubExpr sub \|`
	`105`	`+ e2 = sub and`
	`106`	`+ sub.getLeftOperand() = e1 and`
	`107`	`+ sub.getRightOperand() = x`
`110`	`108`	`\|`
`111`	`109`	`x.(SemConstantIntegerExpr).getIntValue() = -delta`
`112`	`110`	`)`