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

C++: Fix annotations.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-13 11:04:51 +01:00
parent 40dde93beb
commit 31b71ea163
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp
View File

@@ -39,9 +39,9 @@ void test_dominance2(void *a) {
void test_post_dominance1(int *a)
{
if (condition()) free(a); // GOOD
if (condition()) a[2] = 5; // GOOD
if (condition()) free(a); // GOOD
if (condition()) free(a);
if (condition()) a[2] = 5; // BAD [NOT DETECTED]
if (condition()) free(a); // BAD [NOT DETECTED]
a[2] = 5; // BAD
free(a); // BAD
}