C++: add neq refinement test for range analysis

Robert Marsh · Robert Marsh · commit 681cc4c755bb · 2023-05-22T11:49:37.000-04:00
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/test.cpp b/cpp/ql/test/library-tests/ir/range-analysis/test.cpp
@@ -49,3 +49,13 @@
     return 0;
   }
 
+int f3(int x) {
+  for (int i = 0; i <= 100; i++) {
+    range(i); // $ range=<=100 range=>=0
+    if(i == 100) {
+      range(i); // $ range===100
+    } else {
+      range(i); // $ range=<=99 range=>=0
+    }
+  }
+}
