File tree Expand file tree Collapse file tree
cpp/ql/test/library-tests/dataflow/dataflow-tests Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -432,8 +432,8 @@ void intPointerSourceCaller() {
432432void 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
439439void intArraySourceCaller () {
@@ -447,8 +447,8 @@ void intArraySourceCaller() {
447447void 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}
You can’t perform that action at this time.
0 commit comments