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

C++: Add division test

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-10-12 11:25:55 +02:00
parent 232c147f6b
commit 7b214a24df
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -117,3 +117,16 @@ void test_sub(int x, int y, int n) {
}
}
}
void test_div(int x) {
if (3 <= x && x <= 7) {
range(x / 2); // $ SPURIOUS: range=>=1.5 SPURIOUS: range=<=3.5
range(x / 3); // $ range=>=1 SPURIOUS: range=<=2.333333
range(x >> 2); // $ SPURIOUS: range=>=0.75 SPURIOUS: range=<=1.75
}
if (2 <= x && x <= 8) {
range(x / 2); // $ range=>=1 range=<=4
range(x / 3); // $ SPURIOUS: range=>=0.666667 SPURIOUS: range=<=2.666667
range(x >> 2); // $ SPURIOUS: range=>=0.5 range=<=2
}
}