hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-19 12:50:43 +00:00
parent 1af1ba48a9
commit f36b48346e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1014,7 +1014,7 @@ void test_overflow() {
if ((x + y) <= 512) { if ((x + y) <= 512) {
range(x); // $ range===2147483647 range(x); // $ range===2147483647
range(y); // $ range===256 range(y); // $ range===256
range(x + y); // $ range===-2147483393 range(x + y); // $ range=<=2147483903 overflow=+
} }
} }