We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3b1d917 commit 7235ba8Copy full SHA for 7235ba8
1 file changed
rust/ql/test/query-tests/unusedentities/unreachable.rs
@@ -41,7 +41,7 @@ fn unreachable_if() {
41
do_something();
42
43
if cond() {
44
- bool x = cond();
+ let x = cond();
45
46
if (x) { // SPURIOUS: unreachable
47
@@ -143,7 +143,7 @@ fn unreachable_loop() {
143
144
145
while cond() {
146
- do_something();{
+ do_something();
147
}
148
149
while false {
0 commit comments