Skip to content

Commit 74a6d98

Browse files
paldepindpaldepind
committed
Rust: Add SSA test for async blocks
1 parent 8e6844e commit 74a6d98

File tree

5 files changed

+520
-462
lines changed

5 files changed

+520
-462
lines changed

‎rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 53 additions & 51 deletions
Original file line numberDiff line numberDiff line change
@@ -92,54 +92,56 @@ uniqueCallEnclosingCallable
9292
| variables.rs:424:5:424:16 | CallExpr | Call should have one enclosing callable but has 0. |
9393
| variables.rs:431:5:431:14 | CallExpr | Call should have one enclosing callable but has 0. |
9494
| variables.rs:432:5:432:16 | CallExpr | Call should have one enclosing callable but has 0. |
95-
| variables.rs:437:5:437:16 | CallExpr | Call should have one enclosing callable but has 0. |
96-
| variables.rs:438:5:438:20 | CallExpr | Call should have one enclosing callable but has 0. |
97-
| variables.rs:441:9:441:20 | CallExpr | Call should have one enclosing callable but has 0. |
98-
| variables.rs:442:9:442:24 | CallExpr | Call should have one enclosing callable but has 0. |
99-
| variables.rs:445:9:445:20 | CallExpr | Call should have one enclosing callable but has 0. |
100-
| variables.rs:446:9:446:24 | CallExpr | Call should have one enclosing callable but has 0. |
101-
| variables.rs:448:5:448:16 | CallExpr | Call should have one enclosing callable but has 0. |
102-
| variables.rs:454:9:454:20 | CallExpr | Call should have one enclosing callable but has 0. |
103-
| variables.rs:456:9:456:20 | CallExpr | Call should have one enclosing callable but has 0. |
104-
| variables.rs:460:9:460:20 | CallExpr | Call should have one enclosing callable but has 0. |
105-
| variables.rs:462:9:462:20 | CallExpr | Call should have one enclosing callable but has 0. |
106-
| variables.rs:479:5:479:25 | CallExpr | Call should have one enclosing callable but has 0. |
107-
| variables.rs:481:5:481:25 | CallExpr | Call should have one enclosing callable but has 0. |
108-
| variables.rs:483:5:483:25 | CallExpr | Call should have one enclosing callable but has 0. |
109-
| variables.rs:488:5:488:21 | CallExpr | Call should have one enclosing callable but has 0. |
110-
| variables.rs:489:5:489:16 | CallExpr | Call should have one enclosing callable but has 0. |
111-
| variables.rs:492:5:492:21 | CallExpr | Call should have one enclosing callable but has 0. |
112-
| variables.rs:509:3:509:18 | CallExpr | Call should have one enclosing callable but has 0. |
113-
| variables.rs:513:5:513:24 | CallExpr | Call should have one enclosing callable but has 0. |
114-
| variables.rs:514:5:514:22 | CallExpr | Call should have one enclosing callable but has 0. |
115-
| variables.rs:515:5:515:39 | CallExpr | Call should have one enclosing callable but has 0. |
116-
| variables.rs:516:5:516:22 | CallExpr | Call should have one enclosing callable but has 0. |
117-
| variables.rs:517:5:517:22 | CallExpr | Call should have one enclosing callable but has 0. |
118-
| variables.rs:518:5:518:18 | CallExpr | Call should have one enclosing callable but has 0. |
119-
| variables.rs:519:5:519:18 | CallExpr | Call should have one enclosing callable but has 0. |
120-
| variables.rs:520:5:520:18 | CallExpr | Call should have one enclosing callable but has 0. |
121-
| variables.rs:521:5:521:18 | CallExpr | Call should have one enclosing callable but has 0. |
122-
| variables.rs:522:5:522:20 | CallExpr | Call should have one enclosing callable but has 0. |
123-
| variables.rs:523:5:523:20 | CallExpr | Call should have one enclosing callable but has 0. |
124-
| variables.rs:524:5:524:20 | CallExpr | Call should have one enclosing callable but has 0. |
125-
| variables.rs:525:5:525:20 | CallExpr | Call should have one enclosing callable but has 0. |
126-
| variables.rs:526:5:526:20 | CallExpr | Call should have one enclosing callable but has 0. |
127-
| variables.rs:527:5:527:20 | CallExpr | Call should have one enclosing callable but has 0. |
128-
| variables.rs:528:5:528:20 | CallExpr | Call should have one enclosing callable but has 0. |
129-
| variables.rs:529:5:529:20 | CallExpr | Call should have one enclosing callable but has 0. |
130-
| variables.rs:530:5:530:20 | CallExpr | Call should have one enclosing callable but has 0. |
131-
| variables.rs:531:5:531:35 | CallExpr | Call should have one enclosing callable but has 0. |
132-
| variables.rs:532:5:532:36 | CallExpr | Call should have one enclosing callable but has 0. |
133-
| variables.rs:532:20:532:35 | CallExpr | Call should have one enclosing callable but has 0. |
134-
| variables.rs:533:5:533:25 | CallExpr | Call should have one enclosing callable but has 0. |
135-
| variables.rs:534:5:534:22 | CallExpr | Call should have one enclosing callable but has 0. |
136-
| variables.rs:535:5:535:18 | CallExpr | Call should have one enclosing callable but has 0. |
137-
| variables.rs:536:5:536:16 | CallExpr | Call should have one enclosing callable but has 0. |
138-
| variables.rs:537:5:537:12 | CallExpr | Call should have one enclosing callable but has 0. |
139-
| variables.rs:538:5:538:16 | CallExpr | Call should have one enclosing callable but has 0. |
140-
| variables.rs:539:5:539:11 | CallExpr | Call should have one enclosing callable but has 0. |
141-
| variables.rs:540:5:540:17 | CallExpr | Call should have one enclosing callable but has 0. |
142-
| variables.rs:541:5:541:19 | CallExpr | Call should have one enclosing callable but has 0. |
143-
| variables.rs:542:5:542:13 | CallExpr | Call should have one enclosing callable but has 0. |
144-
| variables.rs:543:5:543:13 | CallExpr | Call should have one enclosing callable but has 0. |
145-
| variables.rs:544:5:544:29 | CallExpr | Call should have one enclosing callable but has 0. |
95+
| variables.rs:442:5:442:16 | CallExpr | Call should have one enclosing callable but has 0. |
96+
| variables.rs:447:5:447:16 | CallExpr | Call should have one enclosing callable but has 0. |
97+
| variables.rs:448:5:448:20 | CallExpr | Call should have one enclosing callable but has 0. |
98+
| variables.rs:451:9:451:20 | CallExpr | Call should have one enclosing callable but has 0. |
99+
| variables.rs:452:9:452:24 | CallExpr | Call should have one enclosing callable but has 0. |
100+
| variables.rs:455:9:455:20 | CallExpr | Call should have one enclosing callable but has 0. |
101+
| variables.rs:456:9:456:24 | CallExpr | Call should have one enclosing callable but has 0. |
102+
| variables.rs:458:5:458:16 | CallExpr | Call should have one enclosing callable but has 0. |
103+
| variables.rs:464:9:464:20 | CallExpr | Call should have one enclosing callable but has 0. |
104+
| variables.rs:466:9:466:20 | CallExpr | Call should have one enclosing callable but has 0. |
105+
| variables.rs:470:9:470:20 | CallExpr | Call should have one enclosing callable but has 0. |
106+
| variables.rs:472:9:472:20 | CallExpr | Call should have one enclosing callable but has 0. |
107+
| variables.rs:489:5:489:25 | CallExpr | Call should have one enclosing callable but has 0. |
108+
| variables.rs:491:5:491:25 | CallExpr | Call should have one enclosing callable but has 0. |
109+
| variables.rs:493:5:493:25 | CallExpr | Call should have one enclosing callable but has 0. |
110+
| variables.rs:498:5:498:21 | CallExpr | Call should have one enclosing callable but has 0. |
111+
| variables.rs:499:5:499:16 | CallExpr | Call should have one enclosing callable but has 0. |
112+
| variables.rs:502:5:502:21 | CallExpr | Call should have one enclosing callable but has 0. |
113+
| variables.rs:519:3:519:18 | CallExpr | Call should have one enclosing callable but has 0. |
114+
| variables.rs:523:5:523:24 | CallExpr | Call should have one enclosing callable but has 0. |
115+
| variables.rs:524:5:524:22 | CallExpr | Call should have one enclosing callable but has 0. |
116+
| variables.rs:525:5:525:39 | CallExpr | Call should have one enclosing callable but has 0. |
117+
| variables.rs:526:5:526:22 | CallExpr | Call should have one enclosing callable but has 0. |
118+
| variables.rs:527:5:527:22 | CallExpr | Call should have one enclosing callable but has 0. |
119+
| variables.rs:528:5:528:18 | CallExpr | Call should have one enclosing callable but has 0. |
120+
| variables.rs:529:5:529:18 | CallExpr | Call should have one enclosing callable but has 0. |
121+
| variables.rs:530:5:530:18 | CallExpr | Call should have one enclosing callable but has 0. |
122+
| variables.rs:531:5:531:18 | CallExpr | Call should have one enclosing callable but has 0. |
123+
| variables.rs:532:5:532:20 | CallExpr | Call should have one enclosing callable but has 0. |
124+
| variables.rs:533:5:533:20 | CallExpr | Call should have one enclosing callable but has 0. |
125+
| variables.rs:534:5:534:20 | CallExpr | Call should have one enclosing callable but has 0. |
126+
| variables.rs:535:5:535:20 | CallExpr | Call should have one enclosing callable but has 0. |
127+
| variables.rs:536:5:536:20 | CallExpr | Call should have one enclosing callable but has 0. |
128+
| variables.rs:537:5:537:20 | CallExpr | Call should have one enclosing callable but has 0. |
129+
| variables.rs:538:5:538:20 | CallExpr | Call should have one enclosing callable but has 0. |
130+
| variables.rs:539:5:539:20 | CallExpr | Call should have one enclosing callable but has 0. |
131+
| variables.rs:540:5:540:20 | CallExpr | Call should have one enclosing callable but has 0. |
132+
| variables.rs:541:5:541:35 | CallExpr | Call should have one enclosing callable but has 0. |
133+
| variables.rs:542:5:542:36 | CallExpr | Call should have one enclosing callable but has 0. |
134+
| variables.rs:542:20:542:35 | CallExpr | Call should have one enclosing callable but has 0. |
135+
| variables.rs:543:5:543:25 | CallExpr | Call should have one enclosing callable but has 0. |
136+
| variables.rs:544:5:544:22 | CallExpr | Call should have one enclosing callable but has 0. |
137+
| variables.rs:545:5:545:18 | CallExpr | Call should have one enclosing callable but has 0. |
138+
| variables.rs:546:5:546:16 | CallExpr | Call should have one enclosing callable but has 0. |
139+
| variables.rs:547:5:547:12 | CallExpr | Call should have one enclosing callable but has 0. |
140+
| variables.rs:548:5:548:16 | CallExpr | Call should have one enclosing callable but has 0. |
141+
| variables.rs:549:5:549:11 | CallExpr | Call should have one enclosing callable but has 0. |
142+
| variables.rs:550:5:550:17 | CallExpr | Call should have one enclosing callable but has 0. |
143+
| variables.rs:551:5:551:19 | CallExpr | Call should have one enclosing callable but has 0. |
144+
| variables.rs:552:5:552:25 | CallExpr | Call should have one enclosing callable but has 0. |
145+
| variables.rs:553:5:553:13 | CallExpr | Call should have one enclosing callable but has 0. |
146+
| variables.rs:554:5:554:13 | CallExpr | Call should have one enclosing callable but has 0. |
147+
| variables.rs:555:5:555:29 | CallExpr | Call should have one enclosing callable but has 0. |

0 commit comments

Comments
 (0)