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 @@ -48,5 +48,5 @@ void following_pointers( // $ ast-def=sourceStruct1_ptr
4848
4949 int stackArray[2 ] = { source (), source () };
5050 stackArray[0 ] = source ();
51- sink (stackArray); // $ ast ir ir=49:35 ir=50:19
51+ sink (stackArray); // $ ast ir ir=49:7 ir=49:25 ir=49: 35 ir=50:19
5252}
Original file line number Diff line number Diff line change @@ -518,7 +518,7 @@ void uncertain_definition() {
518518 int clean = 0 ;
519519 stackArray[0 ] = source ();
520520 stackArray[1 ] = clean;
521- sink (stackArray[0 ]); // $ ast=519:19 ir SPURIOUS: ast=517:7
521+ sink (stackArray[0 ]); // $ ast=519:19 ir=517:7 ir=519:19 SPURIOUS: ast=517:7
522522}
523523
524524void set_through_const_pointer (int x, const int **e) // $ ast-def=e ir-def=**e ir-def=*e
@@ -600,11 +600,11 @@ void test_indirect_flow_to_array() {
600600void test_def_by_ref_followed_by_uncertain_write_array (int * p) { // $ ast-def=p ir-def=*p
601601 intPointerSource (p);
602602 p[10 ] = 0 ;
603- sink (*p); // $ MISSING: ast,ir
603+ sink (*p); // $ ir MISSING: ast
604604}
605605
606606void test_def_by_ref_followed_by_uncertain_write_pointer (int * p) { // $ ast-def=p ir-def=*p
607607 intPointerSource (p);
608608 *p = 0 ;
609- sink (*p); // $ MISSING: ast,ir
609+ sink (*p); // $ ir MISSING: ast
610610}
You can’t perform that action at this time.
0 commit comments