Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis

MathiasVP · web-flow · commit 2787f0a0fc1a · 2023-11-07T15:15:45.000Z
C++: Add range analysis testcase
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/test.cpp b/cpp/ql/test/library-tests/ir/range-analysis/test.cpp
@@ -130,3 +130,13 @@ void test_div(int x) {
     range(x >> 2); // $ range=>=0 range=<=2
   }
 }
+
+struct X { int n; };
+void read_argument(const X *);
+
+void nonterminating_without_operands_as_ssa(X *x) {
+  read_argument(x);
+  while (x->n) {
+    x->n--;
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -130,3 +130,13 @@ void test_div(int x) {`
`130`	`130`	`range(x >> 2); // $ range=>=0 range=<=2`
`131`	`131`	`}`
`132`	`132`	`}`
	`133`	`+`
	`134`	`+struct X { int n; };`
	`135`	`+void read_argument(const X *);`
	`136`	`+`
	`137`	`+void nonterminating_without_operands_as_ssa(X *x) {`
	`138`	`+ read_argument(x);`
	`139`	`+ while (x->n) {`
	`140`	`+ x->n--;`
	`141`	`+ }`
	`142`	`+}`