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

CPP: Add a test of AV Rule 186.ql.

Browse Source
This commit is contained in:
Geoffrey White
2019-01-24 18:11:26 +00:00
parent f7dda1b3a4
commit 7ea6c1bcbe
3 changed files with 41 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/query-tests/jsf/4.24 Control Flow Structures/AV Rule 186/AV Rule 186.expected Normal file
View File

@@ -0,0 +1,2 @@
| test.c:14:6:14:15 | not_called | AV Rule 186: There shall be no unreachable code. |
| test.c:32:3:32:6 | ExprStmt | AV Rule 186: There shall be no unreachable code. |

1
cpp/ql/test/query-tests/jsf/4.24 Control Flow Structures/AV Rule 186/AV Rule 186.qlref Normal file
View File

@@ -0,0 +1 @@
jsf/4.24 Control Flow Structures/AV Rule 186.ql

38
cpp/ql/test/query-tests/jsf/4.24 Control Flow Structures/AV Rule 186/test.c Normal file
View File

@@ -0,0 +1,38 @@
int x = 0;
void called1()
{
x++;
}
void called2()
{
x++;
}
void not_called()
{
x++; // BAD: unreachable
}
int main(int argc, const char* argv[])
{
void (*fun_ptr)() = &called2;
called1();
called2();
if (argc > 4)
{
x++;
while (1) {
x++;
}
x++; // BAD: unreachable
} else if (argc > 4) {
x++; // BAD: unreachable [NOT DETECTED]
} else if (argc > 5) {
x++; // BAD: unreachable [NOT DETECTED]
}
}