hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add failing test.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-26 23:05:46 +00:00
parent da4a059388
commit f6b9ca3da6
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -608,3 +608,10 @@ void test_def_by_ref_followed_by_uncertain_write_pointer(int* p) { // $ ast-def=
*p = 0;
sink(*p); // $ ir MISSING: ast
}
void test_flow_through_void_double_pointer(int *p) // $ ast-def=p
{
intPointerSource(p);
void* q = (void*)&p;
sink(**(int**)q); // $ MISSING: ast,ir
}