mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
committed by
GitHub
parent
29f4b26280
commit
1e00e15c7b
@@ -423,7 +423,7 @@ void intPointerSourceCaller() {
|
||||
intPointerSource(&local);
|
||||
sink(local); // $ ast,ir=422:7 ast,ir=423:20
|
||||
}
|
||||
// The IR results for this test _is_ equivalent to the AST ones.
|
||||
// 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,
|
||||
|
||||
Reference in New Issue
Block a user