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

CPP: Add a test.

Browse Source
This commit is contained in:
Geoffrey White
2020-01-07 12:37:19 +00:00
parent 9b9d7121e8
commit 0a85637fef
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/AV Rule 114.expected
View File

@@ -3,6 +3,7 @@
| test.c:8:5:8:14 | declaration | Function f2 should return a value of type int but does not return a value here |
| test.c:25:9:25:14 | ExprStmt | Function f4 should return a value of type int but does not return a value here |
| test.c:39:9:39:14 | ExprStmt | Function f6 should return a value of type int but does not return a value here |
| test.c:100:2:100:18 | asm statement | Function f14 should return a value of type int but does not return a value here |
| test.cpp:16:1:18:1 | { ... } | Function g2 should return a value of type MyValue but does not return a value here |
| test.cpp:48:2:48:26 | if (...) ... | Function g7 should return a value of type MyValue but does not return a value here |
| test.cpp:74:1:76:1 | { ... } | Function g10 should return a value of type second but does not return a value here |

5
cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/test.c
View File

@@ -94,3 +94,8 @@ void f13_func(int x)
{
if (x < 10) return; // GOOD
}
int f14()
{
__asm__("rdtsc"); // GOOD [FALSE POSITIVE]
}