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

C++: Add failing IR dataflow testcase.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-12-12 10:40:25 +00:00
parent 9e7b73ab4a
commit 2999243e34
3 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
View File

@@ -92,6 +92,10 @@ postWithInFlow
| test.cpp:506:3:506:4 | * ... [post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:506:4:506:4 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:512:35:512:35 | x [inner post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:519:3:519:12 | stackArray [inner post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:519:3:519:15 | access to array [post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:520:3:520:12 | stackArray [inner post update] | PostUpdateNode should not be the target of local flow. |
| test.cpp:520:3:520:15 | access to array [post update] | PostUpdateNode should not be the target of local flow. |
viableImplInCallContextTooLarge
uniqueParameterNodeAtPosition
uniqueParameterNodePosition

8
cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
View File

@@ -512,3 +512,11 @@ void viaOutparamMissingReturn() {
intOutparamSourceMissingReturn(&x);
sink(x); // $ ast MISSING: ir
}
void uncertain_definition() {
int stackArray[2];
int clean = 0;
stackArray[0] = source();
stackArray[1] = clean;
sink(stackArray[0]); // $ ast=519:19 SPURIOUS: ast=517:7 MISSING: ir
}

3
cpp/ql/test/library-tests/dataflow/dataflow-tests/uninitialized.expected
View File

@@ -34,3 +34,6 @@
| test.cpp:448:7:448:11 | local | test.cpp:449:18:449:22 | local |
| test.cpp:448:7:448:11 | local | test.cpp:450:8:450:12 | local |
| test.cpp:448:7:448:11 | local | test.cpp:451:9:451:13 | local |
| test.cpp:517:7:517:16 | stackArray | test.cpp:519:3:519:12 | stackArray |
| test.cpp:517:7:517:16 | stackArray | test.cpp:520:3:520:12 | stackArray |
| test.cpp:517:7:517:16 | stackArray | test.cpp:521:8:521:17 | stackArray |