hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1945 from geoffw0/more-tests

Browse Source 
CPP: Add a test of ConditionalDeclExpr.
This commit is contained in:
Jonas Jensen
2019-09-18 11:11:16 +02:00
committed by GitHub
parent 396a72db5f 07e29bb627
commit e7d8fa4251
3 changed files with 42 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
cpp/ql/test/library-tests/exprs/conditional_decl/conditionaldeclexpr.cpp Normal file
View File

@@ -0,0 +1,35 @@
void do_something_with(bool b)
{
// ...
}
void do_something_else_with(int i)
{
// ...
}
void test_if(int x, int y)
{
bool b = x < y;
do_something_with(b);
if (bool c = x < y) { // ConditionalDeclExpr
do_something_with(c);
x++;
}
}
void test_while(int x, int y)
{
while (int d = x - y) { // ConditionalDeclExpr
do_something_else_with(d);
}
}
void test_for(int x, int y)
{
for (int i = 0; bool c = x < y; x++) { // ConditionalDeclExpr
do_something_with(c);
}
}

3
cpp/ql/test/library-tests/exprs/conditional_decl/conditionaldeclexpr.expected Normal file
View File

@@ -0,0 +1,3 @@
| conditionaldeclexpr.cpp:17:7:17:20 | (condition decl) | conditionaldeclexpr.cpp:17:12:17:12 | c | conditionaldeclexpr.cpp:17:16:17:20 | ... < ... |
| conditionaldeclexpr.cpp:25:10:25:22 | (condition decl) | conditionaldeclexpr.cpp:25:14:25:14 | d | conditionaldeclexpr.cpp:25:18:25:22 | ... - ... |
| conditionaldeclexpr.cpp:32:19:32:32 | (condition decl) | conditionaldeclexpr.cpp:32:24:32:24 | c | conditionaldeclexpr.cpp:32:28:32:32 | ... < ... |

4
cpp/ql/test/library-tests/exprs/conditional_decl/conditionaldeclexpr.ql Normal file
View File

@@ -0,0 +1,4 @@
import cpp
from ConditionDeclExpr cde
select cde, cde.getVariableAccess(), cde.getInitializingExpr()