C++: Remove best-bound logic from test

jbj · jbj · commit b6038f3caadb · 2019-10-29T11:54:32.000+01:00
This logic, in an improved form, is now part of the library itself.
diff --git a/cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql b/cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql
@@ -11,13 +11,7 @@ query predicate instructionBounds(
     or
     exists(ReturnValueInstruction retInstr | retInstr.getReturnValueOperand() = i.getAUse())
   ) and
-  (
-    upper = true and
-    delta = min(int d | boundedInstruction(i, b, d, upper, reason))
-    or
-    upper = false and
-    delta = max(int d | boundedInstruction(i, b, d, upper, reason))
-  ) and
+  boundedInstruction(i, b, delta, upper, reason) and
   not valueNumber(b.getInstruction()) = valueNumber(i) and
   if reason instanceof CondReason
   then reasonLoc = reason.(CondReason).getCond().getLocation()
