hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 14:34:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept semantic range analysis test changes due to extra loads in the IR

Browse Source
This commit is contained in:
Jeroen Ketema
2023-08-04 15:13:49 +02:00
parent 554087161b
commit 8b8a2726d4
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

@@ -672,7 +672,7 @@ void test17() {
range(i); // $ range===50
i = 20 + (j -= 10);
range(i); // $ range="==Store: ... += ... | Store: ... = ...+10" range===60
range(i); // $ range="==Store: ... += ... | Store: ... = ...+10" range===60 range="==Store: ... -= ...+20"
}
// Tests for unsigned multiplication.