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

CPP: Better location for the StackVariableReachability test.

Browse Source
This commit is contained in:
Geoffrey White
2020-01-23 17:32:07 +00:00
parent b693ef51e2
commit 795afa8160
5 changed files with 0 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
cpp/ql/test/library-tests/controlflow/stackvariablereachability/stackVariableReachability.c Normal file
View File

@@ -0,0 +1,25 @@
int cond();
int f(int x);
void test(int p)
{
int a = 10;
int b = 20;
int c = 30;
a = a + 1;
a = 40;
a++;
++a;
a = f(a);
a;
if (cond()) {
b = 50;
} else {
b = 60;
}
c = b;
c;
}