C++: Add 'range(x)' call demonstrating missing bounds.

2026-04-26 01:05:15 +02:00 · 2023-03-16 17:08:53 +00:00
parent a9e5b34ad6
commit 406d02253d
1 changed files with 1 additions and 0 deletions
--- a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
+++ b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -119,6 +119,7 @@ int test9(int x, int y) {
    }
    range(x); // $ range=>=4
  }
+  range(x); // $ MISSING: range=>=4
  return x;
 }