Skip to content

Commit 170691b

Browse files
committed
CPP: Comment as suggested.
1 parent 6bac1e6 commit 170691b

File tree

1 file changed

+1
-1
lines changed
  • cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis

1 file changed

+1
-1
lines changed

cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -422,5 +422,5 @@ void test17() {
422422
out(i); // 50
423423

424424
i = 20 + (j -= 10);
425-
out(i); // 60
425+
out(i); // 60 [BUG: the analysis thinks it's 2^-31 .. 2^31-1]
426426
}

0 commit comments

Comments
 (0)