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 @@ -425,10 +425,10 @@ void intPointerSourceCaller() {
425425}
426426// The IR results for this test _are_ equivalent to the AST ones.
427427// The IR annotation is just "ir" because the sink of the unitialized source at
428- // 428:7 is value of `local`, but the sink of the source from `intPointerSource`
429- // value of `*local` (i.e., the indirection node of `local`). So unlike AST dataflow,
430- // each of these two sinks correspond to a unique source, and thus we don't need to
431- // attach a location annotation to it.
428+ // `433:7` (i.e., the declaration `int local[1];`) is value of `local`, but the sink
429+ // of the source from `intPointerSource` value of `*local` (i.e., the indirection node
430+ // of `local`). So unlike AST dataflow, each of these two sinks correspond to a unique
431+ // source, and thus we don't need to attach a location annotation to it.
432432void intPointerSourceCaller2 () {
433433 int local[1 ];
434434 intPointerSource (local);
You can’t perform that action at this time.
0 commit comments