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

Skip to content

Commit 23d6eb6

Browse files
committed
C++: Fix comment.
1 parent d361053 commit 23d6eb6

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
@@ -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.
432432
void intPointerSourceCaller2() {
433433
int local[1];
434434
intPointerSource(local);

0 commit comments

Comments
 (0)