hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix comment.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-11-21 19:26:04 +00:00
parent d361053e10
commit 23d6eb67c3
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
View File

@@ -425,10 +425,10 @@ void intPointerSourceCaller() {
}
// The IR results for this test _are_ equivalent to the AST ones.
// The IR annotation is just "ir" because the sink of the unitialized source at
// 428:7 is value of `local`, but the sink of the source from `intPointerSource`
// value of `*local` (i.e., the indirection node of `local`). So unlike AST dataflow,
// each of these two sinks correspond to a unique source, and thus we don't need to
// attach a location annotation to it.
// `433:7` (i.e., the declaration `int local[1];`) is value of `local`, but the sink
// of the source from `intPointerSource` value of `*local` (i.e., the indirection node
// of `local`). So unlike AST dataflow, each of these two sinks correspond to a unique
// source, and thus we don't need to attach a location annotation to it.
void intPointerSourceCaller2() {
int local[1];
intPointerSource(local);