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

C++: Correct annotation in test

Browse Source
This commit is contained in:
Jonas Jensen
2020-10-12 11:25:38 +02:00
parent 1d9acbfca9
commit 30b9d13a45
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c
View File

@@ -643,11 +643,11 @@ void two_bounds_from_one_test(short ss, unsigned short us) {
void guard_bound_out_of_range(void) {
int i = 0;
if (i < 0) {
out(i); // 0 .. 0 [BUG: is -max .. +max]
out(i); // unreachable [BUG: is -max .. +max]
}
unsigned int u = 0;
if (u < 0) {
out(u); // 0 .. 0 [BUG: is 0 .. +max]
out(u); // unreachable [BUG: is 0 .. +max]
}
}