File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed
cpp/ql/test/library-tests/dataflow/dataflow-tests Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -48,5 +48,5 @@ void following_pointers( // $ ast-def=sourceStruct1_ptr
48
48
49
49
int stackArray[2 ] = { source (), source () };
50
50
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
52
52
}
Original file line number Diff line number Diff line change @@ -518,7 +518,7 @@ void uncertain_definition() {
518
518
int clean = 0 ;
519
519
stackArray[0 ] = source ();
520
520
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
522
522
}
523
523
524
524
void 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() {
600
600
void test_def_by_ref_followed_by_uncertain_write_array (int * p) { // $ ast-def=p ir-def=*p
601
601
intPointerSource (p);
602
602
p[10 ] = 0 ;
603
- sink (*p); // $ MISSING: ast,ir
603
+ sink (*p); // $ ir MISSING: ast
604
604
}
605
605
606
606
void test_def_by_ref_followed_by_uncertain_write_pointer (int * p) { // $ ast-def=p ir-def=*p
607
607
intPointerSource (p);
608
608
*p = 0 ;
609
- sink (*p); // $ MISSING: ast,ir
609
+ sink (*p); // $ ir MISSING: ast
610
610
}
You can’t perform that action at this time.
0 commit comments