Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b952f61

Browse files
committed
C++: Accept test changes.
1 parent 057e810 commit b952f61

1 file changed

Lines changed: 5 additions & 5 deletions

File tree

  • cpp/ql/test/library-tests/dataflow/dataflow-tests

cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -432,8 +432,8 @@ void intPointerSourceCaller() {
432432
void intPointerSourceCaller2() {
433433
int local[1];
434434
intPointerSource(local);
435-
sink(local); // $ ast=433:7 ast=434:20 ir
436-
sink(*local); // $ ast=433:7 ast=434:20 ir
435+
sink(local); // $ ast=433:7 ast=434:20 ir=433:7 ir=434:20 ir
436+
sink(*local); // $ ast=433:7 ast=434:20 ir=433:7 ir=434:20
437437
}
438438

439439
void intArraySourceCaller() {
@@ -447,8 +447,8 @@ void intArraySourceCaller() {
447447
void intArraySourceCaller2() {
448448
int local[2];
449449
intArraySource(local, 2);
450-
sink(local); // $ ast=448:7 ast=449:18 ir
451-
sink(*local); // $ ast=448:7 ast=449:18 ir
450+
sink(local); // $ ast=448:7 ast=449:18 ir=448:7 ir=449:18 ir
451+
sink(*local); // $ ast=448:7 ast=449:18 ir=448:7 ir=449:18
452452
}
453453

454454
///////////////////////////////////////////////////////////////////////////////
@@ -594,5 +594,5 @@ void test_indirect_flow_to_array() {
594594
int* p = indirect_source();
595595
int* xs[2];
596596
xs[0] = p;
597-
sink(*xs[0]); // $ MISSING: ir,ast
597+
sink(*xs[0]); // $ ir=594:12 MISSING: ast SPURIOUS: ir=595:8
598598
}

0 commit comments

Comments
 (0)