Skip to content

Commit 65006d8

Browse files
committed
Rust: Accept changes to expected files
1 parent cf19586 commit 65006d8

File tree

2 files changed

+7
-3
lines changed

2 files changed

+7
-3
lines changed

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

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
models
22
| 1 | Summary: <& as core::ops::deref::Deref>::deref; Argument[self].Reference; ReturnValue; value |
3-
| 2 | Summary: futures_executor::local_pool::block_on; Argument[0]; ReturnValue; value |
3+
| 2 | Summary: <_ as core::ops::arith::Mul>::mul; Argument[self]; ReturnValue; taint |
4+
| 3 | Summary: futures_executor::local_pool::block_on; Argument[0]; ReturnValue; value |
45
edges
56
| main.rs:12:28:14:1 | { ... } | main.rs:17:13:17:23 | get_data(...) | provenance | |
67
| main.rs:13:5:13:13 | source(...) | main.rs:12:28:14:1 | { ... } | provenance | |
@@ -192,10 +193,11 @@ edges
192193
| main.rs:326:17:326:25 | source(...) | main.rs:326:13:326:13 | c | provenance | |
193194
| main.rs:334:9:334:9 | a | main.rs:335:10:335:10 | a | provenance | |
194195
| main.rs:334:13:334:55 | ...::block_on(...) | main.rs:334:9:334:9 | a | provenance | |
195-
| main.rs:334:41:334:54 | async_source(...) | main.rs:334:13:334:55 | ...::block_on(...) | provenance | MaD:2 |
196+
| main.rs:334:41:334:54 | async_source(...) | main.rs:334:13:334:55 | ...::block_on(...) | provenance | MaD:3 |
196197
| main.rs:346:44:348:9 | { ... } | main.rs:383:18:383:38 | t.get_double_number() | provenance | |
197198
| main.rs:346:44:348:9 | { ... } | main.rs:387:18:387:50 | ...::get_double_number(...) | provenance | |
198-
| main.rs:347:13:347:29 | self.get_number() | main.rs:346:44:348:9 | { ... } | provenance | |
199+
| main.rs:347:13:347:29 | self.get_number() | main.rs:347:13:347:33 | ... * ... | provenance | MaD:2 |
200+
| main.rs:347:13:347:33 | ... * ... | main.rs:346:44:348:9 | { ... } | provenance | |
199201
| main.rs:350:33:352:9 | { ... } | main.rs:391:18:391:37 | ...::get_default(...) | provenance | |
200202
| main.rs:351:13:351:21 | source(...) | main.rs:350:33:352:9 | { ... } | provenance | |
201203
| main.rs:358:37:360:9 | { ... } | main.rs:347:13:347:29 | self.get_number() | provenance | |
@@ -426,6 +428,7 @@ nodes
426428
| main.rs:335:10:335:10 | a | semmle.label | a |
427429
| main.rs:346:44:348:9 | { ... } | semmle.label | { ... } |
428430
| main.rs:347:13:347:29 | self.get_number() | semmle.label | self.get_number() |
431+
| main.rs:347:13:347:33 | ... * ... | semmle.label | ... * ... |
429432
| main.rs:350:33:352:9 | { ... } | semmle.label | { ... } |
430433
| main.rs:351:13:351:21 | source(...) | semmle.label | source(...) |
431434
| main.rs:358:37:360:9 | { ... } | semmle.label | { ... } |

rust/ql/test/library-tests/dataflow/global/viableCallable.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,6 +108,7 @@
108108
| main.rs:337:33:337:61 | test_async_await_async_part(...) | main.rs:321:1:331:1 | fn test_async_await_async_part |
109109
| main.rs:347:13:347:29 | self.get_number() | main.rs:358:9:360:9 | fn get_number |
110110
| main.rs:347:13:347:29 | self.get_number() | main.rs:366:9:368:9 | fn get_number |
111+
| main.rs:347:13:347:33 | ... * ... | {EXTERNAL LOCATION} | fn mul |
111112
| main.rs:351:13:351:21 | source(...) | main.rs:1:1:3:1 | fn source |
112113
| main.rs:359:13:359:21 | source(...) | main.rs:1:1:3:1 | fn source |
113114
| main.rs:371:13:371:22 | source(...) | main.rs:1:1:3:1 | fn source |

0 commit comments

Comments
 (0)