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

Skip to content

Commit 350fb89

Browse files
committed
C++: Also mention all locations in the AST case
1 parent 12930c6 commit 350fb89

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

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

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -563,18 +563,18 @@ namespace IndirectFlowThroughGlobals {
563563
}
564564

565565
void f() {
566-
sink(*globalInt); // $ ir=562:17 ir=576:17
566+
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
567567
taintGlobal();
568-
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17
568+
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
569569
}
570570

571571
void calledAfterTaint() {
572-
sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17
572+
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
573573
}
574574

575575
void taintAndCall() {
576576
globalInt = indirect_source();
577577
calledAfterTaint();
578-
sink(*globalInt); // $ ir=576:17 ir=562:17 MISSING: ast=576:17
578+
sink(*globalInt); // $ ir=562:17 ir=576:17 MISSING: ast=562:17 ast=576:17
579579
}
580580
}

0 commit comments

Comments
 (0)