Skip to content

Commit 1bccf42

Browse files
committed
Rust: Update test results following fix on main.
1 parent 3910a34 commit 1bccf42

File tree

3 files changed

+12
-3
lines changed

3 files changed

+12
-3
lines changed

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -111,11 +111,12 @@ localStep
111111
| main.rs:77:9:77:9 | k | main.rs:77:5:77:5 | j |
112112
| main.rs:77:9:77:9 | k | main.rs:79:10:79:10 | k |
113113
| main.rs:81:9:81:13 | mut l | main.rs:81:13:81:13 | l |
114+
| main.rs:81:13:81:13 | [SSA] l | main.rs:82:9:82:9 | l |
115+
| main.rs:81:13:81:13 | l | main.rs:81:13:81:13 | [SSA] l |
114116
| main.rs:81:17:81:25 | source(...) | main.rs:81:9:81:13 | mut l |
115-
| main.rs:82:5:82:5 | [SSA] l | main.rs:82:9:82:9 | l |
117+
| main.rs:82:5:82:5 | [SSA] l | main.rs:83:10:83:10 | l |
116118
| main.rs:82:5:82:5 | l | main.rs:82:5:82:5 | [SSA] l |
117119
| main.rs:82:9:82:9 | l | main.rs:82:5:82:5 | l |
118-
| main.rs:82:9:82:9 | l | main.rs:83:10:83:10 | l |
119120
| main.rs:87:9:87:9 | [SSA] a | main.rs:88:5:88:5 | a |
120121
| main.rs:87:9:87:9 | a | main.rs:87:9:87:9 | [SSA] a |
121122
| main.rs:87:9:87:9 | a | main.rs:87:9:87:9 | a |

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

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,9 @@ edges
3131
| main.rs:76:9:76:9 | k | main.rs:79:10:79:10 | k | provenance | |
3232
| main.rs:76:13:76:21 | source(...) | main.rs:76:9:76:9 | k | provenance | |
3333
| main.rs:77:5:77:5 | j | main.rs:78:10:78:10 | j | provenance | |
34+
| main.rs:81:9:81:13 | mut l | main.rs:82:5:82:5 | l | provenance | |
35+
| main.rs:81:17:81:25 | source(...) | main.rs:81:9:81:13 | mut l | provenance | |
36+
| main.rs:82:5:82:5 | l | main.rs:83:10:83:10 | l | provenance | |
3437
| main.rs:115:9:115:9 | i [&ref] | main.rs:116:11:116:11 | i [&ref] | provenance | |
3538
| main.rs:115:13:115:31 | ...::new(...) [&ref] | main.rs:115:9:115:9 | i [&ref] | provenance | |
3639
| main.rs:115:22:115:30 | source(...) | main.rs:115:13:115:31 | ...::new(...) [&ref] | provenance | MaD:1 |
@@ -279,6 +282,10 @@ nodes
279282
| main.rs:77:5:77:5 | j | semmle.label | j |
280283
| main.rs:78:10:78:10 | j | semmle.label | j |
281284
| main.rs:79:10:79:10 | k | semmle.label | k |
285+
| main.rs:81:9:81:13 | mut l | semmle.label | mut l |
286+
| main.rs:81:17:81:25 | source(...) | semmle.label | source(...) |
287+
| main.rs:82:5:82:5 | l | semmle.label | l |
288+
| main.rs:83:10:83:10 | l | semmle.label | l |
282289
| main.rs:115:9:115:9 | i [&ref] | semmle.label | i [&ref] |
283290
| main.rs:115:13:115:31 | ...::new(...) [&ref] | semmle.label | ...::new(...) [&ref] |
284291
| main.rs:115:22:115:30 | source(...) | semmle.label | source(...) |
@@ -553,6 +560,7 @@ testFailures
553560
| main.rs:71:10:71:10 | i | main.rs:70:9:70:17 | source(...) | main.rs:71:10:71:10 | i | $@ | main.rs:70:9:70:17 | source(...) | source(...) |
554561
| main.rs:78:10:78:10 | j | main.rs:76:13:76:21 | source(...) | main.rs:78:10:78:10 | j | $@ | main.rs:76:13:76:21 | source(...) | source(...) |
555562
| main.rs:79:10:79:10 | k | main.rs:76:13:76:21 | source(...) | main.rs:79:10:79:10 | k | $@ | main.rs:76:13:76:21 | source(...) | source(...) |
563+
| main.rs:83:10:83:10 | l | main.rs:81:17:81:25 | source(...) | main.rs:83:10:83:10 | l | $@ | main.rs:81:17:81:25 | source(...) | source(...) |
556564
| main.rs:116:10:116:11 | * ... | main.rs:115:22:115:30 | source(...) | main.rs:116:10:116:11 | * ... | $@ | main.rs:115:22:115:30 | source(...) | source(...) |
557565
| main.rs:124:10:124:12 | a.0 | main.rs:123:14:123:22 | source(...) | main.rs:124:10:124:12 | a.0 | $@ | main.rs:123:14:123:22 | source(...) | source(...) |
558566
| main.rs:132:10:132:11 | a1 | main.rs:129:17:129:26 | source(...) | main.rs:132:10:132:11 | a1 | $@ | main.rs:129:17:129:26 | source(...) | source(...) |

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ fn assignment() {
8080

8181
let mut l = source(8);
8282
l = l;
83-
sink(l); // $ MISSING: hasValueFlow=8
83+
sink(l); // $ hasValueFlow=8
8484
}
8585

8686
fn block_expression1() -> i64 {

0 commit comments

Comments
 (0)