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

CPP: Add a test case.

Browse Source
This commit is contained in:
Geoffrey White
2019-04-02 12:46:32 +01:00
parent 02f4695a5b
commit 5cb30b04cc
2 changed files with 27 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/query-tests/Critical/DeadCodeGoto/DeadCodeGoto.expected
View File

@@ -1,3 +1,4 @@
| test.cpp:2:2:2:12 | goto ... | This statement makes $@ unreachable. | test.cpp:3:2:3:5 | ExprStmt | ExprStmt |
| test.cpp:9:3:9:8 | break; | This statement makes $@ unreachable. | test.cpp:10:3:10:6 | ExprStmt | ExprStmt |
| test.cpp:37:3:37:8 | break; | This statement makes $@ unreachable. | test.cpp:38:3:38:11 | return ... | return ... |
| test.cpp:91:2:91:11 | goto ... | This statement makes $@ unreachable. | test.cpp:93:2:93:5 | ExprStmt | ExprStmt |

26
cpp/ql/test/query-tests/Critical/DeadCodeGoto/test.cpp
View File

@@ -81,3 +81,29 @@ void test7(int x, int cond) {
}
end:
}
#define CONFIG_DEFINE
void test8() {
int x = 0;
#ifdef CONFIG_DEFINE
goto skip; // GOOD (the `x++` is still reachable in some configurations) [FALSE POSITIVE]
#endif
x++;
skip:
}
void test9() {
int x = 0;
#ifdef CONFIG_NOTDEFINED
goto mid;
#endif
goto end; // GOOD (the `x++` is still reachable in some configurations)
mid:
x++;
end:
}