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++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-02-24 15:08:06 +00:00
parent 057e810122
commit b952f619db
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -432,8 +432,8 @@ void intPointerSourceCaller() {
void intPointerSourceCaller2() {
int local[1];
intPointerSource(local);
sink(local); // $ ast=433:7 ast=434:20 ir
sink(*local); // $ ast=433:7 ast=434:20 ir
sink(local); // $ ast=433:7 ast=434:20 ir=433:7 ir=434:20 ir
sink(*local); // $ ast=433:7 ast=434:20 ir=433:7 ir=434:20
}
void intArraySourceCaller() {
@@ -447,8 +447,8 @@ void intArraySourceCaller() {
void intArraySourceCaller2() {
int local[2];
intArraySource(local, 2);
sink(local); // $ ast=448:7 ast=449:18 ir
sink(*local); // $ ast=448:7 ast=449:18 ir
sink(local); // $ ast=448:7 ast=449:18 ir=448:7 ir=449:18 ir
sink(*local); // $ ast=448:7 ast=449:18 ir=448:7 ir=449:18
}
///////////////////////////////////////////////////////////////////////////////
@@ -594,5 +594,5 @@ void test_indirect_flow_to_array() {
int* p = indirect_source();
int* xs[2];
xs[0] = p;
sink(*xs[0]); // $ MISSING: ir,ast
sink(*xs[0]); // $ ir=594:12 MISSING: ast SPURIOUS: ir=595:8
}