Rust: Fix bug in BooleanCompletion.isValidForSpecific0

Author: hvitved

rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll

@@ -86,7 +86,7 @@ class BooleanCompletion extends ConditionalCompletion, TBooleanCompletion {
     or
     e = any(WhileExpr c).getCondition()
     or
-    any(MatchArm arm).getGuard() = e
+    any(MatchGuard guard).getCondition() = e
     or
     exists(BinaryExpr expr |
       expr.getOperatorName() = ["&&", "||"] and

rust/ql/test/library-tests/controlflow/CONSISTENCY/CfgConsistency.expected

@@ -1,3 +1,2 @@
 deadEnd
-| test.rs:230:28:230:33 | ... < ... |
 | test.rs:245:30:245:48 | BlockExpr |

rust/ql/test/library-tests/controlflow/Cfg.expected

@@ -428,7 +428,12 @@
 | test.rs:230:9:230:23 | TupleStructPat | test.rs:230:28:230:28 | x | match |
 | test.rs:230:9:230:23 | TupleStructPat | test.rs:231:9:231:23 | TupleStructPat | no-match |
 | test.rs:230:28:230:28 | x | test.rs:230:32:230:33 | 10 |  |
+| test.rs:230:28:230:33 | ... < ... | test.rs:230:38:230:38 | x | true |
+| test.rs:230:28:230:33 | ... < ... | test.rs:231:9:231:23 | TupleStructPat | false |
 | test.rs:230:32:230:33 | 10 | test.rs:230:28:230:33 | ... < ... |  |
+| test.rs:230:38:230:38 | x | test.rs:230:42:230:42 | 5 |  |
+| test.rs:230:38:230:42 | ... + ... | test.rs:229:5:233:5 | MatchExpr |  |
+| test.rs:230:42:230:42 | 5 | test.rs:230:38:230:42 | ... + ... |  |
 | test.rs:231:9:231:23 | TupleStructPat | test.rs:231:28:231:28 | x | match |
 | test.rs:231:9:231:23 | TupleStructPat | test.rs:232:9:232:20 | PathPat | no-match |
 | test.rs:231:28:231:28 | x | test.rs:229:5:233:5 | MatchExpr |  |

rust/ql/test/library-tests/variables/CONSISTENCY/CfgConsistency.expected

@@ -1,5 +1,4 @@
 deadEnd
 | variables.rs:2:5:2:22 | ExprStmt |
 | variables.rs:6:5:6:22 | ExprStmt |
-| variables.rs:200:16:200:21 | ... > ... |
 | variables.rs:310:5:310:42 | LetStmt |