hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 21:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: A couple of interesting cases with short-circuiting.

Browse Source
This commit is contained in:
Geoffrey White
2024-10-08 11:27:09 +01:00
parent 7c6239b077
commit f084bb7bcf
2 changed files with 27 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
rust/ql/test/query-tests/unusedentities/UnreachableCode.expected
View File

@@ -2,15 +2,15 @@
| unreachable.rs:32:3:32:17 | ExprStmt | This code is never reached. |
| unreachable.rs:39:3:39:17 | ExprStmt | This code is never reached. |
| unreachable.rs:48:2:48:16 | ExprStmt | This code is never reached. |
| unreachable.rs:89:3:91:3 | MatchArm | This code is never reached. |
| unreachable.rs:92:3:94:3 | MatchArm | This code is never reached. |
| unreachable.rs:96:2:96:16 | ExprStmt | This code is never reached. |
| unreachable.rs:99:3:101:3 | MatchArm | This code is never reached. |
| unreachable.rs:102:3:104:3 | MatchArm | This code is never reached. |
| unreachable.rs:106:2:106:16 | ExprStmt | This code is never reached. |
| unreachable.rs:113:3:113:17 | ExprStmt | This code is never reached. |
| unreachable.rs:118:4:118:18 | ExprStmt | This code is never reached. |
| unreachable.rs:122:4:122:18 | ExprStmt | This code is never reached. |
| unreachable.rs:126:4:126:18 | ExprStmt | This code is never reached. |
| unreachable.rs:105:3:107:3 | MatchArm | This code is never reached. |
| unreachable.rs:108:3:110:3 | MatchArm | This code is never reached. |
| unreachable.rs:112:2:112:16 | ExprStmt | This code is never reached. |
| unreachable.rs:115:3:117:3 | MatchArm | This code is never reached. |
| unreachable.rs:118:3:120:3 | MatchArm | This code is never reached. |
| unreachable.rs:122:2:122:16 | ExprStmt | This code is never reached. |
| unreachable.rs:129:3:129:17 | ExprStmt | This code is never reached. |
| unreachable.rs:134:4:134:18 | ExprStmt | This code is never reached. |
| unreachable.rs:137:2:137:16 | ExprStmt | This code is never reached. |
| unreachable.rs:138:4:138:18 | ExprStmt | This code is never reached. |
| unreachable.rs:142:4:142:18 | ExprStmt | This code is never reached. |
| unreachable.rs:150:4:150:18 | ExprStmt | This code is never reached. |
| unreachable.rs:153:2:153:16 | ExprStmt | This code is never reached. |

16
rust/ql/test/query-tests/unusedentities/unreachable.rs
View File

@@ -82,6 +82,22 @@ fn unreachable_panic() {
_ = maybe.unwrap(); // (always panics)
do_something(); // BAD: unreachable code [NOT DETECTED]
}
if cond() {
do_something();
_ = false && panic!(); // does not panic due to short-circuiting
do_something();
_ = false || panic!();
do_something(); // BAD: unreachable code [NOT DETECTED]
}
if cond() {
do_something();
_ = true || panic!(); // does not panic due to short-circuiting
do_something();
_ = true && panic!();
do_something(); // BAD: unreachable code [NOT DETECTED]
}
}
fn unreachable_match() {