hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 06:24:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Don't use macro in test and add documentation string

Browse Source
This commit is contained in:
Simon Friis Vindum
2024-09-18 10:10:27 +02:00
parent c18c35d737
commit dd25b3ecbe
3 changed files with 225 additions and 271 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/rust/controlflow/internal/Scope.qll
View File

@@ -4,8 +4,10 @@ private import ControlFlowGraphImpl
private import codeql.rust.internal.generated.ParentChild
abstract class CfgScope extends AstNode {
/** Holds if `first` is executed first when entering scope. */
abstract predicate scopeFirst(AstNode first);
/** Holds if scope is exited when `last` finishes with completion `c`. */
abstract predicate scopeLast(AstNode last, Completion c);
}

492
rust/ql/test/library-tests/controlflow/Cfg.expected
View File

@@ -1,273 +1,223 @@
nodes
| file://:0:0:0:0 | BlockExpr | semmle.order | 1 |
| file://:0:0:0:0 | CallExpr | semmle.order | 2 |
| file://:0:0:0:0 | CallExpr | semmle.order | 2 |
| file://:0:0:0:0 | CallExpr | semmle.order | 2 |
| file://:0:0:0:0 | ElementListExpr | semmle.order | 5 |
| file://:0:0:0:0 | ElementListExpr | semmle.order | 5 |
| file://:0:0:0:0 | ElementListExpr | semmle.order | 5 |
| file://:0:0:0:0 | ExprStmt | semmle.order | 8 |
| file://:0:0:0:0 | ExprStmt | semmle.order | 8 |
| file://:0:0:0:0 | LiteralExpr | semmle.order | 10 |
| file://:0:0:0:0 | PathExpr | semmle.order | 11 |
| file://:0:0:0:0 | PathExpr | semmle.order | 11 |
| file://:0:0:0:0 | PathExpr | semmle.order | 11 |
| file://:0:0:0:0 | RefExpr | semmle.order | 14 |
| file://:0:0:0:0 | RefExpr | semmle.order | 14 |
| file://:0:0:0:0 | RefExpr | semmle.order | 14 |
| file://:0:0:0:0 | UnsafeBlockExpr | semmle.order | 17 |
| test.rs:1:1:4:1 | enter test_call | semmle.order | 18 |
| test.rs:1:1:4:1 | exit test_call | semmle.order | 19 |
| test.rs:1:1:4:1 | exit test_call (normal) | semmle.order | 20 |
| test.rs:1:24:4:1 | BlockExpr | semmle.order | 21 |
| test.rs:2:5:2:21 | PathExpr | semmle.order | 22 |
| test.rs:2:5:2:40 | CallExpr | semmle.order | 23 |
| test.rs:2:5:2:40 | ExprStmt | semmle.order | 24 |
| test.rs:2:23:2:26 | LiteralExpr | semmle.order | 25 |
| test.rs:2:29:2:33 | LiteralExpr | semmle.order | 26 |
| test.rs:2:36:2:39 | LiteralExpr | semmle.order | 27 |
| test.rs:3:5:3:19 | PathExpr | semmle.order | 28 |
| test.rs:3:5:3:23 | CallExpr | semmle.order | 29 |
| test.rs:3:5:3:23 | ExprStmt | semmle.order | 30 |
| test.rs:3:21:3:22 | LiteralExpr | semmle.order | 31 |
| test.rs:8:5:24:5 | enter test_break_and_continue | semmle.order | 32 |
| test.rs:8:5:24:5 | exit test_break_and_continue | semmle.order | 33 |
| test.rs:8:5:24:5 | exit test_break_and_continue (normal) | semmle.order | 34 |
| test.rs:9:13:9:17 | IdentPat | semmle.order | 35 |
| test.rs:9:13:9:17 | LetStmt | semmle.order | 36 |
| test.rs:9:21:9:21 | PathExpr | semmle.order | 37 |
| test.rs:10:9:22:9 | ExprStmt | semmle.order | 38 |
| test.rs:10:9:22:9 | LoopExpr | semmle.order | 39 |
| test.rs:10:14:22:9 | BlockExpr | semmle.order | 40 |
| test.rs:11:13:11:13 | PathExpr | semmle.order | 41 |
| test.rs:11:13:11:23 | BinaryExpr | semmle.order | 42 |
| test.rs:11:13:11:23 | ExprStmt | semmle.order | 43 |
| test.rs:11:17:11:20 | PathExpr | semmle.order | 44 |
| test.rs:11:17:11:23 | CallExpr | semmle.order | 45 |
| test.rs:11:22:11:22 | PathExpr | semmle.order | 46 |
| test.rs:12:13:14:13 | ExprStmt | semmle.order | 47 |
| test.rs:12:13:14:13 | IfExpr | semmle.order | 48 |
| test.rs:12:16:12:16 | PathExpr | semmle.order | 49 |
| test.rs:12:16:12:24 | BinaryExpr | semmle.order | 50 |
| test.rs:12:20:12:24 | LiteralExpr | semmle.order | 51 |
| test.rs:13:17:13:28 | ExprStmt | semmle.order | 52 |
| test.rs:13:17:13:28 | ReturnExpr | semmle.order | 53 |
| test.rs:13:24:13:28 | LiteralExpr | semmle.order | 54 |
| test.rs:15:13:17:13 | ExprStmt | semmle.order | 55 |
| test.rs:15:13:17:13 | IfExpr | semmle.order | 56 |
| test.rs:15:16:15:16 | PathExpr | semmle.order | 57 |
| test.rs:15:16:15:21 | BinaryExpr | semmle.order | 58 |
| test.rs:15:21:15:21 | LiteralExpr | semmle.order | 59 |
| test.rs:16:17:16:21 | BreakExpr | semmle.order | 60 |
| test.rs:16:17:16:21 | ExprStmt | semmle.order | 61 |
| test.rs:18:13:20:13 | ExprStmt | semmle.order | 62 |
| test.rs:18:13:20:13 | IfExpr | semmle.order | 63 |
| test.rs:18:16:18:16 | PathExpr | semmle.order | 64 |
| test.rs:18:16:18:20 | BinaryExpr | semmle.order | 65 |
| test.rs:18:16:18:25 | BinaryExpr | semmle.order | 66 |
| test.rs:18:20:18:20 | LiteralExpr | semmle.order | 67 |
| test.rs:18:25:18:25 | LiteralExpr | semmle.order | 68 |
| test.rs:19:17:19:24 | ContinueExpr | semmle.order | 69 |
| test.rs:19:17:19:24 | ExprStmt | semmle.order | 70 |
| test.rs:21:13:21:13 | PathExpr | semmle.order | 71 |
| test.rs:21:13:21:21 | BinaryExpr | semmle.order | 72 |
| test.rs:21:17:21:17 | PathExpr | semmle.order | 73 |
| test.rs:21:17:21:21 | BinaryExpr | semmle.order | 74 |
| test.rs:21:21:21:21 | LiteralExpr | semmle.order | 75 |
| test.rs:23:9:23:19 | ExprStmt | semmle.order | 76 |
| test.rs:23:9:23:19 | ReturnExpr | semmle.order | 77 |
| test.rs:23:16:23:19 | LiteralExpr | semmle.order | 78 |
| test.rs:26:5:38:5 | enter test_break_with_labels | semmle.order | 79 |
| test.rs:26:5:38:5 | exit test_break_with_labels | semmle.order | 80 |
| test.rs:26:5:38:5 | exit test_break_with_labels (normal) | semmle.order | 81 |
| test.rs:26:41:38:5 | BlockExpr | semmle.order | 82 |
| test.rs:27:9:36:9 | ExprStmt | semmle.order | 83 |
| test.rs:27:9:36:9 | LoopExpr | semmle.order | 84 |
| test.rs:27:22:36:9 | BlockExpr | semmle.order | 85 |
| test.rs:28:13:35:13 | LoopExpr | semmle.order | 86 |
| test.rs:29:17:33:17 | ExprStmt | semmle.order | 87 |
| test.rs:29:17:33:17 | IfExpr | semmle.order | 88 |
| test.rs:29:20:29:24 | LiteralExpr | semmle.order | 89 |
| test.rs:30:21:30:25 | BreakExpr | semmle.order | 90 |
| test.rs:30:21:30:25 | ExprStmt | semmle.order | 91 |
| test.rs:31:24:33:17 | IfExpr | semmle.order | 92 |
| test.rs:31:27:31:30 | LiteralExpr | semmle.order | 93 |
| test.rs:32:21:32:32 | BreakExpr | semmle.order | 94 |
| test.rs:32:21:32:32 | ExprStmt | semmle.order | 95 |
| test.rs:34:17:34:28 | BreakExpr | semmle.order | 96 |
| test.rs:34:17:34:28 | ExprStmt | semmle.order | 97 |
| test.rs:37:9:37:12 | LiteralExpr | semmle.order | 98 |
| test.rs:40:5:52:5 | enter test_continue_with_labels | semmle.order | 99 |
| test.rs:42:13:42:13 | ExprStmt | semmle.order | 100 |
| test.rs:42:13:42:13 | LiteralExpr | semmle.order | 101 |
| test.rs:44:17:48:17 | ExprStmt | semmle.order | 102 |
| test.rs:44:17:48:17 | IfExpr | semmle.order | 103 |
| test.rs:44:20:44:24 | LiteralExpr | semmle.order | 104 |
| test.rs:45:21:45:28 | ContinueExpr | semmle.order | 105 |
| test.rs:45:21:45:28 | ExprStmt | semmle.order | 106 |
| test.rs:46:24:48:17 | IfExpr | semmle.order | 107 |
| test.rs:46:27:46:30 | LiteralExpr | semmle.order | 108 |
| test.rs:47:21:47:35 | ContinueExpr | semmle.order | 109 |
| test.rs:47:21:47:35 | ExprStmt | semmle.order | 110 |
| test.rs:49:17:49:31 | ContinueExpr | semmle.order | 111 |
| test.rs:49:17:49:31 | ExprStmt | semmle.order | 112 |
| test.rs:55:1:58:1 | enter test_nested_function | semmle.order | 113 |
| test.rs:55:1:58:1 | exit test_nested_function | semmle.order | 114 |
| test.rs:55:1:58:1 | exit test_nested_function (normal) | semmle.order | 115 |
| test.rs:55:40:58:1 | BlockExpr | semmle.order | 116 |
| test.rs:56:9:56:15 | IdentPat | semmle.order | 117 |
| test.rs:56:9:56:15 | LetStmt | semmle.order | 118 |
| test.rs:56:19:56:27 | ClosureExpr | semmle.order | 119 |
| test.rs:56:19:56:27 | enter ClosureExpr | semmle.order | 120 |
| test.rs:56:19:56:27 | exit ClosureExpr | semmle.order | 121 |
| test.rs:56:19:56:27 | exit ClosureExpr (normal) | semmle.order | 122 |
| test.rs:56:23:56:23 | PathExpr | semmle.order | 123 |
| test.rs:56:23:56:27 | BinaryExpr | semmle.order | 124 |
| test.rs:56:27:56:27 | LiteralExpr | semmle.order | 125 |
| test.rs:57:5:57:11 | PathExpr | semmle.order | 126 |
| test.rs:57:5:57:23 | CallExpr | semmle.order | 127 |
| test.rs:57:13:57:19 | PathExpr | semmle.order | 128 |
| test.rs:57:13:57:22 | CallExpr | semmle.order | 129 |
| test.rs:57:21:57:21 | PathExpr | semmle.order | 130 |
| test.rs:62:5:68:5 | enter test_if_else | semmle.order | 131 |
| test.rs:62:5:68:5 | exit test_if_else | semmle.order | 132 |
| test.rs:62:5:68:5 | exit test_if_else (normal) | semmle.order | 133 |
| test.rs:62:36:68:5 | BlockExpr | semmle.order | 134 |
| test.rs:63:9:67:9 | IfExpr | semmle.order | 135 |
| test.rs:63:12:63:12 | PathExpr | semmle.order | 136 |
| test.rs:63:12:63:17 | BinaryExpr | semmle.order | 137 |
| test.rs:63:17:63:17 | LiteralExpr | semmle.order | 138 |
| test.rs:63:19:65:9 | BlockExpr | semmle.order | 139 |
| test.rs:64:13:64:13 | LiteralExpr | semmle.order | 140 |
| test.rs:65:16:67:9 | BlockExpr | semmle.order | 141 |
| test.rs:66:13:66:13 | PathExpr | semmle.order | 142 |
| test.rs:66:13:66:17 | BinaryExpr | semmle.order | 143 |
| test.rs:66:17:66:17 | LiteralExpr | semmle.order | 144 |
| test.rs:70:5:76:5 | enter test_if_let_else | semmle.order | 145 |
| test.rs:70:5:76:5 | exit test_if_let_else | semmle.order | 146 |
| test.rs:70:5:76:5 | exit test_if_let_else (normal) | semmle.order | 147 |
| test.rs:70:48:76:5 | BlockExpr | semmle.order | 148 |
| test.rs:71:9:75:9 | IfExpr | semmle.order | 149 |
| test.rs:71:12:71:26 | LetExpr | semmle.order | 150 |
| test.rs:71:16:71:22 | TupleStructPat | semmle.order | 151 |
| test.rs:71:28:73:9 | BlockExpr | semmle.order | 152 |
| test.rs:72:13:72:13 | PathExpr | semmle.order | 153 |
| test.rs:73:16:75:9 | BlockExpr | semmle.order | 154 |
| test.rs:74:13:74:13 | LiteralExpr | semmle.order | 155 |
| test.rs:78:5:83:5 | enter test_if_let | semmle.order | 156 |
| test.rs:78:5:83:5 | exit test_if_let | semmle.order | 157 |
| test.rs:78:5:83:5 | exit test_if_let (normal) | semmle.order | 158 |
| test.rs:78:43:83:5 | BlockExpr | semmle.order | 159 |
| test.rs:79:9:81:9 | ExprStmt | semmle.order | 160 |
| test.rs:79:9:81:9 | IfExpr | semmle.order | 161 |
| test.rs:79:12:79:26 | LetExpr | semmle.order | 162 |
| test.rs:79:16:79:22 | TupleStructPat | semmle.order | 163 |
| test.rs:79:28:81:9 | BlockExpr | semmle.order | 164 |
| test.rs:80:13:80:13 | PathExpr | semmle.order | 165 |
| test.rs:82:9:82:9 | LiteralExpr | semmle.order | 166 |
| test.rs:89:5:92:5 | enter test_and_operator | semmle.order | 167 |
| test.rs:89:5:92:5 | exit test_and_operator | semmle.order | 168 |
| test.rs:89:5:92:5 | exit test_and_operator (normal) | semmle.order | 169 |
| test.rs:89:61:92:5 | BlockExpr | semmle.order | 170 |
| test.rs:90:13:90:13 | IdentPat | semmle.order | 171 |
| test.rs:90:13:90:13 | LetStmt | semmle.order | 172 |
| test.rs:90:17:90:17 | PathExpr | semmle.order | 173 |
| test.rs:90:17:90:22 | BinaryExpr | semmle.order | 174 |
| test.rs:90:17:90:27 | BinaryExpr | semmle.order | 175 |
| test.rs:90:22:90:22 | PathExpr | semmle.order | 176 |
| test.rs:90:27:90:27 | PathExpr | semmle.order | 177 |
| test.rs:91:9:91:9 | PathExpr | semmle.order | 178 |
| test.rs:94:5:97:5 | enter test_or_operator | semmle.order | 179 |
| test.rs:94:5:97:5 | exit test_or_operator | semmle.order | 180 |
| test.rs:94:5:97:5 | exit test_or_operator (normal) | semmle.order | 181 |
| test.rs:94:60:97:5 | BlockExpr | semmle.order | 182 |
| test.rs:95:13:95:13 | IdentPat | semmle.order | 183 |
| test.rs:95:13:95:13 | LetStmt | semmle.order | 184 |
| test.rs:95:17:95:17 | PathExpr | semmle.order | 185 |
| test.rs:95:17:95:22 | BinaryExpr | semmle.order | 186 |
| test.rs:95:17:95:27 | BinaryExpr | semmle.order | 187 |
| test.rs:95:22:95:22 | PathExpr | semmle.order | 188 |
| test.rs:95:27:95:27 | PathExpr | semmle.order | 189 |
| test.rs:96:9:96:9 | PathExpr | semmle.order | 190 |
| test.rs:99:5:102:5 | enter test_or_operator_2 | semmle.order | 191 |
| test.rs:99:5:102:5 | exit test_or_operator_2 | semmle.order | 192 |
| test.rs:99:5:102:5 | exit test_or_operator_2 (normal) | semmle.order | 193 |
| test.rs:99:61:102:5 | BlockExpr | semmle.order | 194 |
| test.rs:100:13:100:13 | IdentPat | semmle.order | 195 |
| test.rs:100:13:100:13 | LetStmt | semmle.order | 196 |
| test.rs:100:17:100:17 | PathExpr | semmle.order | 197 |
| test.rs:100:17:100:30 | BinaryExpr | semmle.order | 198 |
| test.rs:100:17:100:35 | BinaryExpr | semmle.order | 199 |
| test.rs:100:23:100:23 | PathExpr | semmle.order | 200 |
| test.rs:100:23:100:29 | BinaryExpr | semmle.order | 201 |
| test.rs:100:28:100:29 | LiteralExpr | semmle.order | 202 |
| test.rs:100:35:100:35 | PathExpr | semmle.order | 203 |
| test.rs:101:9:101:9 | PathExpr | semmle.order | 204 |
| test.rs:106:1:112:1 | enter test_match | semmle.order | 205 |
| test.rs:106:1:112:1 | exit test_match | semmle.order | 206 |
| test.rs:106:1:112:1 | exit test_match (normal) | semmle.order | 207 |
| test.rs:106:44:112:1 | BlockExpr | semmle.order | 208 |
| test.rs:107:5:111:5 | MatchExpr | semmle.order | 209 |
| test.rs:107:11:107:21 | PathExpr | semmle.order | 210 |
| test.rs:108:9:108:15 | TupleStructPat | semmle.order | 211 |
| test.rs:108:20:108:20 | PathExpr | semmle.order | 212 |
| test.rs:108:20:108:25 | BinaryExpr | semmle.order | 213 |
| test.rs:108:24:108:25 | LiteralExpr | semmle.order | 214 |
| test.rs:108:30:108:30 | PathExpr | semmle.order | 215 |
| test.rs:108:30:108:34 | BinaryExpr | semmle.order | 216 |
| test.rs:108:34:108:34 | LiteralExpr | semmle.order | 217 |
| test.rs:109:9:109:15 | TupleStructPat | semmle.order | 218 |
| test.rs:109:20:109:20 | PathExpr | semmle.order | 219 |
| test.rs:110:9:110:12 | PathPat | semmle.order | 220 |
| test.rs:110:17:110:17 | LiteralExpr | semmle.order | 221 |
| test.rs:115:5:120:5 | enter test_infinite_loop | semmle.order | 222 |
| test.rs:116:9:118:9 | ExprStmt | semmle.order | 223 |
| test.rs:116:14:118:9 | BlockExpr | semmle.order | 224 |
| test.rs:117:13:117:13 | LiteralExpr | semmle.order | 225 |
| test.rs:122:5:127:5 | enter test_let_match | semmle.order | 226 |
| test.rs:122:5:127:5 | exit test_let_match | semmle.order | 227 |
| test.rs:122:5:127:5 | exit test_let_match (normal) | semmle.order | 228 |
| test.rs:122:39:127:5 | BlockExpr | semmle.order | 229 |
| test.rs:123:13:123:19 | LetStmt | semmle.order | 230 |
| test.rs:123:13:123:19 | TupleStructPat | semmle.order | 231 |
| test.rs:123:23:123:23 | PathExpr | semmle.order | 232 |
| test.rs:123:30:125:9 | BlockExpr | semmle.order | 233 |
| test.rs:126:9:126:9 | PathExpr | semmle.order | 234 |
| test.rs:1:1:4:1 | enter test_call | semmle.order | 1 |
| test.rs:1:1:4:1 | exit test_call | semmle.order | 2 |
| test.rs:1:1:4:1 | exit test_call (normal) | semmle.order | 3 |
| test.rs:1:24:4:1 | BlockExpr | semmle.order | 4 |
| test.rs:2:5:2:21 | PathExpr | semmle.order | 5 |
| test.rs:2:5:2:40 | CallExpr | semmle.order | 6 |
| test.rs:2:5:2:40 | ExprStmt | semmle.order | 7 |
| test.rs:2:23:2:26 | LiteralExpr | semmle.order | 8 |
| test.rs:2:29:2:33 | LiteralExpr | semmle.order | 9 |
| test.rs:2:36:2:39 | LiteralExpr | semmle.order | 10 |
| test.rs:3:5:3:19 | PathExpr | semmle.order | 11 |
| test.rs:3:5:3:23 | CallExpr | semmle.order | 12 |
| test.rs:3:5:3:23 | ExprStmt | semmle.order | 13 |
| test.rs:3:21:3:22 | LiteralExpr | semmle.order | 14 |
| test.rs:8:5:24:5 | enter test_break_and_continue | semmle.order | 15 |
| test.rs:8:5:24:5 | exit test_break_and_continue | semmle.order | 16 |
| test.rs:8:5:24:5 | exit test_break_and_continue (normal) | semmle.order | 17 |
| test.rs:9:13:9:17 | IdentPat | semmle.order | 18 |
| test.rs:9:13:9:17 | LetStmt | semmle.order | 19 |
| test.rs:9:21:9:21 | PathExpr | semmle.order | 20 |
| test.rs:10:9:22:9 | ExprStmt | semmle.order | 21 |
| test.rs:10:9:22:9 | LoopExpr | semmle.order | 22 |
| test.rs:10:14:22:9 | BlockExpr | semmle.order | 23 |
| test.rs:11:13:11:13 | PathExpr | semmle.order | 24 |
| test.rs:11:13:11:23 | BinaryExpr | semmle.order | 25 |
| test.rs:11:13:11:23 | ExprStmt | semmle.order | 26 |
| test.rs:11:17:11:20 | PathExpr | semmle.order | 27 |
| test.rs:11:17:11:23 | CallExpr | semmle.order | 28 |
| test.rs:11:22:11:22 | PathExpr | semmle.order | 29 |
| test.rs:12:13:14:13 | ExprStmt | semmle.order | 30 |
| test.rs:12:13:14:13 | IfExpr | semmle.order | 31 |
| test.rs:12:16:12:16 | PathExpr | semmle.order | 32 |
| test.rs:12:16:12:24 | BinaryExpr | semmle.order | 33 |
| test.rs:12:20:12:24 | LiteralExpr | semmle.order | 34 |
| test.rs:13:17:13:28 | ExprStmt | semmle.order | 35 |
| test.rs:13:17:13:28 | ReturnExpr | semmle.order | 36 |
| test.rs:13:24:13:28 | LiteralExpr | semmle.order | 37 |
| test.rs:15:13:17:13 | ExprStmt | semmle.order | 38 |
| test.rs:15:13:17:13 | IfExpr | semmle.order | 39 |
| test.rs:15:16:15:16 | PathExpr | semmle.order | 40 |
| test.rs:15:16:15:21 | BinaryExpr | semmle.order | 41 |
| test.rs:15:21:15:21 | LiteralExpr | semmle.order | 42 |
| test.rs:16:17:16:21 | BreakExpr | semmle.order | 43 |
| test.rs:16:17:16:21 | ExprStmt | semmle.order | 44 |
| test.rs:18:13:20:13 | ExprStmt | semmle.order | 45 |
| test.rs:18:13:20:13 | IfExpr | semmle.order | 46 |
| test.rs:18:16:18:16 | PathExpr | semmle.order | 47 |
| test.rs:18:16:18:20 | BinaryExpr | semmle.order | 48 |
| test.rs:18:16:18:25 | BinaryExpr | semmle.order | 49 |
| test.rs:18:20:18:20 | LiteralExpr | semmle.order | 50 |
| test.rs:18:25:18:25 | LiteralExpr | semmle.order | 51 |
| test.rs:19:17:19:24 | ContinueExpr | semmle.order | 52 |
| test.rs:19:17:19:24 | ExprStmt | semmle.order | 53 |
| test.rs:21:13:21:13 | PathExpr | semmle.order | 54 |
| test.rs:21:13:21:21 | BinaryExpr | semmle.order | 55 |
| test.rs:21:17:21:17 | PathExpr | semmle.order | 56 |
| test.rs:21:17:21:21 | BinaryExpr | semmle.order | 57 |
| test.rs:21:21:21:21 | LiteralExpr | semmle.order | 58 |
| test.rs:23:9:23:19 | ExprStmt | semmle.order | 59 |
| test.rs:23:9:23:19 | ReturnExpr | semmle.order | 60 |
| test.rs:23:16:23:19 | LiteralExpr | semmle.order | 61 |
| test.rs:26:5:38:5 | enter test_break_with_labels | semmle.order | 62 |
| test.rs:26:5:38:5 | exit test_break_with_labels | semmle.order | 63 |
| test.rs:26:5:38:5 | exit test_break_with_labels (normal) | semmle.order | 64 |
| test.rs:26:41:38:5 | BlockExpr | semmle.order | 65 |
| test.rs:27:9:36:9 | ExprStmt | semmle.order | 66 |
| test.rs:27:9:36:9 | LoopExpr | semmle.order | 67 |
| test.rs:27:22:36:9 | BlockExpr | semmle.order | 68 |
| test.rs:28:13:35:13 | LoopExpr | semmle.order | 69 |
| test.rs:29:17:33:17 | ExprStmt | semmle.order | 70 |
| test.rs:29:17:33:17 | IfExpr | semmle.order | 71 |
| test.rs:29:20:29:24 | LiteralExpr | semmle.order | 72 |
| test.rs:30:21:30:25 | BreakExpr | semmle.order | 73 |
| test.rs:30:21:30:25 | ExprStmt | semmle.order | 74 |
| test.rs:31:24:33:17 | IfExpr | semmle.order | 75 |
| test.rs:31:27:31:30 | LiteralExpr | semmle.order | 76 |
| test.rs:32:21:32:32 | BreakExpr | semmle.order | 77 |
| test.rs:32:21:32:32 | ExprStmt | semmle.order | 78 |
| test.rs:34:17:34:28 | BreakExpr | semmle.order | 79 |
| test.rs:34:17:34:28 | ExprStmt | semmle.order | 80 |
| test.rs:37:9:37:12 | LiteralExpr | semmle.order | 81 |
| test.rs:40:5:52:5 | enter test_continue_with_labels | semmle.order | 82 |
| test.rs:42:13:42:13 | ExprStmt | semmle.order | 83 |
| test.rs:42:13:42:13 | LiteralExpr | semmle.order | 84 |
| test.rs:44:17:48:17 | ExprStmt | semmle.order | 85 |
| test.rs:44:17:48:17 | IfExpr | semmle.order | 86 |
| test.rs:44:20:44:24 | LiteralExpr | semmle.order | 87 |
| test.rs:45:21:45:28 | ContinueExpr | semmle.order | 88 |
| test.rs:45:21:45:28 | ExprStmt | semmle.order | 89 |
| test.rs:46:24:48:17 | IfExpr | semmle.order | 90 |
| test.rs:46:27:46:30 | LiteralExpr | semmle.order | 91 |
| test.rs:47:21:47:35 | ContinueExpr | semmle.order | 92 |
| test.rs:47:21:47:35 | ExprStmt | semmle.order | 93 |
| test.rs:49:17:49:31 | ContinueExpr | semmle.order | 94 |
| test.rs:49:17:49:31 | ExprStmt | semmle.order | 95 |
| test.rs:55:1:58:1 | enter test_nested_function | semmle.order | 96 |
| test.rs:55:1:58:1 | exit test_nested_function | semmle.order | 97 |
| test.rs:55:1:58:1 | exit test_nested_function (normal) | semmle.order | 98 |
| test.rs:55:40:58:1 | BlockExpr | semmle.order | 99 |
| test.rs:56:9:56:15 | IdentPat | semmle.order | 100 |
| test.rs:56:9:56:15 | LetStmt | semmle.order | 101 |
| test.rs:56:19:56:27 | ClosureExpr | semmle.order | 102 |
| test.rs:56:19:56:27 | enter ClosureExpr | semmle.order | 103 |
| test.rs:56:19:56:27 | exit ClosureExpr | semmle.order | 104 |
| test.rs:56:19:56:27 | exit ClosureExpr (normal) | semmle.order | 105 |
| test.rs:56:23:56:23 | PathExpr | semmle.order | 106 |
| test.rs:56:23:56:27 | BinaryExpr | semmle.order | 107 |
| test.rs:56:27:56:27 | LiteralExpr | semmle.order | 108 |
| test.rs:57:5:57:11 | PathExpr | semmle.order | 109 |
| test.rs:57:5:57:23 | CallExpr | semmle.order | 110 |
| test.rs:57:13:57:19 | PathExpr | semmle.order | 111 |
| test.rs:57:13:57:22 | CallExpr | semmle.order | 112 |
| test.rs:57:21:57:21 | PathExpr | semmle.order | 113 |
| test.rs:62:5:68:5 | enter test_if_else | semmle.order | 114 |
| test.rs:62:5:68:5 | exit test_if_else | semmle.order | 115 |
| test.rs:62:5:68:5 | exit test_if_else (normal) | semmle.order | 116 |
| test.rs:62:36:68:5 | BlockExpr | semmle.order | 117 |
| test.rs:63:9:67:9 | IfExpr | semmle.order | 118 |
| test.rs:63:12:63:12 | PathExpr | semmle.order | 119 |
| test.rs:63:12:63:17 | BinaryExpr | semmle.order | 120 |
| test.rs:63:17:63:17 | LiteralExpr | semmle.order | 121 |
| test.rs:63:19:65:9 | BlockExpr | semmle.order | 122 |
| test.rs:64:13:64:13 | LiteralExpr | semmle.order | 123 |
| test.rs:65:16:67:9 | BlockExpr | semmle.order | 124 |
| test.rs:66:13:66:13 | PathExpr | semmle.order | 125 |
| test.rs:66:13:66:17 | BinaryExpr | semmle.order | 126 |
| test.rs:66:17:66:17 | LiteralExpr | semmle.order | 127 |
| test.rs:70:5:76:5 | enter test_if_let_else | semmle.order | 128 |
| test.rs:70:5:76:5 | exit test_if_let_else | semmle.order | 129 |
| test.rs:70:5:76:5 | exit test_if_let_else (normal) | semmle.order | 130 |
| test.rs:70:48:76:5 | BlockExpr | semmle.order | 131 |
| test.rs:71:9:75:9 | IfExpr | semmle.order | 132 |
| test.rs:71:12:71:26 | LetExpr | semmle.order | 133 |
| test.rs:71:16:71:22 | TupleStructPat | semmle.order | 134 |
| test.rs:71:28:73:9 | BlockExpr | semmle.order | 135 |
| test.rs:72:13:72:13 | PathExpr | semmle.order | 136 |
| test.rs:73:16:75:9 | BlockExpr | semmle.order | 137 |
| test.rs:74:13:74:13 | LiteralExpr | semmle.order | 138 |
| test.rs:78:5:83:5 | enter test_if_let | semmle.order | 139 |
| test.rs:78:5:83:5 | exit test_if_let | semmle.order | 140 |
| test.rs:78:5:83:5 | exit test_if_let (normal) | semmle.order | 141 |
| test.rs:78:43:83:5 | BlockExpr | semmle.order | 142 |
| test.rs:79:9:81:9 | ExprStmt | semmle.order | 143 |
| test.rs:79:9:81:9 | IfExpr | semmle.order | 144 |
| test.rs:79:12:79:26 | LetExpr | semmle.order | 145 |
| test.rs:79:16:79:22 | TupleStructPat | semmle.order | 146 |
| test.rs:79:28:81:9 | BlockExpr | semmle.order | 147 |
| test.rs:80:13:80:13 | PathExpr | semmle.order | 148 |
| test.rs:82:9:82:9 | LiteralExpr | semmle.order | 149 |
| test.rs:89:5:92:5 | enter test_and_operator | semmle.order | 150 |
| test.rs:89:5:92:5 | exit test_and_operator | semmle.order | 151 |
| test.rs:89:5:92:5 | exit test_and_operator (normal) | semmle.order | 152 |
| test.rs:89:61:92:5 | BlockExpr | semmle.order | 153 |
| test.rs:90:13:90:13 | IdentPat | semmle.order | 154 |
| test.rs:90:13:90:13 | LetStmt | semmle.order | 155 |
| test.rs:90:17:90:17 | PathExpr | semmle.order | 156 |
| test.rs:90:17:90:22 | BinaryExpr | semmle.order | 157 |
| test.rs:90:17:90:27 | BinaryExpr | semmle.order | 158 |
| test.rs:90:22:90:22 | PathExpr | semmle.order | 159 |
| test.rs:90:27:90:27 | PathExpr | semmle.order | 160 |
| test.rs:91:9:91:9 | PathExpr | semmle.order | 161 |
| test.rs:94:5:97:5 | enter test_or_operator | semmle.order | 162 |
| test.rs:94:5:97:5 | exit test_or_operator | semmle.order | 163 |
| test.rs:94:5:97:5 | exit test_or_operator (normal) | semmle.order | 164 |
| test.rs:94:60:97:5 | BlockExpr | semmle.order | 165 |
| test.rs:95:13:95:13 | IdentPat | semmle.order | 166 |
| test.rs:95:13:95:13 | LetStmt | semmle.order | 167 |
| test.rs:95:17:95:17 | PathExpr | semmle.order | 168 |
| test.rs:95:17:95:22 | BinaryExpr | semmle.order | 169 |
| test.rs:95:17:95:27 | BinaryExpr | semmle.order | 170 |
| test.rs:95:22:95:22 | PathExpr | semmle.order | 171 |
| test.rs:95:27:95:27 | PathExpr | semmle.order | 172 |
| test.rs:96:9:96:9 | PathExpr | semmle.order | 173 |
| test.rs:99:5:102:5 | enter test_or_operator_2 | semmle.order | 174 |
| test.rs:99:5:102:5 | exit test_or_operator_2 | semmle.order | 175 |
| test.rs:99:5:102:5 | exit test_or_operator_2 (normal) | semmle.order | 176 |
| test.rs:99:61:102:5 | BlockExpr | semmle.order | 177 |
| test.rs:100:13:100:13 | IdentPat | semmle.order | 178 |
| test.rs:100:13:100:13 | LetStmt | semmle.order | 179 |
| test.rs:100:17:100:17 | PathExpr | semmle.order | 180 |
| test.rs:100:17:100:30 | BinaryExpr | semmle.order | 181 |
| test.rs:100:17:100:35 | BinaryExpr | semmle.order | 182 |
| test.rs:100:23:100:23 | PathExpr | semmle.order | 183 |
| test.rs:100:23:100:29 | BinaryExpr | semmle.order | 184 |
| test.rs:100:28:100:29 | LiteralExpr | semmle.order | 185 |
| test.rs:100:35:100:35 | PathExpr | semmle.order | 186 |
| test.rs:101:9:101:9 | PathExpr | semmle.order | 187 |
| test.rs:106:1:112:1 | enter test_match | semmle.order | 188 |
| test.rs:106:1:112:1 | exit test_match | semmle.order | 189 |
| test.rs:106:1:112:1 | exit test_match (normal) | semmle.order | 190 |
| test.rs:106:44:112:1 | BlockExpr | semmle.order | 191 |
| test.rs:107:5:111:5 | MatchExpr | semmle.order | 192 |
| test.rs:107:11:107:21 | PathExpr | semmle.order | 193 |
| test.rs:108:9:108:15 | TupleStructPat | semmle.order | 194 |
| test.rs:108:20:108:20 | PathExpr | semmle.order | 195 |
| test.rs:108:20:108:25 | BinaryExpr | semmle.order | 196 |
| test.rs:108:24:108:25 | LiteralExpr | semmle.order | 197 |
| test.rs:108:30:108:30 | PathExpr | semmle.order | 198 |
| test.rs:108:30:108:34 | BinaryExpr | semmle.order | 199 |
| test.rs:108:34:108:34 | LiteralExpr | semmle.order | 200 |
| test.rs:109:9:109:15 | TupleStructPat | semmle.order | 201 |
| test.rs:109:20:109:20 | PathExpr | semmle.order | 202 |
| test.rs:110:9:110:12 | PathPat | semmle.order | 203 |
| test.rs:110:17:110:17 | LiteralExpr | semmle.order | 204 |
| test.rs:115:5:120:5 | enter test_infinite_loop | semmle.order | 205 |
| test.rs:116:9:118:9 | ExprStmt | semmle.order | 206 |
| test.rs:116:14:118:9 | BlockExpr | semmle.order | 207 |
| test.rs:117:13:117:13 | LiteralExpr | semmle.order | 208 |
| test.rs:122:5:127:5 | enter test_let_match | semmle.order | 209 |
| test.rs:122:5:127:5 | exit test_let_match | semmle.order | 210 |
| test.rs:122:5:127:5 | exit test_let_match (normal) | semmle.order | 211 |
| test.rs:122:39:127:5 | BlockExpr | semmle.order | 212 |
| test.rs:123:13:123:19 | LetStmt | semmle.order | 213 |
| test.rs:123:13:123:19 | TupleStructPat | semmle.order | 214 |
| test.rs:123:23:123:23 | PathExpr | semmle.order | 215 |
| test.rs:123:30:125:9 | BlockExpr | semmle.order | 216 |
| test.rs:124:13:124:27 | LiteralExpr | semmle.order | 217 |
| test.rs:126:9:126:9 | PathExpr | semmle.order | 218 |
edges
| file://:0:0:0:0 | BlockExpr | test.rs:123:30:125:9 | BlockExpr | semmle.label | |
| file://:0:0:0:0 | BlockExpr | test.rs:123:30:125:9 | BlockExpr | semmle.order | 1 |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | BlockExpr | semmle.label | |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | BlockExpr | semmle.order | 1 |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | CallExpr | semmle.label | |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | CallExpr | semmle.order | 1 |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | UnsafeBlockExpr | semmle.label | |
| file://:0:0:0:0 | CallExpr | file://:0:0:0:0 | UnsafeBlockExpr | semmle.order | 1 |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.label | |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.label | |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.label | |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.order | 1 |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.order | 1 |
| file://:0:0:0:0 | ElementListExpr | file://:0:0:0:0 | RefExpr | semmle.order | 1 |
| file://:0:0:0:0 | ExprStmt | file://:0:0:0:0 | ExprStmt | semmle.label | |
| file://:0:0:0:0 | ExprStmt | file://:0:0:0:0 | ExprStmt | semmle.order | 1 |
| file://:0:0:0:0 | ExprStmt | file://:0:0:0:0 | PathExpr | semmle.label | |
| file://:0:0:0:0 | ExprStmt | file://:0:0:0:0 | PathExpr | semmle.order | 1 |
| file://:0:0:0:0 | LiteralExpr | file://:0:0:0:0 | ElementListExpr | semmle.label | |
| file://:0:0:0:0 | LiteralExpr | file://:0:0:0:0 | ElementListExpr | semmle.order | 1 |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | CallExpr | semmle.label | |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | CallExpr | semmle.order | 1 |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | LiteralExpr | semmle.label | |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | LiteralExpr | semmle.order | 1 |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | PathExpr | semmle.label | |
| file://:0:0:0:0 | PathExpr | file://:0:0:0:0 | PathExpr | semmle.order | 1 |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | ElementListExpr | semmle.label | |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | ElementListExpr | semmle.label | |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | ElementListExpr | semmle.order | 1 |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | ElementListExpr | semmle.order | 1 |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | PathExpr | semmle.label | |
| file://:0:0:0:0 | RefExpr | file://:0:0:0:0 | PathExpr | semmle.order | 1 |
| file://:0:0:0:0 | UnsafeBlockExpr | file://:0:0:0:0 | CallExpr | semmle.label | |
| file://:0:0:0:0 | UnsafeBlockExpr | file://:0:0:0:0 | CallExpr | semmle.order | 1 |
| test.rs:1:1:4:1 | enter test_call | test.rs:2:5:2:40 | ExprStmt | semmle.label | |
| test.rs:1:1:4:1 | enter test_call | test.rs:2:5:2:40 | ExprStmt | semmle.order | 1 |
| test.rs:1:1:4:1 | exit test_call (normal) | test.rs:1:1:4:1 | exit test_call | semmle.label | |
@@ -714,11 +664,13 @@ edges
| test.rs:122:39:127:5 | BlockExpr | test.rs:122:5:127:5 | exit test_let_match (normal) | semmle.order | 1 |
| test.rs:123:13:123:19 | LetStmt | test.rs:123:23:123:23 | PathExpr | semmle.label | |
| test.rs:123:13:123:19 | LetStmt | test.rs:123:23:123:23 | PathExpr | semmle.order | 1 |
| test.rs:123:13:123:19 | TupleStructPat | file://:0:0:0:0 | ExprStmt | semmle.label | no-match |
| test.rs:123:13:123:19 | TupleStructPat | file://:0:0:0:0 | ExprStmt | semmle.order | 1 |
| test.rs:123:13:123:19 | TupleStructPat | test.rs:124:13:124:27 | LiteralExpr | semmle.label | no-match |
| test.rs:123:13:123:19 | TupleStructPat | test.rs:124:13:124:27 | LiteralExpr | semmle.order | 1 |
| test.rs:123:13:123:19 | TupleStructPat | test.rs:126:9:126:9 | PathExpr | semmle.label | match |
| test.rs:123:13:123:19 | TupleStructPat | test.rs:126:9:126:9 | PathExpr | semmle.order | 2 |
| test.rs:123:23:123:23 | PathExpr | test.rs:123:13:123:19 | TupleStructPat | semmle.label | |
| test.rs:123:23:123:23 | PathExpr | test.rs:123:13:123:19 | TupleStructPat | semmle.order | 1 |
| test.rs:124:13:124:27 | LiteralExpr | test.rs:123:30:125:9 | BlockExpr | semmle.label | |
| test.rs:124:13:124:27 | LiteralExpr | test.rs:123:30:125:9 | BlockExpr | semmle.order | 1 |
| test.rs:126:9:126:9 | PathExpr | test.rs:122:39:127:5 | BlockExpr | semmle.label | |
| test.rs:126:9:126:9 | PathExpr | test.rs:122:39:127:5 | BlockExpr | semmle.order | 1 |

2
rust/ql/test/library-tests/controlflow/test.rs
View File

@@ -121,7 +121,7 @@ mod divergence {
fn test_let_match(a: Option<i64>) {
let Some(n) = a else {
panic!("Expected some");
"Expected some"
};
n
}