We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 915fcf9 commit 0bcfabaCopy full SHA for 0bcfaba
cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -175,12 +175,12 @@ int test12() {
175
size_type Start = 0;
176
while (Start <= test12_helper()-1)
177
{
178
- range(Start); // $ MISSING:range=>=0
+ range(Start); // $ range="<=Store: ... += ...+0" MISSING:range=>=0
179
const size_type Length = test12_helper();
180
Start += Length + 1; // $ overflow=+
181
range(Start); // $ MISSING:range=>=1 MISSING:range=>=Start+1 MISSING:range=">=call to test12_helper+1"
182
}
183
184
185
return 1;
186
0 commit comments