Skip to content

Commit 3e0d30f

Browse files
committed
Rust: Merge of unusedvar and unreachable work.
1 parent 58b9355 commit 3e0d30f

File tree

2 files changed

+8
-1
lines changed

2 files changed

+8
-1
lines changed

rust/ql/test/query-tests/unusedentities/UnreachableCode.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
| main.rs:114:3:114:29 | ExprStmt | This code is never reached. |
12
| unreachable.rs:32:3:32:17 | ExprStmt | This code is never reached. |
23
| unreachable.rs:39:3:39:17 | ExprStmt | This code is never reached. |
34
| unreachable.rs:48:2:48:16 | ExprStmt | This code is never reached. |

rust/ql/test/query-tests/unusedentities/main.rs

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -111,7 +111,7 @@ fn arrays() {
111111
println!("lets use {:?}", js);
112112

113113
for k in ks {
114-
println!("lets use {}", k);
114+
println!("lets use {}", k); // [unreachable FALSE POSITIVE]
115115
}
116116
}
117117

@@ -142,11 +142,17 @@ fn parameters(
142142
return x;
143143
}
144144

145+
// --- main ---
146+
145147
fn main() {
146148
locals_1();
147149
locals_2();
148150
structs();
149151
arrays();
150152
statics();
151153
println!("lets use result {}", parameters(1, 2, 3));
154+
unreachable_if();
155+
unreachable_panic();
156+
unreachable_match();
157+
unreachable_loop();
152158
}

0 commit comments

Comments
 (0)