C++: Switch back to a 'Bound' instead of a 'SemBound'.

MathiasVP · MathiasVP · commit f007083ef00f · 2023-04-04T09:43:23.000+01:00
diff --git a/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql b/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql
@@ -34,7 +34,7 @@ class PhpEmalloc extends AllocationFunction {
   override int getSizeArg() { result = 0 }
 }
 
-predicate bounded(Instruction i, SemBound b, int delta, boolean upper) {
+predicate bounded(Instruction i, Bound b, int delta, boolean upper) {
   // TODO: reason
   semBounded(getSemanticExpr(i), b, delta, upper, _)
 }

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ class PhpEmalloc extends AllocationFunction {`
`34`	`34`	`override int getSizeArg() { result = 0 }`
`35`	`35`	`}`
`36`	`36`
`37`		`-predicate bounded(Instruction i, SemBound b, int delta, boolean upper) {`
	`37`	`+predicate bounded(Instruction i, Bound b, int delta, boolean upper) {`
`38`	`38`	`// TODO: reason`
`39`	`39`	`semBounded(getSemanticExpr(i), b, delta, upper, _)`
`40`	`40`	`}`