Skip to content

Commit 54262a5

Browse files
committed
Revert "C++: Accept test changes."
This reverts commit f36b483.
1 parent a88d8b2 commit 54262a5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1014,7 +1014,7 @@ void test_overflow() {
10141014
if ((x + y) <= 512) {
10151015
range(x); // $ range===2147483647
10161016
range(y); // $ range===256
1017-
range(x + y); // $ range=<=2147483903 overflow=+
1017+
range(x + y); // $ range===-2147483393
10181018
}
10191019
}
10201020

0 commit comments

Comments
 (0)