Skip to content

Commit e05b126

Browse files
committed
Rust: Add CFG tests for async/await and const
1 parent 39b2d2c commit e05b126

File tree

3 files changed

+263
-90
lines changed

3 files changed

+263
-90
lines changed

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

Lines changed: 19 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -45,8 +45,9 @@ uniqueEnclosingCallable
4545
| test.rs:324:29:324:42 | Param | Node should have one enclosing callable but has 0. |
4646
| test.rs:335:28:335:35 | Param | Node should have one enclosing callable but has 0. |
4747
| test.rs:342:29:342:40 | Param | Node should have one enclosing callable but has 0. |
48-
| test.rs:401:15:401:25 | Param | Node should have one enclosing callable but has 0. |
49-
| test.rs:408:16:408:19 | Param | Node should have one enclosing callable but has 0. |
48+
| test.rs:390:22:390:27 | Param | Node should have one enclosing callable but has 0. |
49+
| test.rs:452:15:452:25 | Param | Node should have one enclosing callable but has 0. |
50+
| test.rs:459:16:459:19 | Param | Node should have one enclosing callable but has 0. |
5051
uniqueCallEnclosingCallable
5152
| test.rs:6:9:6:44 | CallExpr | Call should have one enclosing callable but has 0. |
5253
| test.rs:7:9:7:27 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -57,9 +58,19 @@ uniqueCallEnclosingCallable
5758
| test.rs:275:21:275:31 | CallExpr | Call should have one enclosing callable but has 0. |
5859
| test.rs:276:22:276:31 | CallExpr | Call should have one enclosing callable but has 0. |
5960
| test.rs:292:34:292:40 | CallExpr | Call should have one enclosing callable but has 0. |
60-
| test.rs:376:9:376:18 | CallExpr | Call should have one enclosing callable but has 0. |
61-
| test.rs:377:12:377:30 | CallExpr | Call should have one enclosing callable but has 0. |
62-
| test.rs:380:9:380:23 | CallExpr | Call should have one enclosing callable but has 0. |
63-
| test.rs:381:12:381:30 | CallExpr | Call should have one enclosing callable but has 0. |
64-
| test.rs:384:9:384:23 | CallExpr | Call should have one enclosing callable but has 0. |
65-
| test.rs:404:5:404:18 | CallExpr | Call should have one enclosing callable but has 0. |
61+
| test.rs:369:18:369:32 | CallExpr | Call should have one enclosing callable but has 0. |
62+
| test.rs:374:22:374:40 | CallExpr | Call should have one enclosing callable but has 0. |
63+
| test.rs:377:22:377:35 | CallExpr | Call should have one enclosing callable but has 0. |
64+
| test.rs:380:9:380:19 | CallExpr | Call should have one enclosing callable but has 0. |
65+
| test.rs:394:30:394:39 | CallExpr | Call should have one enclosing callable but has 0. |
66+
| test.rs:400:13:400:49 | CallExpr | Call should have one enclosing callable but has 0. |
67+
| test.rs:400:13:400:49 | CallExpr | Call should have one enclosing callable but has 0. |
68+
| test.rs:400:21:400:44 | CallExpr | Call should have one enclosing callable but has 0. |
69+
| test.rs:411:17:411:24 | CallExpr | Call should have one enclosing callable but has 0. |
70+
| test.rs:411:17:411:24 | CallExpr | Call should have one enclosing callable but has 0. |
71+
| test.rs:427:9:427:18 | CallExpr | Call should have one enclosing callable but has 0. |
72+
| test.rs:428:12:428:30 | CallExpr | Call should have one enclosing callable but has 0. |
73+
| test.rs:431:9:431:23 | CallExpr | Call should have one enclosing callable but has 0. |
74+
| test.rs:432:12:432:30 | CallExpr | Call should have one enclosing callable but has 0. |
75+
| test.rs:435:9:435:23 | CallExpr | Call should have one enclosing callable but has 0. |
76+
| test.rs:455:5:455:18 | CallExpr | Call should have one enclosing callable but has 0. |

0 commit comments

Comments
 (0)