Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp

alexet · aschackmull · web-flow · commit 11152deeb5c7 · 2023-10-31T13:52:33.000Z
Co-authored-by: Anders Schack-Mulligen &lt;aschackmull@users.noreply.github.com&gt;
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -1036,7 +1036,7 @@ void test_guard_after_use(int pos, int size, int offset) {
   if (pos + offset >= size) { // $ overflow=+-
     return;
   }
-  if (offset == 1) {
+  if (offset != 1) {
     return;
   }
   range(pos + 1); // $ overflow=+ range="==InitializeParameter: pos+1" MISSING: range="<=InitializeParameter: size-1"

Original file line number	Diff line number	Diff line change
`@@ -1036,7 +1036,7 @@ void test_guard_after_use(int pos, int size, int offset) {`
`1036`	`1036`	`if (pos + offset >= size) { // $ overflow=+-`
`1037`	`1037`	`return;`
`1038`	`1038`	`}`
`1039`		`- if (offset == 1) {`
	`1039`	`+ if (offset != 1) {`
`1040`	`1040`	`return;`
`1041`	`1041`	`}`
`1042`	`1042`	`range(pos + 1); // $ overflow=+ range="==InitializeParameter: pos+1" MISSING: range="<=InitializeParameter: size-1"`