Merge pull request #12559 from MathiasVP/test9-range-check

2026-01-25 04:12:58 +01:00 · 2023-03-16 19:18:38 +00:00
parent 880f948763 406d02253d
commit ebab6ecc30
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;
 }