Skip to content

Commit f36b483

Browse files
committed
C++: Accept test changes.
1 parent 1af1ba4 commit f36b483

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===-2147483393
1017+
range(x + y); // $ range=<=2147483903 overflow=+
10181018
}
10191019
}
10201020

0 commit comments

Comments
 (0)