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

Rust: Add a couple of simple data flow test cases.

Browse Source
This commit is contained in:
Geoffrey White
2025-09-15 16:40:58 +01:00
parent ffeece1179
commit 8442146a0f
3 changed files with 1573 additions and 1531 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2041
rust/ql/test/library-tests/dataflow/local/DataFlowStep.expected
View File

File diff suppressed because it is too large Load Diff

1051
rust/ql/test/library-tests/dataflow/local/inline-flow.expected
View File

File diff suppressed because it is too large Load Diff

12
rust/ql/test/library-tests/dataflow/local/main.rs
View File

@@ -69,6 +69,18 @@ fn assignment() {
sink(i);
i = source(6);
sink(i); // $ hasValueFlow=6
i = 2;
sink(i);
let mut j = 3;
let k = source(7);
j = k;
sink(j); // $ hasValueFlow=7
sink(k); // $ hasValueFlow=7
let mut l = source(8);
l = l;
sink(l); // $ MISSING: hasValueFlow=8
}
fn block_expression1() -> i64 {