Rust: Test spacing.

Author: geoffw0

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

@@ -1,20 +1,20 @@
-| unreachable.rs:12:3:12:17 | ExprStmt | This code is never reached. |
-| unreachable.rs:20:3:20:17 | ExprStmt | This code is never reached. |
-| 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:60:2:60:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:106:16:106:23 | ExprStmt | This code is never reached. |
-| unreachable.rs:114:15:114:22 | ExprStmt | This code is never reached. |
-| unreachable.rs:130:2:130:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:140:2:140:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:147:3:147:17 | ExprStmt | This code is never reached. |
-| unreachable.rs:156:4:156:18 | ExprStmt | This code is never reached. |
-| unreachable.rs:162:3:162:17 | ExprStmt | This code is never reached. |
-| unreachable.rs:168:4:168:18 | ExprStmt | This code is never reached. |
-| unreachable.rs:176:4:176:18 | ExprStmt | This code is never reached. |
-| unreachable.rs:179:2:179:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:193:3:193:17 | ExprStmt | This code is never reached. |
-| unreachable.rs:196:2:196:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:201:3:201:17 | ExprStmt | This code is never reached. |
-| unreachable.rs:216:2:216:16 | ExprStmt | This code is never reached. |
-| unreachable.rs:225:2:225:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:13:3:13:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:21:3:21:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:33:3:33:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:40:3:40:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:61:2:61:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:107:16:107:23 | ExprStmt | This code is never reached. |
+| unreachable.rs:115:15:115:22 | ExprStmt | This code is never reached. |
+| unreachable.rs:131:2:131:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:141:2:141:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:148:3:148:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:157:4:157:18 | ExprStmt | This code is never reached. |
+| unreachable.rs:163:3:163:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:169:4:169:18 | ExprStmt | This code is never reached. |
+| unreachable.rs:177:4:177:18 | ExprStmt | This code is never reached. |
+| unreachable.rs:180:2:180:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:203:3:203:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:206:2:206:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:218:3:218:17 | ExprStmt | This code is never reached. |
+| unreachable.rs:233:2:233:16 | ExprStmt | This code is never reached. |
+| unreachable.rs:242:2:242:16 | ExprStmt | This code is never reached. |

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

@@ -1,6 +1,7 @@
 
 //fn cond() -> bool;
 //fn get_a_number() -> i32;
+//fn maybe_get_a_number() -> Option<i32>;
 
 // --- unreachable code --
 
@@ -186,19 +187,35 @@ fn unreachable_paren() {
 }
 
 fn unreachable_let_1() {
-	if let a = get_a_number() {
+
+
+
+
+
+
+
+
+
+	if let a = get_a_number() { // (always succeeds)
 		do_something();
 		return;
 	} else {
-		do_something(); // SPURIOUS: unreachable code
+		do_something(); // BAD: unreachable code
 	}
 
-	do_something(); // SPURIOUS: unreachable code
+	do_something(); // BAD: unreachable code
 }
 
 fn unreachable_let_2() {
-	let a = get_a_number() else {
-		do_something(); // SPURIOUS: unreachable code
+
+
+
+
+
+
+
+	let a = maybe_get_a_number() else { // (always succeeds)
+		do_something(); // BAD: unreachable code
 		return;
 	};