Skip to content

Commit c36b107

Browse files
paldepindpaldepind
committed
Rust: Update test expectations
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 9aa1104f-468b-4aa4-b605-e46c22c1e398
1 parent 36fc3b7 commit c36b107

6 files changed

Lines changed: 385 additions & 981 deletions

File tree

‎rust/ql/test/extractor-tests/crate_graph/crates.expected‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@
6262
#-----| core -> Crate(core@0.0.0)
6363
#-----| foldhash -> Crate(foldhash@0.2.0)
6464

65-
#-----| Crate(libc@0.2.185)
65+
#-----| Crate(libc@0.2.189)
6666
#-----| rustc_std_workspace_core -> Crate(core@0.0.0)
6767

6868
main.rs:
@@ -98,23 +98,23 @@ main.rs:
9898
#-----| Crate(panic_unwind@0.0.0)
9999
#-----| alloc -> Crate(alloc@0.0.0)
100100
#-----| core -> Crate(core@0.0.0)
101-
#-----| libc -> Crate(libc@0.2.185)
101+
#-----| libc -> Crate(libc@0.2.189)
102102
#-----| unwind -> Crate(unwind@0.0.0)
103103

104104
#-----| Crate(proc_macro@0.0.0)
105105
#-----| core -> Crate(core@0.0.0)
106106
#-----| std -> Crate(std@0.0.0)
107107
#-----| rustc_literal_escaper -> Crate(rustc_literal_escaper@0.0.8)
108108

109-
#-----| Crate(rand@0.9.2)
110-
#-----| rand_core -> Crate(rand_core@0.9.3)
109+
#-----| Crate(rand@0.9.5)
110+
#-----| rand_core -> Crate(rand_core@0.9.5)
111111

112-
#-----| Crate(rand_core@0.9.3)
112+
#-----| Crate(rand_core@0.9.5)
113113

114114
#-----| Crate(rand_xorshift@0.4.0)
115-
#-----| rand_core -> Crate(rand_core@0.9.3)
115+
#-----| rand_core -> Crate(rand_core@0.9.5)
116116

117-
#-----| Crate(rustc_demangle@0.1.27)
117+
#-----| Crate(rustc_demangle@0.1.28)
118118
#-----| core -> Crate(core@0.0.0)
119119

120120
#-----| Crate(rustc_literal_escaper@0.0.8)
@@ -124,25 +124,25 @@ main.rs:
124124
#-----| alloc -> Crate(alloc@0.0.0)
125125
#-----| core -> Crate(core@0.0.0)
126126
#-----| panic_abort -> Crate(panic_abort@0.0.0)
127-
#-----| libc -> Crate(libc@0.2.185)
127+
#-----| libc -> Crate(libc@0.2.189)
128128
#-----| unwind -> Crate(unwind@0.0.0)
129129
#-----| panic_unwind -> Crate(panic_unwind@0.0.0)
130130
#-----| std_detect -> Crate(std_detect@0.1.5)
131131
#-----| cfg_if -> Crate(cfg_if@1.0.4)
132132
#-----| hashbrown -> Crate(hashbrown@0.17.1)
133-
#-----| rand -> Crate(rand@0.9.2)
133+
#-----| rand -> Crate(rand@0.9.5)
134134
#-----| rand_xorshift -> Crate(rand_xorshift@0.4.0)
135-
#-----| rustc_demangle -> Crate(rustc_demangle@0.1.27)
135+
#-----| rustc_demangle -> Crate(rustc_demangle@0.1.28)
136136

137137
#-----| Crate(std_detect@0.1.5)
138138
#-----| alloc -> Crate(alloc@0.0.0)
139139
#-----| core -> Crate(core@0.0.0)
140-
#-----| libc -> Crate(libc@0.2.185)
140+
#-----| libc -> Crate(libc@0.2.189)
141141

142142
#-----| Crate(test@0.0.0)
143143
#-----| core -> Crate(core@0.0.0)
144144
#-----| std -> Crate(std@0.0.0)
145-
#-----| libc -> Crate(libc@0.2.185)
145+
#-----| libc -> Crate(libc@0.2.189)
146146
#-----| getopts -> Crate(getopts@0.2.24)
147147

148148
lib.rs:
@@ -164,7 +164,7 @@ lib.rs:
164164

165165
#-----| Crate(unwind@0.0.0)
166166
#-----| core -> Crate(core@0.0.0)
167-
#-----| libc -> Crate(libc@0.2.185)
167+
#-----| libc -> Crate(libc@0.2.189)
168168

169169
#-----| Crate(version_check@0.9.5)
170170
#-----| proc_macro -> Crate(proc_macro@0.0.0)

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

Lines changed: 1 addition & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,6 @@ edges
8888
| main.rs:108:13:108:17 | mut i | main.rs:109:34:109:34 | i | provenance | |
8989
| main.rs:108:13:108:17 | mut i | main.rs:110:33:110:33 | i | provenance | |
9090
| main.rs:108:13:108:17 | mut i | main.rs:111:47:111:47 | i | provenance | |
91-
| main.rs:108:13:108:17 | mut i | main.rs:112:24:112:27 | mut pinned | provenance | |
9291
| main.rs:108:13:108:17 | mut i | main.rs:113:14:113:14 | i | provenance | |
9392
| main.rs:108:21:108:30 | source(...) | main.rs:108:13:108:17 | mut i | provenance | |
9493
| main.rs:109:13:109:20 | mut pin1 | main.rs:114:15:114:18 | pin1 | provenance | |
@@ -107,11 +106,6 @@ edges
107106
| main.rs:111:24:111:49 | ...::into_pin(...) [Pin, Box(0)] | main.rs:111:13:111:20 | mut pin3 [Pin, Box(0)] | provenance | |
108107
| main.rs:111:38:111:48 | ...::new(...) [Box(0)] | main.rs:111:24:111:49 | ...::into_pin(...) [Pin, Box(0)] | provenance | MaD:2 |
109108
| main.rs:111:47:111:47 | i | main.rs:111:38:111:48 | ...::new(...) [Box(0)] | provenance | MaD:3 |
110-
| main.rs:112:13:112:20 | mut pin4 [Pin, &ref] | main.rs:118:15:118:18 | pin4 [Pin, &ref] | provenance | |
111-
| main.rs:112:24:112:27 | &mut pinned [&ref] | main.rs:112:24:112:27 | ...::new_unchecked(...) [Pin, &ref] | provenance | MaD:21 |
112-
| main.rs:112:24:112:27 | ...::new_unchecked(...) [Pin, &ref] | main.rs:112:13:112:20 | mut pin4 [Pin, &ref] | provenance | |
113-
| main.rs:112:24:112:27 | mut pinned | main.rs:112:24:112:27 | pinned | provenance | |
114-
| main.rs:112:24:112:27 | pinned | main.rs:112:24:112:27 | &mut pinned [&ref] | provenance | |
115109
| main.rs:114:15:114:18 | pin1 | main.rs:114:14:114:18 | * ... | provenance | MaD:15 |
116110
| main.rs:114:15:114:18 | pin1 | main.rs:114:14:114:18 | * ... | provenance | MaD:16 |
117111
| main.rs:114:15:114:18 | pin1 [Pin, &ref] | main.rs:114:14:114:18 | * ... | provenance | MaD:16 |
@@ -121,7 +115,6 @@ edges
121115
| main.rs:115:31:115:34 | pin1 [Pin, &ref] | main.rs:115:15:115:35 | ...::into_inner(...) [&ref] | provenance | MaD:17 |
122116
| main.rs:116:15:116:18 | pin2 [Pin, Box(0)] | main.rs:116:14:116:18 | * ... | provenance | MaD:15 |
123117
| main.rs:117:15:117:18 | pin3 [Pin, Box(0)] | main.rs:117:14:117:18 | * ... | provenance | MaD:15 |
124-
| main.rs:118:15:118:18 | pin4 [Pin, &ref] | main.rs:118:14:118:18 | * ... | provenance | MaD:16 |
125118
| main.rs:122:13:122:18 | mut ms [MyStruct] | main.rs:123:34:123:35 | ms [MyStruct] | provenance | |
126119
| main.rs:122:13:122:18 | mut ms [MyStruct] | main.rs:127:14:127:15 | ms [MyStruct] | provenance | |
127120
| main.rs:122:22:122:49 | MyStruct {...} [MyStruct] | main.rs:122:13:122:18 | mut ms [MyStruct] | provenance | |
@@ -252,11 +245,6 @@ nodes
252245
| main.rs:111:24:111:49 | ...::into_pin(...) [Pin, Box(0)] | semmle.label | ...::into_pin(...) [Pin, Box(0)] |
253246
| main.rs:111:38:111:48 | ...::new(...) [Box(0)] | semmle.label | ...::new(...) [Box(0)] |
254247
| main.rs:111:47:111:47 | i | semmle.label | i |
255-
| main.rs:112:13:112:20 | mut pin4 [Pin, &ref] | semmle.label | mut pin4 [Pin, &ref] |
256-
| main.rs:112:24:112:27 | &mut pinned [&ref] | semmle.label | &mut pinned [&ref] |
257-
| main.rs:112:24:112:27 | ...::new_unchecked(...) [Pin, &ref] | semmle.label | ...::new_unchecked(...) [Pin, &ref] |
258-
| main.rs:112:24:112:27 | mut pinned | semmle.label | mut pinned |
259-
| main.rs:112:24:112:27 | pinned | semmle.label | pinned |
260248
| main.rs:113:14:113:14 | i | semmle.label | i |
261249
| main.rs:114:14:114:18 | * ... | semmle.label | * ... |
262250
| main.rs:114:15:114:18 | pin1 | semmle.label | pin1 |
@@ -270,8 +258,6 @@ nodes
270258
| main.rs:116:15:116:18 | pin2 [Pin, Box(0)] | semmle.label | pin2 [Pin, Box(0)] |
271259
| main.rs:117:14:117:18 | * ... | semmle.label | * ... |
272260
| main.rs:117:15:117:18 | pin3 [Pin, Box(0)] | semmle.label | pin3 [Pin, Box(0)] |
273-
| main.rs:118:14:118:18 | * ... | semmle.label | * ... |
274-
| main.rs:118:15:118:18 | pin4 [Pin, &ref] | semmle.label | pin4 [Pin, &ref] |
275261
| main.rs:122:13:122:18 | mut ms [MyStruct] | semmle.label | mut ms [MyStruct] |
276262
| main.rs:122:22:122:49 | MyStruct {...} [MyStruct] | semmle.label | MyStruct {...} [MyStruct] |
277263
| main.rs:122:38:122:47 | source(...) | semmle.label | source(...) |
@@ -327,6 +313,7 @@ nodes
327313
subpaths
328314
| main.rs:53:17:53:17 | w [Wrapper] | main.rs:43:18:43:22 | SelfParam [&ref, Wrapper] | main.rs:43:33:45:9 | { ... } [Wrapper] | main.rs:53:17:53:25 | w.clone() [Wrapper] |
329315
testFailures
316+
| main.rs:118:22:118:41 | //... | Missing result: hasValueFlow=40 |
330317
#select
331318
| main.rs:13:10:13:19 | a.unwrap() | main.rs:12:18:12:27 | source(...) | main.rs:13:10:13:19 | a.unwrap() | $@ | main.rs:12:18:12:27 | source(...) | source(...) |
332319
| main.rs:15:10:15:19 | b.unwrap() | main.rs:12:18:12:27 | source(...) | main.rs:15:10:15:19 | b.unwrap() | $@ | main.rs:12:18:12:27 | source(...) | source(...) |
@@ -344,7 +331,6 @@ testFailures
344331
| main.rs:115:14:115:35 | * ... | main.rs:108:21:108:30 | source(...) | main.rs:115:14:115:35 | * ... | $@ | main.rs:108:21:108:30 | source(...) | source(...) |
345332
| main.rs:116:14:116:18 | * ... | main.rs:108:21:108:30 | source(...) | main.rs:116:14:116:18 | * ... | $@ | main.rs:108:21:108:30 | source(...) | source(...) |
346333
| main.rs:117:14:117:18 | * ... | main.rs:108:21:108:30 | source(...) | main.rs:117:14:117:18 | * ... | $@ | main.rs:108:21:108:30 | source(...) | source(...) |
347-
| main.rs:118:14:118:18 | * ... | main.rs:108:21:108:30 | source(...) | main.rs:118:14:118:18 | * ... | $@ | main.rs:108:21:108:30 | source(...) | source(...) |
348334
| main.rs:127:14:127:19 | ms.val | main.rs:122:38:122:47 | source(...) | main.rs:127:14:127:19 | ms.val | $@ | main.rs:122:38:122:47 | source(...) | source(...) |
349335
| main.rs:129:14:129:38 | ... .val | main.rs:122:38:122:47 | source(...) | main.rs:129:14:129:38 | ... .val | $@ | main.rs:122:38:122:47 | source(...) | source(...) |
350336
| main.rs:139:14:139:48 | ... .val | main.rs:136:38:136:47 | source(...) | main.rs:139:14:139:48 | ... .val | $@ | main.rs:136:38:136:47 | source(...) | source(...) |

0 commit comments

Comments
 (0)