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

C++: Add tests to exercise the upcoming behavior of function dispatch when there are model-generated summaries AND source definitions.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-05-15 15:05:17 +01:00
parent 51229a6b48
commit c6df9505c0
7 changed files with 104 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
cpp/ql/test/library-tests/dataflow/external-models/test.cpp
View File

@@ -1,7 +1,10 @@
int ymlSource();
void ymlSink(int value);
int ymlStep(int value);
int ymlStepManual(int value);
int ymlStepGenerated(int value);
int ymlStepManual_with_body(int value1, int value2) { return value2; }
int ymlStepGenerated_with_body(int value, int value2) { return value2; }
void test() {
int x = ymlSource();
@@ -10,7 +13,25 @@ void test() {
ymlSink(x); // $ ir
int y = ymlStep(x);
// ymlStepManual is manually modeled so we should always use the model
int y = ymlStepManual(x);
ymlSink(y); // $ ir
// ymlStepGenerated is modeled by the model generator so we should use the model only if there is no body
int z = ymlStepGenerated(x);
ymlSink(z); // $ ir
// ymlStepManual_with_body is manually modeled so we should always use the model
int y2 = ymlStepManual_with_body(x, 0);
ymlSink(y2); // $ ir
int y3 = ymlStepManual_with_body(0, x);
ymlSink(y3); // clean
// ymlStepGenerated_with_body is modeled by the model generator so we should use the model only if there is no body
int z2 = ymlStepGenerated_with_body(0, x);
ymlSink(z2); // $ MISSING: ir
int z3 = ymlStepGenerated_with_body(x, 0);
ymlSink(z3); // $ SPURIOUS: ir
}