Skip to content

Commit 406d022

Browse files
committed
C++: Add 'range(x)' call demonstrating missing bounds.
1 parent a9e5b34 commit 406d022

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,7 @@ int test9(int x, int y) {
119119
}
120120
range(x); // $ range=>=4
121121
}
122+
range(x); // $ MISSING: range=>=4
122123
return x;
123124
}
124125

0 commit comments

Comments
 (0)