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

Rust: Add more CFG tests for patterns

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-02-19 14:55:39 +01:00
parent ae7e15d82f
commit 52515dda35
4 changed files with 1180 additions and 739 deletions
Download Patch File Download Diff File Expand all files Collapse all files

950
rust/ql/test/library-tests/controlflow/BasicBlocks.expected
View File

@@ -571,146 +571,244 @@ dominates
| test.rs:369:18:369:20 | ret | test.rs:369:18:369:20 | ret |
| test.rs:370:13:370:16 | None | test.rs:370:13:370:16 | None |
| test.rs:378:5:381:5 | enter fn empty_tuple_pattern | test.rs:378:5:381:5 | enter fn empty_tuple_pattern |
| test.rs:385:5:389:5 | enter fn empty_struct_pattern | test.rs:385:5:389:5 | enter fn empty_struct_pattern |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:392:9:397:9 | match 42 { ... } |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:393:15:393:15 | 0 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:393:20:393:20 | 1 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:394:13:394:13 | 1 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:394:13:394:16 | RangePat |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:394:16:394:16 | 2 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:394:21:394:21 | 2 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:395:13:395:13 | 5 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:395:13:395:15 | RangePat |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:395:20:395:20 | 3 |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:396:13:396:13 | _ |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:392:9:397:9 | match 42 { ... } |
| test.rs:393:15:393:15 | 0 | test.rs:393:15:393:15 | 0 |
| test.rs:393:15:393:15 | 0 | test.rs:393:20:393:20 | 1 |
| test.rs:393:20:393:20 | 1 | test.rs:393:20:393:20 | 1 |
| test.rs:394:13:394:13 | 1 | test.rs:394:13:394:13 | 1 |
| test.rs:394:13:394:13 | 1 | test.rs:394:16:394:16 | 2 |
| test.rs:394:13:394:13 | 1 | test.rs:394:21:394:21 | 2 |
| test.rs:394:13:394:16 | RangePat | test.rs:394:13:394:13 | 1 |
| test.rs:394:13:394:16 | RangePat | test.rs:394:13:394:16 | RangePat |
| test.rs:394:13:394:16 | RangePat | test.rs:394:16:394:16 | 2 |
| test.rs:394:13:394:16 | RangePat | test.rs:394:21:394:21 | 2 |
| test.rs:394:13:394:16 | RangePat | test.rs:395:13:395:13 | 5 |
| test.rs:394:13:394:16 | RangePat | test.rs:395:13:395:15 | RangePat |
| test.rs:394:13:394:16 | RangePat | test.rs:395:20:395:20 | 3 |
| test.rs:394:13:394:16 | RangePat | test.rs:396:13:396:13 | _ |
| test.rs:394:16:394:16 | 2 | test.rs:394:16:394:16 | 2 |
| test.rs:394:16:394:16 | 2 | test.rs:394:21:394:21 | 2 |
| test.rs:394:21:394:21 | 2 | test.rs:394:21:394:21 | 2 |
| test.rs:395:13:395:13 | 5 | test.rs:395:13:395:13 | 5 |
| test.rs:395:13:395:13 | 5 | test.rs:395:20:395:20 | 3 |
| test.rs:395:13:395:15 | RangePat | test.rs:395:13:395:13 | 5 |
| test.rs:395:13:395:15 | RangePat | test.rs:395:13:395:15 | RangePat |
| test.rs:395:13:395:15 | RangePat | test.rs:395:20:395:20 | 3 |
| test.rs:395:13:395:15 | RangePat | test.rs:396:13:396:13 | _ |
| test.rs:395:20:395:20 | 3 | test.rs:395:20:395:20 | 3 |
| test.rs:396:13:396:13 | _ | test.rs:396:13:396:13 | _ |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:401:9:404:9 | match 43 { ... } |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:402:13:402:13 | n |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:402:17:402:17 | 1 |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:402:20:402:21 | 10 |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:402:26:402:26 | 2 |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:403:13:403:13 | _ |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:401:9:404:9 | match 43 { ... } |
| test.rs:402:13:402:13 | n | test.rs:402:13:402:13 | n |
| test.rs:402:13:402:13 | n | test.rs:402:26:402:26 | 2 |
| test.rs:402:17:402:17 | 1 | test.rs:402:13:402:13 | n |
| test.rs:402:17:402:17 | 1 | test.rs:402:17:402:17 | 1 |
| test.rs:402:17:402:17 | 1 | test.rs:402:20:402:21 | 10 |
| test.rs:402:17:402:17 | 1 | test.rs:402:26:402:26 | 2 |
| test.rs:402:20:402:21 | 10 | test.rs:402:13:402:13 | n |
| test.rs:402:20:402:21 | 10 | test.rs:402:20:402:21 | 10 |
| test.rs:402:20:402:21 | 10 | test.rs:402:26:402:26 | 2 |
| test.rs:402:26:402:26 | 2 | test.rs:402:26:402:26 | 2 |
| test.rs:403:13:403:13 | _ | test.rs:403:13:403:13 | _ |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:409:9:412:9 | match a { ... } |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:410:21:410:21 | n |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:410:25:410:25 | 1 |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:410:28:410:29 | 10 |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:410:35:410:35 | n |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:411:21:411:21 | n |
| test.rs:409:9:412:9 | match a { ... } | test.rs:409:9:412:9 | match a { ... } |
| test.rs:410:21:410:21 | n | test.rs:410:21:410:21 | n |
| test.rs:410:21:410:21 | n | test.rs:410:35:410:35 | n |
| test.rs:410:25:410:25 | 1 | test.rs:410:21:410:21 | n |
| test.rs:410:25:410:25 | 1 | test.rs:410:25:410:25 | 1 |
| test.rs:410:25:410:25 | 1 | test.rs:410:28:410:29 | 10 |
| test.rs:410:25:410:25 | 1 | test.rs:410:35:410:35 | n |
| test.rs:410:28:410:29 | 10 | test.rs:410:21:410:21 | n |
| test.rs:410:28:410:29 | 10 | test.rs:410:28:410:29 | 10 |
| test.rs:410:28:410:29 | 10 | test.rs:410:35:410:35 | n |
| test.rs:410:35:410:35 | n | test.rs:410:35:410:35 | n |
| test.rs:411:21:411:21 | n | test.rs:411:21:411:21 | n |
| test.rs:418:5:423:5 | enter fn test_infinite_loop | test.rs:418:5:423:5 | enter fn test_infinite_loop |
| test.rs:418:5:423:5 | enter fn test_infinite_loop | test.rs:420:13:420:14 | TupleExpr |
| test.rs:420:13:420:14 | TupleExpr | test.rs:420:13:420:14 | TupleExpr |
| test.rs:427:5:429:5 | enter fn say_hello | test.rs:427:5:429:5 | enter fn say_hello |
| test.rs:431:5:450:5 | enter fn async_block | test.rs:431:5:450:5 | enter fn async_block |
| test.rs:432:26:434:9 | enter { ... } | test.rs:432:26:434:9 | enter { ... } |
| test.rs:435:31:437:9 | enter { ... } | test.rs:435:31:437:9 | enter { ... } |
| test.rs:444:22:449:9 | enter \|...\| ... | test.rs:444:22:449:9 | enter \|...\| ... |
| test.rs:444:28:449:9 | enter { ... } | test.rs:444:28:449:9 | enter { ... } |
| test.rs:444:28:449:9 | enter { ... } | test.rs:444:28:449:9 | exit { ... } (normal) |
| test.rs:444:28:449:9 | enter { ... } | test.rs:445:13:447:13 | if b {...} |
| test.rs:444:28:449:9 | enter { ... } | test.rs:446:17:446:41 | ExprStmt |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:444:28:449:9 | exit { ... } (normal) |
| test.rs:445:13:447:13 | if b {...} | test.rs:445:13:447:13 | if b {...} |
| test.rs:446:17:446:41 | ExprStmt | test.rs:446:17:446:41 | ExprStmt |
| test.rs:456:5:458:5 | enter fn add_two | test.rs:456:5:458:5 | enter fn add_two |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:13:466:49 | ExprStmt |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(false)] ! ... |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | if ... {...} |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:13:466:49 | ExprStmt |
| test.rs:466:13:466:49 | enter fn panic_cold_explicit | test.rs:466:13:466:49 | enter fn panic_cold_explicit |
| test.rs:466:21:466:48 | [boolean(false)] ! ... | test.rs:466:21:466:48 | [boolean(false)] ! ... |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:13:466:49 | ExprStmt |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | if ... {...} |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:472:5:481:5 | enter fn const_block_panic |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:474:9:479:9 | if false {...} |
| test.rs:474:9:479:9 | if false {...} | test.rs:474:9:479:9 | if false {...} |
| test.rs:477:17:477:24 | enter fn panic_cold_explicit | test.rs:477:17:477:24 | enter fn panic_cold_explicit |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:484:1:489:1 | enter fn dead_code |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:486:9:486:17 | ExprStmt |
| test.rs:486:9:486:17 | ExprStmt | test.rs:486:9:486:17 | ExprStmt |
| test.rs:491:1:491:16 | enter fn do_thing | test.rs:491:1:491:16 | enter fn do_thing |
| test.rs:493:1:495:1 | enter fn condition_not_met | test.rs:493:1:495:1 | enter fn condition_not_met |
| test.rs:497:1:497:21 | enter fn do_next_thing | test.rs:497:1:497:21 | enter fn do_next_thing |
| test.rs:499:1:499:21 | enter fn do_last_thing | test.rs:499:1:499:21 | enter fn do_last_thing |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:502:18:513:5 | 'block: { ... } |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:504:9:506:9 | if ... {...} |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:505:13:505:27 | ExprStmt |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:508:9:510:9 | if ... {...} |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:509:13:509:27 | ExprStmt |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:502:18:513:5 | 'block: { ... } |
| test.rs:504:9:506:9 | if ... {...} | test.rs:504:9:506:9 | if ... {...} |
| test.rs:504:9:506:9 | if ... {...} | test.rs:508:9:510:9 | if ... {...} |
| test.rs:504:9:506:9 | if ... {...} | test.rs:509:13:509:27 | ExprStmt |
| test.rs:505:13:505:27 | ExprStmt | test.rs:505:13:505:27 | ExprStmt |
| test.rs:508:9:510:9 | if ... {...} | test.rs:508:9:510:9 | if ... {...} |
| test.rs:509:13:509:27 | ExprStmt | test.rs:509:13:509:27 | ExprStmt |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:518:18:524:5 | 'block: { ... } |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:520:18:520:18 | y |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:521:13:521:27 | ExprStmt |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:518:18:524:5 | 'block: { ... } |
| test.rs:520:18:520:18 | y | test.rs:520:18:520:18 | y |
| test.rs:521:13:521:27 | ExprStmt | test.rs:521:13:521:27 | ExprStmt |
| test.rs:527:1:533:1 | enter fn test_nested_function2 | test.rs:527:1:533:1 | enter fn test_nested_function2 |
| test.rs:529:5:531:5 | enter fn nested | test.rs:529:5:531:5 | enter fn nested |
| test.rs:544:5:546:5 | enter fn new | test.rs:544:5:546:5 | enter fn new |
| test.rs:548:5:550:5 | enter fn negated | test.rs:548:5:550:5 | enter fn negated |
| test.rs:552:5:554:5 | enter fn multifly_add | test.rs:552:5:554:5 | enter fn multifly_add |
| test.rs:387:5:391:5 | enter fn empty_struct_pattern | test.rs:387:5:391:5 | enter fn empty_struct_pattern |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:394:9:397:9 | match st { ... } |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:395:27:395:27 | 1 |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:395:34:395:34 | 0 |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:396:13:396:26 | MyStruct {...} |
| test.rs:394:9:397:9 | match st { ... } | test.rs:394:9:397:9 | match st { ... } |
| test.rs:395:27:395:27 | 1 | test.rs:395:27:395:27 | 1 |
| test.rs:395:27:395:27 | 1 | test.rs:395:34:395:34 | 0 |
| test.rs:395:34:395:34 | 0 | test.rs:395:34:395:34 | 0 |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:396:13:396:26 | MyStruct {...} |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:401:9:406:9 | match 42 { ... } |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:402:15:402:15 | 0 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:402:20:402:20 | 1 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:403:13:403:13 | 1 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:403:13:403:16 | RangePat |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:403:16:403:16 | 2 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:403:21:403:21 | 2 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:404:13:404:13 | 5 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:404:13:404:15 | RangePat |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:404:20:404:20 | 3 |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:405:13:405:13 | _ |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:401:9:406:9 | match 42 { ... } |
| test.rs:402:15:402:15 | 0 | test.rs:402:15:402:15 | 0 |
| test.rs:402:15:402:15 | 0 | test.rs:402:20:402:20 | 1 |
| test.rs:402:20:402:20 | 1 | test.rs:402:20:402:20 | 1 |
| test.rs:403:13:403:13 | 1 | test.rs:403:13:403:13 | 1 |
| test.rs:403:13:403:13 | 1 | test.rs:403:16:403:16 | 2 |
| test.rs:403:13:403:13 | 1 | test.rs:403:21:403:21 | 2 |
| test.rs:403:13:403:16 | RangePat | test.rs:403:13:403:13 | 1 |
| test.rs:403:13:403:16 | RangePat | test.rs:403:13:403:16 | RangePat |
| test.rs:403:13:403:16 | RangePat | test.rs:403:16:403:16 | 2 |
| test.rs:403:13:403:16 | RangePat | test.rs:403:21:403:21 | 2 |
| test.rs:403:13:403:16 | RangePat | test.rs:404:13:404:13 | 5 |
| test.rs:403:13:403:16 | RangePat | test.rs:404:13:404:15 | RangePat |
| test.rs:403:13:403:16 | RangePat | test.rs:404:20:404:20 | 3 |
| test.rs:403:13:403:16 | RangePat | test.rs:405:13:405:13 | _ |
| test.rs:403:16:403:16 | 2 | test.rs:403:16:403:16 | 2 |
| test.rs:403:16:403:16 | 2 | test.rs:403:21:403:21 | 2 |
| test.rs:403:21:403:21 | 2 | test.rs:403:21:403:21 | 2 |
| test.rs:404:13:404:13 | 5 | test.rs:404:13:404:13 | 5 |
| test.rs:404:13:404:13 | 5 | test.rs:404:20:404:20 | 3 |
| test.rs:404:13:404:15 | RangePat | test.rs:404:13:404:13 | 5 |
| test.rs:404:13:404:15 | RangePat | test.rs:404:13:404:15 | RangePat |
| test.rs:404:13:404:15 | RangePat | test.rs:404:20:404:20 | 3 |
| test.rs:404:13:404:15 | RangePat | test.rs:405:13:405:13 | _ |
| test.rs:404:20:404:20 | 3 | test.rs:404:20:404:20 | 3 |
| test.rs:405:13:405:13 | _ | test.rs:405:13:405:13 | _ |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:410:9:413:9 | match 43 { ... } |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:411:13:411:13 | n |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:411:17:411:17 | 1 |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:411:20:411:21 | 10 |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:411:26:411:26 | 2 |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:412:13:412:13 | _ |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:410:9:413:9 | match 43 { ... } |
| test.rs:411:13:411:13 | n | test.rs:411:13:411:13 | n |
| test.rs:411:13:411:13 | n | test.rs:411:26:411:26 | 2 |
| test.rs:411:17:411:17 | 1 | test.rs:411:13:411:13 | n |
| test.rs:411:17:411:17 | 1 | test.rs:411:17:411:17 | 1 |
| test.rs:411:17:411:17 | 1 | test.rs:411:20:411:21 | 10 |
| test.rs:411:17:411:17 | 1 | test.rs:411:26:411:26 | 2 |
| test.rs:411:20:411:21 | 10 | test.rs:411:13:411:13 | n |
| test.rs:411:20:411:21 | 10 | test.rs:411:20:411:21 | 10 |
| test.rs:411:20:411:21 | 10 | test.rs:411:26:411:26 | 2 |
| test.rs:411:26:411:26 | 2 | test.rs:411:26:411:26 | 2 |
| test.rs:412:13:412:13 | _ | test.rs:412:13:412:13 | _ |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:418:9:421:9 | match a { ... } |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:419:21:419:21 | n |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:419:25:419:25 | 1 |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:419:28:419:29 | 10 |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:419:35:419:35 | n |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:420:21:420:21 | n |
| test.rs:418:9:421:9 | match a { ... } | test.rs:418:9:421:9 | match a { ... } |
| test.rs:419:21:419:21 | n | test.rs:419:21:419:21 | n |
| test.rs:419:21:419:21 | n | test.rs:419:35:419:35 | n |
| test.rs:419:25:419:25 | 1 | test.rs:419:21:419:21 | n |
| test.rs:419:25:419:25 | 1 | test.rs:419:25:419:25 | 1 |
| test.rs:419:25:419:25 | 1 | test.rs:419:28:419:29 | 10 |
| test.rs:419:25:419:25 | 1 | test.rs:419:35:419:35 | n |
| test.rs:419:28:419:29 | 10 | test.rs:419:21:419:21 | n |
| test.rs:419:28:419:29 | 10 | test.rs:419:28:419:29 | 10 |
| test.rs:419:28:419:29 | 10 | test.rs:419:35:419:35 | n |
| test.rs:419:35:419:35 | n | test.rs:419:35:419:35 | n |
| test.rs:420:21:420:21 | n | test.rs:420:21:420:21 | n |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:426:9:430:9 | match ... { ... } |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:427:14:427:14 | 1 |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:427:17:427:17 | _ |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:428:13:428:19 | TuplePat |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:428:14:428:15 | .. |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:428:24:428:24 | 3 |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:429:13:429:16 | TuplePat |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:426:9:430:9 | match ... { ... } |
| test.rs:427:14:427:14 | 1 | test.rs:427:14:427:14 | 1 |
| test.rs:427:14:427:14 | 1 | test.rs:427:17:427:17 | _ |
| test.rs:427:17:427:17 | _ | test.rs:427:17:427:17 | _ |
| test.rs:428:13:428:19 | TuplePat | test.rs:428:13:428:19 | TuplePat |
| test.rs:428:13:428:19 | TuplePat | test.rs:428:14:428:15 | .. |
| test.rs:428:13:428:19 | TuplePat | test.rs:428:24:428:24 | 3 |
| test.rs:428:13:428:19 | TuplePat | test.rs:429:13:429:16 | TuplePat |
| test.rs:428:14:428:15 | .. | test.rs:428:14:428:15 | .. |
| test.rs:428:14:428:15 | .. | test.rs:428:24:428:24 | 3 |
| test.rs:428:24:428:24 | 3 | test.rs:428:24:428:24 | 3 |
| test.rs:429:13:429:16 | TuplePat | test.rs:429:13:429:16 | TuplePat |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:434:9:437:9 | match a { ... } |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:435:17:435:17 | 1 |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:435:21:435:21 | 2 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:434:9:437:9 | match a { ... } |
| test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 |
| test.rs:435:17:435:17 | 1 | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:435:17:435:17 | 1 | test.rs:435:17:435:17 | 1 |
| test.rs:435:17:435:17 | 1 | test.rs:435:21:435:21 | 2 |
| test.rs:435:21:435:21 | 2 | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:435:21:435:21 | 2 | test.rs:435:21:435:21 | 2 |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:441:9:444:9 | match a { ... } |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:442:21:442:21 | 3 |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:443:13:443:22 | Some(...) |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:443:13:443:36 | [match(true)] ... \| ... |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:443:18:443:21 | true |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:443:26:443:36 | Some(...) |
| test.rs:441:9:444:9 | match a { ... } | test.rs:441:9:444:9 | match a { ... } |
| test.rs:442:21:442:21 | 3 | test.rs:442:21:442:21 | 3 |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:13:443:36 | [match(true)] ... \| ... |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:18:443:21 | true |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:26:443:36 | Some(...) |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:13:443:36 | [match(true)] ... \| ... |
| test.rs:443:18:443:21 | true | test.rs:443:18:443:21 | true |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:26:443:36 | Some(...) |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:454:9:457:9 | match a { ... } |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | 1 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:455:30:455:30 | 3 |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:456:13:456:13 | _ |
| test.rs:454:9:457:9 | match a { ... } | test.rs:454:9:457:9 | match a { ... } |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 1 |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:455:13:455:25 | 1 | test.rs:455:30:455:30 | 3 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:30:455:30 | 3 |
| test.rs:455:13:455:25 | one_or_two!... | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:455:30:455:30 | 3 | test.rs:455:30:455:30 | 3 |
| test.rs:456:13:456:13 | _ | test.rs:456:13:456:13 | _ |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:461:9:464:9 | match pair { ... } |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:462:14:462:35 | TuplePat |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:462:15:462:15 | n |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:462:32:462:32 | _ |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:463:13:463:13 | _ |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:461:9:464:9 | match pair { ... } |
| test.rs:462:14:462:35 | TuplePat | test.rs:462:14:462:35 | TuplePat |
| test.rs:462:14:462:35 | TuplePat | test.rs:462:15:462:15 | n |
| test.rs:462:14:462:35 | TuplePat | test.rs:462:32:462:32 | _ |
| test.rs:462:15:462:15 | n | test.rs:462:15:462:15 | n |
| test.rs:462:15:462:15 | n | test.rs:462:32:462:32 | _ |
| test.rs:462:32:462:32 | _ | test.rs:462:32:462:32 | _ |
| test.rs:463:13:463:13 | _ | test.rs:463:13:463:13 | _ |
| test.rs:469:5:474:5 | enter fn test_infinite_loop | test.rs:469:5:474:5 | enter fn test_infinite_loop |
| test.rs:469:5:474:5 | enter fn test_infinite_loop | test.rs:471:13:471:14 | TupleExpr |
| test.rs:471:13:471:14 | TupleExpr | test.rs:471:13:471:14 | TupleExpr |
| test.rs:478:5:480:5 | enter fn say_hello | test.rs:478:5:480:5 | enter fn say_hello |
| test.rs:482:5:501:5 | enter fn async_block | test.rs:482:5:501:5 | enter fn async_block |
| test.rs:483:26:485:9 | enter { ... } | test.rs:483:26:485:9 | enter { ... } |
| test.rs:486:31:488:9 | enter { ... } | test.rs:486:31:488:9 | enter { ... } |
| test.rs:495:22:500:9 | enter \|...\| ... | test.rs:495:22:500:9 | enter \|...\| ... |
| test.rs:495:28:500:9 | enter { ... } | test.rs:495:28:500:9 | enter { ... } |
| test.rs:495:28:500:9 | enter { ... } | test.rs:495:28:500:9 | exit { ... } (normal) |
| test.rs:495:28:500:9 | enter { ... } | test.rs:496:13:498:13 | if b {...} |
| test.rs:495:28:500:9 | enter { ... } | test.rs:497:17:497:41 | ExprStmt |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:495:28:500:9 | exit { ... } (normal) |
| test.rs:496:13:498:13 | if b {...} | test.rs:496:13:498:13 | if b {...} |
| test.rs:497:17:497:41 | ExprStmt | test.rs:497:17:497:41 | ExprStmt |
| test.rs:507:5:509:5 | enter fn add_two | test.rs:507:5:509:5 | enter fn add_two |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:13:517:49 | ExprStmt |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(false)] ! ... |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | if ... {...} |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:13:517:49 | ExprStmt |
| test.rs:517:13:517:49 | enter fn panic_cold_explicit | test.rs:517:13:517:49 | enter fn panic_cold_explicit |
| test.rs:517:21:517:48 | [boolean(false)] ! ... | test.rs:517:21:517:48 | [boolean(false)] ! ... |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:13:517:49 | ExprStmt |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | if ... {...} |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:523:5:532:5 | enter fn const_block_panic |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:525:9:530:9 | if false {...} |
| test.rs:525:9:530:9 | if false {...} | test.rs:525:9:530:9 | if false {...} |
| test.rs:528:17:528:24 | enter fn panic_cold_explicit | test.rs:528:17:528:24 | enter fn panic_cold_explicit |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:535:1:540:1 | enter fn dead_code |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:537:9:537:17 | ExprStmt |
| test.rs:537:9:537:17 | ExprStmt | test.rs:537:9:537:17 | ExprStmt |
| test.rs:542:1:542:16 | enter fn do_thing | test.rs:542:1:542:16 | enter fn do_thing |
| test.rs:544:1:546:1 | enter fn condition_not_met | test.rs:544:1:546:1 | enter fn condition_not_met |
| test.rs:548:1:548:21 | enter fn do_next_thing | test.rs:548:1:548:21 | enter fn do_next_thing |
| test.rs:550:1:550:21 | enter fn do_last_thing | test.rs:550:1:550:21 | enter fn do_last_thing |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:553:18:564:5 | 'block: { ... } |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:555:9:557:9 | if ... {...} |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:556:13:556:27 | ExprStmt |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:559:9:561:9 | if ... {...} |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:560:13:560:27 | ExprStmt |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:553:18:564:5 | 'block: { ... } |
| test.rs:555:9:557:9 | if ... {...} | test.rs:555:9:557:9 | if ... {...} |
| test.rs:555:9:557:9 | if ... {...} | test.rs:559:9:561:9 | if ... {...} |
| test.rs:555:9:557:9 | if ... {...} | test.rs:560:13:560:27 | ExprStmt |
| test.rs:556:13:556:27 | ExprStmt | test.rs:556:13:556:27 | ExprStmt |
| test.rs:559:9:561:9 | if ... {...} | test.rs:559:9:561:9 | if ... {...} |
| test.rs:560:13:560:27 | ExprStmt | test.rs:560:13:560:27 | ExprStmt |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:568:1:576:1 | enter fn labelled_block2 |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:569:18:575:5 | 'block: { ... } |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:571:18:571:18 | y |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:572:13:572:27 | ExprStmt |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:569:18:575:5 | 'block: { ... } |
| test.rs:571:18:571:18 | y | test.rs:571:18:571:18 | y |
| test.rs:572:13:572:27 | ExprStmt | test.rs:572:13:572:27 | ExprStmt |
| test.rs:578:1:584:1 | enter fn test_nested_function2 | test.rs:578:1:584:1 | enter fn test_nested_function2 |
| test.rs:580:5:582:5 | enter fn nested | test.rs:580:5:582:5 | enter fn nested |
| test.rs:595:5:597:5 | enter fn new | test.rs:595:5:597:5 | enter fn new |
| test.rs:599:5:601:5 | enter fn negated | test.rs:599:5:601:5 | enter fn negated |
| test.rs:603:5:605:5 | enter fn multifly_add | test.rs:603:5:605:5 | enter fn multifly_add |
postDominance
| test.rs:5:5:8:5 | enter fn function_call | test.rs:5:5:8:5 | enter fn function_call |
| test.rs:10:5:13:5 | enter fn method_call | test.rs:10:5:13:5 | enter fn method_call |
@@ -1206,116 +1304,196 @@ postDominance
| test.rs:369:18:369:20 | ret | test.rs:369:18:369:20 | ret |
| test.rs:370:13:370:16 | None | test.rs:370:13:370:16 | None |
| test.rs:378:5:381:5 | enter fn empty_tuple_pattern | test.rs:378:5:381:5 | enter fn empty_tuple_pattern |
| test.rs:385:5:389:5 | enter fn empty_struct_pattern | test.rs:385:5:389:5 | enter fn empty_struct_pattern |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:392:9:397:9 | match 42 { ... } |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:393:15:393:15 | 0 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:393:20:393:20 | 1 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:394:13:394:13 | 1 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:394:13:394:16 | RangePat |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:394:16:394:16 | 2 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:394:21:394:21 | 2 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:395:13:395:13 | 5 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:395:13:395:15 | RangePat |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:395:20:395:20 | 3 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:396:13:396:13 | _ |
| test.rs:393:15:393:15 | 0 | test.rs:393:15:393:15 | 0 |
| test.rs:393:20:393:20 | 1 | test.rs:393:20:393:20 | 1 |
| test.rs:394:13:394:13 | 1 | test.rs:394:13:394:13 | 1 |
| test.rs:394:13:394:16 | RangePat | test.rs:394:13:394:16 | RangePat |
| test.rs:394:16:394:16 | 2 | test.rs:394:16:394:16 | 2 |
| test.rs:394:21:394:21 | 2 | test.rs:394:21:394:21 | 2 |
| test.rs:395:13:395:13 | 5 | test.rs:395:13:395:13 | 5 |
| test.rs:395:13:395:15 | RangePat | test.rs:395:13:395:15 | RangePat |
| test.rs:395:20:395:20 | 3 | test.rs:395:20:395:20 | 3 |
| test.rs:396:13:396:13 | _ | test.rs:396:13:396:13 | _ |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:401:9:404:9 | match 43 { ... } |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:402:13:402:13 | n |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:402:17:402:17 | 1 |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:402:20:402:21 | 10 |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:402:26:402:26 | 2 |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:403:13:403:13 | _ |
| test.rs:402:13:402:13 | n | test.rs:402:13:402:13 | n |
| test.rs:402:17:402:17 | 1 | test.rs:402:17:402:17 | 1 |
| test.rs:402:20:402:21 | 10 | test.rs:402:20:402:21 | 10 |
| test.rs:402:26:402:26 | 2 | test.rs:402:26:402:26 | 2 |
| test.rs:403:13:403:13 | _ | test.rs:403:13:403:13 | _ |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:409:9:412:9 | match a { ... } | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:409:9:412:9 | match a { ... } | test.rs:409:9:412:9 | match a { ... } |
| test.rs:409:9:412:9 | match a { ... } | test.rs:410:21:410:21 | n |
| test.rs:409:9:412:9 | match a { ... } | test.rs:410:25:410:25 | 1 |
| test.rs:409:9:412:9 | match a { ... } | test.rs:410:28:410:29 | 10 |
| test.rs:409:9:412:9 | match a { ... } | test.rs:410:35:410:35 | n |
| test.rs:409:9:412:9 | match a { ... } | test.rs:411:21:411:21 | n |
| test.rs:410:21:410:21 | n | test.rs:410:21:410:21 | n |
| test.rs:410:25:410:25 | 1 | test.rs:410:25:410:25 | 1 |
| test.rs:410:28:410:29 | 10 | test.rs:410:28:410:29 | 10 |
| test.rs:410:35:410:35 | n | test.rs:410:35:410:35 | n |
| test.rs:411:21:411:21 | n | test.rs:411:21:411:21 | n |
| test.rs:418:5:423:5 | enter fn test_infinite_loop | test.rs:418:5:423:5 | enter fn test_infinite_loop |
| test.rs:420:13:420:14 | TupleExpr | test.rs:420:13:420:14 | TupleExpr |
| test.rs:427:5:429:5 | enter fn say_hello | test.rs:427:5:429:5 | enter fn say_hello |
| test.rs:431:5:450:5 | enter fn async_block | test.rs:431:5:450:5 | enter fn async_block |
| test.rs:432:26:434:9 | enter { ... } | test.rs:432:26:434:9 | enter { ... } |
| test.rs:435:31:437:9 | enter { ... } | test.rs:435:31:437:9 | enter { ... } |
| test.rs:444:22:449:9 | enter \|...\| ... | test.rs:444:22:449:9 | enter \|...\| ... |
| test.rs:444:28:449:9 | enter { ... } | test.rs:444:28:449:9 | enter { ... } |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:444:28:449:9 | enter { ... } |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:444:28:449:9 | exit { ... } (normal) |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:445:13:447:13 | if b {...} |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:446:17:446:41 | ExprStmt |
| test.rs:445:13:447:13 | if b {...} | test.rs:445:13:447:13 | if b {...} |
| test.rs:446:17:446:41 | ExprStmt | test.rs:446:17:446:41 | ExprStmt |
| test.rs:456:5:458:5 | enter fn add_two | test.rs:456:5:458:5 | enter fn add_two |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:13:466:49 | ExprStmt |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:466:13:466:49 | enter fn panic_cold_explicit | test.rs:466:13:466:49 | enter fn panic_cold_explicit |
| test.rs:466:21:466:48 | [boolean(false)] ! ... | test.rs:466:21:466:48 | [boolean(false)] ! ... |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:466:21:466:48 | if ... {...} | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:13:466:49 | ExprStmt |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | [boolean(false)] ! ... |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | if ... {...} |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:472:5:481:5 | enter fn const_block_panic |
| test.rs:474:9:479:9 | if false {...} | test.rs:472:5:481:5 | enter fn const_block_panic |
| test.rs:474:9:479:9 | if false {...} | test.rs:474:9:479:9 | if false {...} |
| test.rs:477:17:477:24 | enter fn panic_cold_explicit | test.rs:477:17:477:24 | enter fn panic_cold_explicit |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:484:1:489:1 | enter fn dead_code |
| test.rs:486:9:486:17 | ExprStmt | test.rs:484:1:489:1 | enter fn dead_code |
| test.rs:486:9:486:17 | ExprStmt | test.rs:486:9:486:17 | ExprStmt |
| test.rs:491:1:491:16 | enter fn do_thing | test.rs:491:1:491:16 | enter fn do_thing |
| test.rs:493:1:495:1 | enter fn condition_not_met | test.rs:493:1:495:1 | enter fn condition_not_met |
| test.rs:497:1:497:21 | enter fn do_next_thing | test.rs:497:1:497:21 | enter fn do_next_thing |
| test.rs:499:1:499:21 | enter fn do_last_thing | test.rs:499:1:499:21 | enter fn do_last_thing |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:502:18:513:5 | 'block: { ... } |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:504:9:506:9 | if ... {...} |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:505:13:505:27 | ExprStmt |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:508:9:510:9 | if ... {...} |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:509:13:509:27 | ExprStmt |
| test.rs:504:9:506:9 | if ... {...} | test.rs:504:9:506:9 | if ... {...} |
| test.rs:505:13:505:27 | ExprStmt | test.rs:505:13:505:27 | ExprStmt |
| test.rs:508:9:510:9 | if ... {...} | test.rs:508:9:510:9 | if ... {...} |
| test.rs:509:13:509:27 | ExprStmt | test.rs:509:13:509:27 | ExprStmt |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:518:18:524:5 | 'block: { ... } |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:520:18:520:18 | y |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:521:13:521:27 | ExprStmt |
| test.rs:520:18:520:18 | y | test.rs:520:18:520:18 | y |
| test.rs:521:13:521:27 | ExprStmt | test.rs:521:13:521:27 | ExprStmt |
| test.rs:527:1:533:1 | enter fn test_nested_function2 | test.rs:527:1:533:1 | enter fn test_nested_function2 |
| test.rs:529:5:531:5 | enter fn nested | test.rs:529:5:531:5 | enter fn nested |
| test.rs:544:5:546:5 | enter fn new | test.rs:544:5:546:5 | enter fn new |
| test.rs:548:5:550:5 | enter fn negated | test.rs:548:5:550:5 | enter fn negated |
| test.rs:552:5:554:5 | enter fn multifly_add | test.rs:552:5:554:5 | enter fn multifly_add |
| test.rs:387:5:391:5 | enter fn empty_struct_pattern | test.rs:387:5:391:5 | enter fn empty_struct_pattern |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:394:9:397:9 | match st { ... } | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:394:9:397:9 | match st { ... } | test.rs:394:9:397:9 | match st { ... } |
| test.rs:394:9:397:9 | match st { ... } | test.rs:395:27:395:27 | 1 |
| test.rs:394:9:397:9 | match st { ... } | test.rs:395:34:395:34 | 0 |
| test.rs:394:9:397:9 | match st { ... } | test.rs:396:13:396:26 | MyStruct {...} |
| test.rs:395:27:395:27 | 1 | test.rs:395:27:395:27 | 1 |
| test.rs:395:34:395:34 | 0 | test.rs:395:34:395:34 | 0 |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:396:13:396:26 | MyStruct {...} |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:401:9:406:9 | match 42 { ... } |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:402:15:402:15 | 0 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:402:20:402:20 | 1 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:403:13:403:13 | 1 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:403:13:403:16 | RangePat |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:403:16:403:16 | 2 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:403:21:403:21 | 2 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:404:13:404:13 | 5 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:404:13:404:15 | RangePat |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:404:20:404:20 | 3 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:405:13:405:13 | _ |
| test.rs:402:15:402:15 | 0 | test.rs:402:15:402:15 | 0 |
| test.rs:402:20:402:20 | 1 | test.rs:402:20:402:20 | 1 |
| test.rs:403:13:403:13 | 1 | test.rs:403:13:403:13 | 1 |
| test.rs:403:13:403:16 | RangePat | test.rs:403:13:403:16 | RangePat |
| test.rs:403:16:403:16 | 2 | test.rs:403:16:403:16 | 2 |
| test.rs:403:21:403:21 | 2 | test.rs:403:21:403:21 | 2 |
| test.rs:404:13:404:13 | 5 | test.rs:404:13:404:13 | 5 |
| test.rs:404:13:404:15 | RangePat | test.rs:404:13:404:15 | RangePat |
| test.rs:404:20:404:20 | 3 | test.rs:404:20:404:20 | 3 |
| test.rs:405:13:405:13 | _ | test.rs:405:13:405:13 | _ |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:410:9:413:9 | match 43 { ... } |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:411:13:411:13 | n |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:411:17:411:17 | 1 |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:411:20:411:21 | 10 |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:411:26:411:26 | 2 |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:412:13:412:13 | _ |
| test.rs:411:13:411:13 | n | test.rs:411:13:411:13 | n |
| test.rs:411:17:411:17 | 1 | test.rs:411:17:411:17 | 1 |
| test.rs:411:20:411:21 | 10 | test.rs:411:20:411:21 | 10 |
| test.rs:411:26:411:26 | 2 | test.rs:411:26:411:26 | 2 |
| test.rs:412:13:412:13 | _ | test.rs:412:13:412:13 | _ |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:418:9:421:9 | match a { ... } | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:418:9:421:9 | match a { ... } | test.rs:418:9:421:9 | match a { ... } |
| test.rs:418:9:421:9 | match a { ... } | test.rs:419:21:419:21 | n |
| test.rs:418:9:421:9 | match a { ... } | test.rs:419:25:419:25 | 1 |
| test.rs:418:9:421:9 | match a { ... } | test.rs:419:28:419:29 | 10 |
| test.rs:418:9:421:9 | match a { ... } | test.rs:419:35:419:35 | n |
| test.rs:418:9:421:9 | match a { ... } | test.rs:420:21:420:21 | n |
| test.rs:419:21:419:21 | n | test.rs:419:21:419:21 | n |
| test.rs:419:25:419:25 | 1 | test.rs:419:25:419:25 | 1 |
| test.rs:419:28:419:29 | 10 | test.rs:419:28:419:29 | 10 |
| test.rs:419:35:419:35 | n | test.rs:419:35:419:35 | n |
| test.rs:420:21:420:21 | n | test.rs:420:21:420:21 | n |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:426:9:430:9 | match ... { ... } |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:427:14:427:14 | 1 |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:427:17:427:17 | _ |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:428:13:428:19 | TuplePat |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:428:14:428:15 | .. |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:428:24:428:24 | 3 |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:429:13:429:16 | TuplePat |
| test.rs:427:14:427:14 | 1 | test.rs:427:14:427:14 | 1 |
| test.rs:427:17:427:17 | _ | test.rs:427:17:427:17 | _ |
| test.rs:428:13:428:19 | TuplePat | test.rs:428:13:428:19 | TuplePat |
| test.rs:428:14:428:15 | .. | test.rs:428:14:428:15 | .. |
| test.rs:428:24:428:24 | 3 | test.rs:428:24:428:24 | 3 |
| test.rs:429:13:429:16 | TuplePat | test.rs:429:13:429:16 | TuplePat |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:434:9:437:9 | match a { ... } | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:434:9:437:9 | match a { ... } | test.rs:434:9:437:9 | match a { ... } |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:17:435:17 | 1 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:21:435:21 | 2 |
| test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 |
| test.rs:435:17:435:17 | 1 | test.rs:435:17:435:17 | 1 |
| test.rs:435:21:435:21 | 2 | test.rs:435:21:435:21 | 2 |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:441:9:444:9 | match a { ... } |
| test.rs:441:9:444:9 | match a { ... } | test.rs:442:21:442:21 | 3 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:443:13:443:22 | Some(...) |
| test.rs:441:9:444:9 | match a { ... } | test.rs:443:13:443:36 | [match(true)] ... \| ... |
| test.rs:441:9:444:9 | match a { ... } | test.rs:443:18:443:21 | true |
| test.rs:441:9:444:9 | match a { ... } | test.rs:443:26:443:36 | Some(...) |
| test.rs:442:21:442:21 | 3 | test.rs:442:21:442:21 | 3 |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:13:443:36 | [match(true)] ... \| ... |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:18:443:21 | true |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:26:443:36 | Some(...) |
| test.rs:443:18:443:21 | true | test.rs:443:18:443:21 | true |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:26:443:36 | Some(...) |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:454:9:457:9 | match a { ... } |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | 1 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:30:455:30 | 3 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:456:13:456:13 | _ |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 1 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:13:455:25 | one_or_two!... | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:455:30:455:30 | 3 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:455:30:455:30 | 3 | test.rs:455:30:455:30 | 3 |
| test.rs:456:13:456:13 | _ | test.rs:455:13:455:25 | [match(false)] 1 \| 2 |
| test.rs:456:13:456:13 | _ | test.rs:456:13:456:13 | _ |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:461:9:464:9 | match pair { ... } |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:462:14:462:35 | TuplePat |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:462:15:462:15 | n |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:462:32:462:32 | _ |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:463:13:463:13 | _ |
| test.rs:462:14:462:35 | TuplePat | test.rs:462:14:462:35 | TuplePat |
| test.rs:462:15:462:15 | n | test.rs:462:15:462:15 | n |
| test.rs:462:32:462:32 | _ | test.rs:462:32:462:32 | _ |
| test.rs:463:13:463:13 | _ | test.rs:463:13:463:13 | _ |
| test.rs:469:5:474:5 | enter fn test_infinite_loop | test.rs:469:5:474:5 | enter fn test_infinite_loop |
| test.rs:471:13:471:14 | TupleExpr | test.rs:471:13:471:14 | TupleExpr |
| test.rs:478:5:480:5 | enter fn say_hello | test.rs:478:5:480:5 | enter fn say_hello |
| test.rs:482:5:501:5 | enter fn async_block | test.rs:482:5:501:5 | enter fn async_block |
| test.rs:483:26:485:9 | enter { ... } | test.rs:483:26:485:9 | enter { ... } |
| test.rs:486:31:488:9 | enter { ... } | test.rs:486:31:488:9 | enter { ... } |
| test.rs:495:22:500:9 | enter \|...\| ... | test.rs:495:22:500:9 | enter \|...\| ... |
| test.rs:495:28:500:9 | enter { ... } | test.rs:495:28:500:9 | enter { ... } |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:495:28:500:9 | enter { ... } |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:495:28:500:9 | exit { ... } (normal) |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:496:13:498:13 | if b {...} |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:497:17:497:41 | ExprStmt |
| test.rs:496:13:498:13 | if b {...} | test.rs:496:13:498:13 | if b {...} |
| test.rs:497:17:497:41 | ExprStmt | test.rs:497:17:497:41 | ExprStmt |
| test.rs:507:5:509:5 | enter fn add_two | test.rs:507:5:509:5 | enter fn add_two |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:13:517:49 | ExprStmt |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:517:13:517:49 | enter fn panic_cold_explicit | test.rs:517:13:517:49 | enter fn panic_cold_explicit |
| test.rs:517:21:517:48 | [boolean(false)] ! ... | test.rs:517:21:517:48 | [boolean(false)] ! ... |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:517:21:517:48 | if ... {...} | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:13:517:49 | ExprStmt |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | [boolean(false)] ! ... |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | if ... {...} |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:523:5:532:5 | enter fn const_block_panic |
| test.rs:525:9:530:9 | if false {...} | test.rs:523:5:532:5 | enter fn const_block_panic |
| test.rs:525:9:530:9 | if false {...} | test.rs:525:9:530:9 | if false {...} |
| test.rs:528:17:528:24 | enter fn panic_cold_explicit | test.rs:528:17:528:24 | enter fn panic_cold_explicit |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:535:1:540:1 | enter fn dead_code |
| test.rs:537:9:537:17 | ExprStmt | test.rs:535:1:540:1 | enter fn dead_code |
| test.rs:537:9:537:17 | ExprStmt | test.rs:537:9:537:17 | ExprStmt |
| test.rs:542:1:542:16 | enter fn do_thing | test.rs:542:1:542:16 | enter fn do_thing |
| test.rs:544:1:546:1 | enter fn condition_not_met | test.rs:544:1:546:1 | enter fn condition_not_met |
| test.rs:548:1:548:21 | enter fn do_next_thing | test.rs:548:1:548:21 | enter fn do_next_thing |
| test.rs:550:1:550:21 | enter fn do_last_thing | test.rs:550:1:550:21 | enter fn do_last_thing |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:553:18:564:5 | 'block: { ... } |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:555:9:557:9 | if ... {...} |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:556:13:556:27 | ExprStmt |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:559:9:561:9 | if ... {...} |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:560:13:560:27 | ExprStmt |
| test.rs:555:9:557:9 | if ... {...} | test.rs:555:9:557:9 | if ... {...} |
| test.rs:556:13:556:27 | ExprStmt | test.rs:556:13:556:27 | ExprStmt |
| test.rs:559:9:561:9 | if ... {...} | test.rs:559:9:561:9 | if ... {...} |
| test.rs:560:13:560:27 | ExprStmt | test.rs:560:13:560:27 | ExprStmt |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:568:1:576:1 | enter fn labelled_block2 |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:568:1:576:1 | enter fn labelled_block2 |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:569:18:575:5 | 'block: { ... } |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:571:18:571:18 | y |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:572:13:572:27 | ExprStmt |
| test.rs:571:18:571:18 | y | test.rs:571:18:571:18 | y |
| test.rs:572:13:572:27 | ExprStmt | test.rs:572:13:572:27 | ExprStmt |
| test.rs:578:1:584:1 | enter fn test_nested_function2 | test.rs:578:1:584:1 | enter fn test_nested_function2 |
| test.rs:580:5:582:5 | enter fn nested | test.rs:580:5:582:5 | enter fn nested |
| test.rs:595:5:597:5 | enter fn new | test.rs:595:5:597:5 | enter fn new |
| test.rs:599:5:601:5 | enter fn negated | test.rs:599:5:601:5 | enter fn negated |
| test.rs:603:5:605:5 | enter fn multifly_add | test.rs:603:5:605:5 | enter fn multifly_add |
immediateDominator
| test.rs:19:9:23:9 | if ... {...} else {...} | test.rs:18:5:24:5 | enter fn next |
| test.rs:20:13:20:13 | n | test.rs:18:5:24:5 | enter fn next |
@@ -1505,47 +1683,82 @@ immediateDominator
| test.rs:367:5:373:5 | exit fn test_let_with_return (normal) | test.rs:367:5:373:5 | enter fn test_let_with_return |
| test.rs:369:18:369:20 | ret | test.rs:367:5:373:5 | enter fn test_let_with_return |
| test.rs:370:13:370:16 | None | test.rs:367:5:373:5 | enter fn test_let_with_return |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:393:15:393:15 | 0 | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:393:20:393:20 | 1 | test.rs:393:15:393:15 | 0 |
| test.rs:394:13:394:13 | 1 | test.rs:394:13:394:16 | RangePat |
| test.rs:394:13:394:16 | RangePat | test.rs:391:5:398:5 | enter fn range_pattern |
| test.rs:394:16:394:16 | 2 | test.rs:394:13:394:13 | 1 |
| test.rs:394:21:394:21 | 2 | test.rs:394:16:394:16 | 2 |
| test.rs:395:13:395:13 | 5 | test.rs:395:13:395:15 | RangePat |
| test.rs:395:13:395:15 | RangePat | test.rs:394:13:394:16 | RangePat |
| test.rs:395:20:395:20 | 3 | test.rs:395:13:395:13 | 5 |
| test.rs:396:13:396:13 | _ | test.rs:395:13:395:15 | RangePat |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:402:13:402:13 | n | test.rs:402:20:402:21 | 10 |
| test.rs:402:17:402:17 | 1 | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:402:20:402:21 | 10 | test.rs:402:17:402:17 | 1 |
| test.rs:402:26:402:26 | 2 | test.rs:402:13:402:13 | n |
| test.rs:403:13:403:13 | _ | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:409:9:412:9 | match a { ... } | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:410:21:410:21 | n | test.rs:410:28:410:29 | 10 |
| test.rs:410:25:410:25 | 1 | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:410:28:410:29 | 10 | test.rs:410:25:410:25 | 1 |
| test.rs:410:35:410:35 | n | test.rs:410:21:410:21 | n |
| test.rs:411:21:411:21 | n | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref |
| test.rs:420:13:420:14 | TupleExpr | test.rs:418:5:423:5 | enter fn test_infinite_loop |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:444:28:449:9 | enter { ... } |
| test.rs:445:13:447:13 | if b {...} | test.rs:444:28:449:9 | enter { ... } |
| test.rs:446:17:446:41 | ExprStmt | test.rs:444:28:449:9 | enter { ... } |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:21:466:48 | [boolean(true)] ! ... |
| test.rs:466:21:466:48 | [boolean(false)] ! ... | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:466:21:466:48 | if ... {...} | test.rs:462:5:470:5 | enter fn const_block_assert |
| test.rs:474:9:479:9 | if false {...} | test.rs:472:5:481:5 | enter fn const_block_panic |
| test.rs:486:9:486:17 | ExprStmt | test.rs:484:1:489:1 | enter fn dead_code |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:504:9:506:9 | if ... {...} | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:505:13:505:27 | ExprStmt | test.rs:501:1:515:1 | enter fn labelled_block1 |
| test.rs:508:9:510:9 | if ... {...} | test.rs:504:9:506:9 | if ... {...} |
| test.rs:509:13:509:27 | ExprStmt | test.rs:504:9:506:9 | if ... {...} |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:520:18:520:18 | y | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:521:13:521:27 | ExprStmt | test.rs:517:1:525:1 | enter fn labelled_block2 |
| test.rs:394:9:397:9 | match st { ... } | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:395:27:395:27 | 1 | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:395:34:395:34 | 0 | test.rs:395:27:395:27 | 1 |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:393:5:398:5 | enter fn struct_pattern |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:402:15:402:15 | 0 | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:402:20:402:20 | 1 | test.rs:402:15:402:15 | 0 |
| test.rs:403:13:403:13 | 1 | test.rs:403:13:403:16 | RangePat |
| test.rs:403:13:403:16 | RangePat | test.rs:400:5:407:5 | enter fn range_pattern |
| test.rs:403:16:403:16 | 2 | test.rs:403:13:403:13 | 1 |
| test.rs:403:21:403:21 | 2 | test.rs:403:16:403:16 | 2 |
| test.rs:404:13:404:13 | 5 | test.rs:404:13:404:15 | RangePat |
| test.rs:404:13:404:15 | RangePat | test.rs:403:13:403:16 | RangePat |
| test.rs:404:20:404:20 | 3 | test.rs:404:13:404:13 | 5 |
| test.rs:405:13:405:13 | _ | test.rs:404:13:404:15 | RangePat |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:411:13:411:13 | n | test.rs:411:20:411:21 | 10 |
| test.rs:411:17:411:17 | 1 | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:411:20:411:21 | 10 | test.rs:411:17:411:17 | 1 |
| test.rs:411:26:411:26 | 2 | test.rs:411:13:411:13 | n |
| test.rs:412:13:412:13 | _ | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern |
| test.rs:418:9:421:9 | match a { ... } | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:419:21:419:21 | n | test.rs:419:28:419:29 | 10 |
| test.rs:419:25:419:25 | 1 | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:419:28:419:29 | 10 | test.rs:419:25:419:25 | 1 |
| test.rs:419:35:419:35 | n | test.rs:419:21:419:21 | n |
| test.rs:420:21:420:21 | n | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:427:14:427:14 | 1 | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:427:17:427:17 | _ | test.rs:427:14:427:14 | 1 |
| test.rs:428:13:428:19 | TuplePat | test.rs:425:5:431:5 | enter fn tuple_pattern |
| test.rs:428:14:428:15 | .. | test.rs:428:13:428:19 | TuplePat |
| test.rs:428:24:428:24 | 3 | test.rs:428:14:428:15 | .. |
| test.rs:429:13:429:16 | TuplePat | test.rs:428:13:428:19 | TuplePat |
| test.rs:434:9:437:9 | match a { ... } | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | test.rs:435:21:435:21 | 2 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:435:17:435:17 | 1 | test.rs:433:5:438:5 | enter fn or_pattern |
| test.rs:435:21:435:21 | 2 | test.rs:435:17:435:17 | 1 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:442:21:442:21 | 3 | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:443:13:443:22 | Some(...) | test.rs:440:5:445:5 | enter fn or_pattern_2 |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:18:443:21 | true | test.rs:443:13:443:22 | Some(...) |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:13:443:22 | Some(...) |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:25 | 1 | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 1 |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | 2 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | 1 |
| test.rs:455:13:455:25 | one_or_two!... | test.rs:455:13:455:25 | 1 |
| test.rs:455:30:455:30 | 3 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 |
| test.rs:456:13:456:13 | _ | test.rs:453:5:458:5 | enter fn or_pattern_3 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:462:14:462:35 | TuplePat | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:462:15:462:15 | n | test.rs:462:14:462:35 | TuplePat |
| test.rs:462:32:462:32 | _ | test.rs:462:15:462:15 | n |
| test.rs:463:13:463:13 | _ | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code |
| test.rs:471:13:471:14 | TupleExpr | test.rs:469:5:474:5 | enter fn test_infinite_loop |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:495:28:500:9 | enter { ... } |
| test.rs:496:13:498:13 | if b {...} | test.rs:495:28:500:9 | enter { ... } |
| test.rs:497:17:497:41 | ExprStmt | test.rs:495:28:500:9 | enter { ... } |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:21:517:48 | [boolean(true)] ! ... |
| test.rs:517:21:517:48 | [boolean(false)] ! ... | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:517:21:517:48 | if ... {...} | test.rs:513:5:521:5 | enter fn const_block_assert |
| test.rs:525:9:530:9 | if false {...} | test.rs:523:5:532:5 | enter fn const_block_panic |
| test.rs:537:9:537:17 | ExprStmt | test.rs:535:1:540:1 | enter fn dead_code |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:555:9:557:9 | if ... {...} | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:556:13:556:27 | ExprStmt | test.rs:552:1:566:1 | enter fn labelled_block1 |
| test.rs:559:9:561:9 | if ... {...} | test.rs:555:9:557:9 | if ... {...} |
| test.rs:560:13:560:27 | ExprStmt | test.rs:555:9:557:9 | if ... {...} |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:568:1:576:1 | enter fn labelled_block2 |
| test.rs:571:18:571:18 | y | test.rs:568:1:576:1 | enter fn labelled_block2 |
| test.rs:572:13:572:27 | ExprStmt | test.rs:568:1:576:1 | enter fn labelled_block2 |
controls
| test.rs:18:5:24:5 | enter fn next | test.rs:20:13:20:13 | n | true |
| test.rs:18:5:24:5 | enter fn next | test.rs:22:13:22:13 | 3 | false |
@@ -1735,20 +1948,20 @@ controls
| test.rs:346:10:349:9 | [boolean(true)] match r { ... } | test.rs:349:15:349:18 | cond | true |
| test.rs:347:18:347:18 | a | test.rs:346:10:349:9 | [boolean(true)] match r { ... } | true |
| test.rs:347:18:347:18 | a | test.rs:349:15:349:18 | cond | true |
| test.rs:444:28:449:9 | enter { ... } | test.rs:445:13:447:13 | if b {...} | false |
| test.rs:444:28:449:9 | enter { ... } | test.rs:446:17:446:41 | ExprStmt | true |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:13:466:49 | ExprStmt | false |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(false)] ! ... | true |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(true)] ! ... | false |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:13:466:49 | ExprStmt | true |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:474:9:479:9 | if false {...} | false |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:486:9:486:17 | ExprStmt | true |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:504:9:506:9 | if ... {...} | false |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:505:13:505:27 | ExprStmt | true |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:508:9:510:9 | if ... {...} | false |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:509:13:509:27 | ExprStmt | false |
| test.rs:504:9:506:9 | if ... {...} | test.rs:508:9:510:9 | if ... {...} | false |
| test.rs:504:9:506:9 | if ... {...} | test.rs:509:13:509:27 | ExprStmt | true |
| test.rs:495:28:500:9 | enter { ... } | test.rs:496:13:498:13 | if b {...} | false |
| test.rs:495:28:500:9 | enter { ... } | test.rs:497:17:497:41 | ExprStmt | true |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:13:517:49 | ExprStmt | false |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(false)] ! ... | true |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(true)] ! ... | false |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:13:517:49 | ExprStmt | true |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:525:9:530:9 | if false {...} | false |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:537:9:537:17 | ExprStmt | true |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:555:9:557:9 | if ... {...} | false |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:556:13:556:27 | ExprStmt | true |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:559:9:561:9 | if ... {...} | false |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:560:13:560:27 | ExprStmt | false |
| test.rs:555:9:557:9 | if ... {...} | test.rs:559:9:561:9 | if ... {...} | false |
| test.rs:555:9:557:9 | if ... {...} | test.rs:560:13:560:27 | ExprStmt | true |
successor
| test.rs:18:5:24:5 | enter fn next | test.rs:20:13:20:13 | n | true |
| test.rs:18:5:24:5 | enter fn next | test.rs:22:13:22:13 | 3 | false |
@@ -1884,18 +2097,18 @@ successor
| test.rs:347:18:347:18 | a | test.rs:346:10:349:9 | [boolean(false)] match r { ... } | false |
| test.rs:347:18:347:18 | a | test.rs:346:10:349:9 | [boolean(true)] match r { ... } | true |
| test.rs:348:13:348:13 | _ | test.rs:346:10:349:9 | [boolean(false)] match r { ... } | false |
| test.rs:444:28:449:9 | enter { ... } | test.rs:445:13:447:13 | if b {...} | false |
| test.rs:444:28:449:9 | enter { ... } | test.rs:446:17:446:41 | ExprStmt | true |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(false)] ! ... | true |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:466:21:466:48 | [boolean(true)] ! ... | false |
| test.rs:466:21:466:48 | [boolean(false)] ! ... | test.rs:466:21:466:48 | if ... {...} | false |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:13:466:49 | ExprStmt | true |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:474:9:479:9 | if false {...} | false |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:486:9:486:17 | ExprStmt | true |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:504:9:506:9 | if ... {...} | false |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:505:13:505:27 | ExprStmt | true |
| test.rs:504:9:506:9 | if ... {...} | test.rs:508:9:510:9 | if ... {...} | false |
| test.rs:504:9:506:9 | if ... {...} | test.rs:509:13:509:27 | ExprStmt | true |
| test.rs:495:28:500:9 | enter { ... } | test.rs:496:13:498:13 | if b {...} | false |
| test.rs:495:28:500:9 | enter { ... } | test.rs:497:17:497:41 | ExprStmt | true |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(false)] ! ... | true |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:517:21:517:48 | [boolean(true)] ! ... | false |
| test.rs:517:21:517:48 | [boolean(false)] ! ... | test.rs:517:21:517:48 | if ... {...} | false |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:13:517:49 | ExprStmt | true |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:525:9:530:9 | if false {...} | false |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:537:9:537:17 | ExprStmt | true |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:555:9:557:9 | if ... {...} | false |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:556:13:556:27 | ExprStmt | true |
| test.rs:555:9:557:9 | if ... {...} | test.rs:559:9:561:9 | if ... {...} | false |
| test.rs:555:9:557:9 | if ... {...} | test.rs:560:13:560:27 | ExprStmt | true |
joinBlockPredecessor
| test.rs:19:9:23:9 | if ... {...} else {...} | test.rs:20:13:20:13 | n | 1 |
| test.rs:19:9:23:9 | if ... {...} else {...} | test.rs:22:13:22:13 | 3 | 0 |
@@ -2016,37 +2229,72 @@ joinBlockPredecessor
| test.rs:353:9:356:9 | match r { ... } | test.rs:355:13:355:22 | Err(...) | 1 |
| test.rs:367:5:373:5 | exit fn test_let_with_return (normal) | test.rs:369:18:369:20 | ret | 0 |
| test.rs:367:5:373:5 | exit fn test_let_with_return (normal) | test.rs:370:13:370:16 | None | 1 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:393:20:393:20 | 1 | 0 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:394:21:394:21 | 2 | 1 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:395:20:395:20 | 3 | 2 |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:396:13:396:13 | _ | 3 |
| test.rs:394:13:394:16 | RangePat | test.rs:391:5:398:5 | enter fn range_pattern | 1 |
| test.rs:394:13:394:16 | RangePat | test.rs:393:15:393:15 | 0 | 0 |
| test.rs:395:13:395:15 | RangePat | test.rs:394:13:394:13 | 1 | 1 |
| test.rs:395:13:395:15 | RangePat | test.rs:394:13:394:16 | RangePat | 2 |
| test.rs:395:13:395:15 | RangePat | test.rs:394:16:394:16 | 2 | 0 |
| test.rs:396:13:396:13 | _ | test.rs:395:13:395:13 | 5 | 0 |
| test.rs:396:13:396:13 | _ | test.rs:395:13:395:15 | RangePat | 1 |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:402:26:402:26 | 2 | 0 |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:403:13:403:13 | _ | 1 |
| test.rs:403:13:403:13 | _ | test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | 3 |
| test.rs:403:13:403:13 | _ | test.rs:402:13:402:13 | n | 0 |
| test.rs:403:13:403:13 | _ | test.rs:402:17:402:17 | 1 | 2 |
| test.rs:403:13:403:13 | _ | test.rs:402:20:402:21 | 10 | 1 |
| test.rs:409:9:412:9 | match a { ... } | test.rs:410:35:410:35 | n | 0 |
| test.rs:409:9:412:9 | match a { ... } | test.rs:411:21:411:21 | n | 1 |
| test.rs:411:21:411:21 | n | test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | 3 |
| test.rs:411:21:411:21 | n | test.rs:410:21:410:21 | n | 0 |
| test.rs:411:21:411:21 | n | test.rs:410:25:410:25 | 1 | 2 |
| test.rs:411:21:411:21 | n | test.rs:410:28:410:29 | 10 | 1 |
| test.rs:420:13:420:14 | TupleExpr | test.rs:418:5:423:5 | enter fn test_infinite_loop | 1 |
| test.rs:420:13:420:14 | TupleExpr | test.rs:420:13:420:14 | TupleExpr | 0 |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:445:13:447:13 | if b {...} | 1 |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:446:17:446:41 | ExprStmt | 0 |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:13:466:49 | ExprStmt | 1 |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | [boolean(false)] ! ... | 0 |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:505:13:505:27 | ExprStmt | 0 |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:508:9:510:9 | if ... {...} | 2 |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:509:13:509:27 | ExprStmt | 1 |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:520:18:520:18 | y | 1 |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:521:13:521:27 | ExprStmt | 0 |
| test.rs:394:9:397:9 | match st { ... } | test.rs:395:34:395:34 | 0 | 0 |
| test.rs:394:9:397:9 | match st { ... } | test.rs:396:13:396:26 | MyStruct {...} | 1 |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:393:5:398:5 | enter fn struct_pattern | 1 |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:395:27:395:27 | 1 | 0 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:402:20:402:20 | 1 | 0 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:403:21:403:21 | 2 | 1 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:404:20:404:20 | 3 | 2 |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:405:13:405:13 | _ | 3 |
| test.rs:403:13:403:16 | RangePat | test.rs:400:5:407:5 | enter fn range_pattern | 1 |
| test.rs:403:13:403:16 | RangePat | test.rs:402:15:402:15 | 0 | 0 |
| test.rs:404:13:404:15 | RangePat | test.rs:403:13:403:13 | 1 | 1 |
| test.rs:404:13:404:15 | RangePat | test.rs:403:13:403:16 | RangePat | 2 |
| test.rs:404:13:404:15 | RangePat | test.rs:403:16:403:16 | 2 | 0 |
| test.rs:405:13:405:13 | _ | test.rs:404:13:404:13 | 5 | 0 |
| test.rs:405:13:405:13 | _ | test.rs:404:13:404:15 | RangePat | 1 |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:411:26:411:26 | 2 | 0 |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:412:13:412:13 | _ | 1 |
| test.rs:412:13:412:13 | _ | test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | 3 |
| test.rs:412:13:412:13 | _ | test.rs:411:13:411:13 | n | 0 |
| test.rs:412:13:412:13 | _ | test.rs:411:17:411:17 | 1 | 2 |
| test.rs:412:13:412:13 | _ | test.rs:411:20:411:21 | 10 | 1 |
| test.rs:418:9:421:9 | match a { ... } | test.rs:419:35:419:35 | n | 0 |
| test.rs:418:9:421:9 | match a { ... } | test.rs:420:21:420:21 | n | 1 |
| test.rs:420:21:420:21 | n | test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | 3 |
| test.rs:420:21:420:21 | n | test.rs:419:21:419:21 | n | 0 |
| test.rs:420:21:420:21 | n | test.rs:419:25:419:25 | 1 | 2 |
| test.rs:420:21:420:21 | n | test.rs:419:28:419:29 | 10 | 1 |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:427:17:427:17 | _ | 0 |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:428:24:428:24 | 3 | 1 |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:429:13:429:16 | TuplePat | 2 |
| test.rs:428:13:428:19 | TuplePat | test.rs:425:5:431:5 | enter fn tuple_pattern | 1 |
| test.rs:428:13:428:19 | TuplePat | test.rs:427:14:427:14 | 1 | 0 |
| test.rs:429:13:429:16 | TuplePat | test.rs:428:13:428:19 | TuplePat | 1 |
| test.rs:429:13:429:16 | TuplePat | test.rs:428:14:428:15 | .. | 0 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | 0 |
| test.rs:434:9:437:9 | match a { ... } | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | 1 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:433:5:438:5 | enter fn or_pattern | 2 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:435:17:435:17 | 1 | 0 |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:435:21:435:21 | 2 | 1 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:442:21:442:21 | 3 | 0 |
| test.rs:441:9:444:9 | match a { ... } | test.rs:443:13:443:36 | [match(true)] ... \| ... | 1 |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:18:443:21 | true | 0 |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:26:443:36 | Some(...) | 1 |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:13:443:22 | Some(...) | 1 |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:18:443:21 | true | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:455:30:455:30 | 3 | 0 |
| test.rs:454:9:457:9 | match a { ... } | test.rs:456:13:456:13 | _ | 1 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | 1 | 0 |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | 2 | 1 |
| test.rs:455:13:455:25 | one_or_two!... | test.rs:455:13:455:25 | [match(false)] 1 \| 2 | 0 |
| test.rs:455:13:455:25 | one_or_two!... | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | 1 |
| test.rs:456:13:456:13 | _ | test.rs:453:5:458:5 | enter fn or_pattern_3 | 1 |
| test.rs:456:13:456:13 | _ | test.rs:455:13:455:25 | [match(false)] 1 \| 2 | 0 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:462:32:462:32 | _ | 0 |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:463:13:463:13 | _ | 1 |
| test.rs:463:13:463:13 | _ | test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | 2 |
| test.rs:463:13:463:13 | _ | test.rs:462:14:462:35 | TuplePat | 1 |
| test.rs:463:13:463:13 | _ | test.rs:462:15:462:15 | n | 0 |
| test.rs:471:13:471:14 | TupleExpr | test.rs:469:5:474:5 | enter fn test_infinite_loop | 1 |
| test.rs:471:13:471:14 | TupleExpr | test.rs:471:13:471:14 | TupleExpr | 0 |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:496:13:498:13 | if b {...} | 1 |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:497:17:497:41 | ExprStmt | 0 |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:13:517:49 | ExprStmt | 1 |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | [boolean(false)] ! ... | 0 |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:556:13:556:27 | ExprStmt | 0 |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:559:9:561:9 | if ... {...} | 2 |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:560:13:560:27 | ExprStmt | 1 |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:571:18:571:18 | y | 1 |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:572:13:572:27 | ExprStmt | 0 |

7
rust/ql/test/library-tests/controlflow/CONSISTENCY/CfgConsistency.expected Normal file
View File

@@ -0,0 +1,7 @@
deadEnd
| test.rs:455:13:455:25 | one_or_two!... |
multipleSuccessors
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | no-match | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | no-match | test.rs:456:13:456:13 | _ |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match | test.rs:455:13:455:25 | one_or_two!... |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match | test.rs:455:30:455:30 | 3 |

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

@@ -939,390 +939,525 @@ edges
| test.rs:379:18:379:21 | unit | test.rs:379:13:379:14 | TuplePat | |
| test.rs:380:9:380:14 | return | test.rs:378:5:381:5 | exit fn empty_tuple_pattern (normal) | return |
| test.rs:380:9:380:15 | ExprStmt | test.rs:380:9:380:14 | return | |
| test.rs:385:5:389:5 | enter fn empty_struct_pattern | test.rs:385:29:385:30 | st | |
| test.rs:385:5:389:5 | exit fn empty_struct_pattern (normal) | test.rs:385:5:389:5 | exit fn empty_struct_pattern | |
| test.rs:385:29:385:30 | st | test.rs:385:29:385:30 | st | |
| test.rs:385:29:385:30 | st | test.rs:385:29:385:40 | ...: MyStruct | match |
| test.rs:385:29:385:40 | ...: MyStruct | test.rs:386:15:386:16 | st | |
| test.rs:385:50:389:5 | { ... } | test.rs:385:5:389:5 | exit fn empty_struct_pattern (normal) | |
| test.rs:386:9:388:9 | match st { ... } | test.rs:385:50:389:5 | { ... } | |
| test.rs:386:15:386:16 | st | test.rs:387:13:387:27 | MyStruct {...} | |
| test.rs:387:13:387:27 | MyStruct {...} | test.rs:387:24:387:25 | .. | match |
| test.rs:387:24:387:25 | .. | test.rs:387:32:387:32 | 1 | match |
| test.rs:387:32:387:32 | 1 | test.rs:386:9:388:9 | match st { ... } | |
| test.rs:391:5:398:5 | enter fn range_pattern | test.rs:392:15:392:16 | 42 | |
| test.rs:391:5:398:5 | exit fn range_pattern (normal) | test.rs:391:5:398:5 | exit fn range_pattern | |
| test.rs:391:31:398:5 | { ... } | test.rs:391:5:398:5 | exit fn range_pattern (normal) | |
| test.rs:392:9:397:9 | match 42 { ... } | test.rs:391:31:398:5 | { ... } | |
| test.rs:392:15:392:16 | 42 | test.rs:393:13:393:15 | RangePat | |
| test.rs:393:13:393:15 | RangePat | test.rs:393:15:393:15 | 0 | match |
| test.rs:393:13:393:15 | RangePat | test.rs:394:13:394:16 | RangePat | no-match |
| test.rs:393:15:393:15 | 0 | test.rs:393:15:393:15 | 0 | |
| test.rs:393:15:393:15 | 0 | test.rs:393:20:393:20 | 1 | match |
| test.rs:393:15:393:15 | 0 | test.rs:394:13:394:16 | RangePat | no-match |
| test.rs:393:20:393:20 | 1 | test.rs:392:9:397:9 | match 42 { ... } | |
| test.rs:394:13:394:13 | 1 | test.rs:394:13:394:13 | 1 | |
| test.rs:394:13:394:13 | 1 | test.rs:394:16:394:16 | 2 | match |
| test.rs:394:13:394:13 | 1 | test.rs:395:13:395:15 | RangePat | no-match |
| test.rs:394:13:394:16 | RangePat | test.rs:394:13:394:13 | 1 | match |
| test.rs:394:13:394:16 | RangePat | test.rs:395:13:395:15 | RangePat | no-match |
| test.rs:394:16:394:16 | 2 | test.rs:394:16:394:16 | 2 | |
| test.rs:394:16:394:16 | 2 | test.rs:394:21:394:21 | 2 | match |
| test.rs:394:16:394:16 | 2 | test.rs:395:13:395:15 | RangePat | no-match |
| test.rs:394:21:394:21 | 2 | test.rs:392:9:397:9 | match 42 { ... } | |
| test.rs:395:13:395:13 | 5 | test.rs:395:13:395:13 | 5 | |
| test.rs:395:13:395:13 | 5 | test.rs:395:20:395:20 | 3 | match |
| test.rs:395:13:395:13 | 5 | test.rs:396:13:396:13 | _ | no-match |
| test.rs:395:13:395:15 | RangePat | test.rs:395:13:395:13 | 5 | match |
| test.rs:395:13:395:15 | RangePat | test.rs:396:13:396:13 | _ | no-match |
| test.rs:395:20:395:20 | 3 | test.rs:392:9:397:9 | match 42 { ... } | |
| test.rs:396:13:396:13 | _ | test.rs:396:18:396:18 | 4 | match |
| test.rs:396:18:396:18 | 4 | test.rs:392:9:397:9 | match 42 { ... } | |
| test.rs:400:5:405:5 | enter fn identifier_pattern_with_subpattern | test.rs:401:15:401:16 | 43 | |
| test.rs:400:5:405:5 | exit fn identifier_pattern_with_subpattern (normal) | test.rs:400:5:405:5 | exit fn identifier_pattern_with_subpattern | |
| test.rs:400:52:405:5 | { ... } | test.rs:400:5:405:5 | exit fn identifier_pattern_with_subpattern (normal) | |
| test.rs:401:9:404:9 | match 43 { ... } | test.rs:400:52:405:5 | { ... } | |
| test.rs:401:15:401:16 | 43 | test.rs:402:17:402:21 | RangePat | |
| test.rs:402:13:402:13 | n | test.rs:402:13:402:21 | n @ ... | |
| test.rs:402:13:402:21 | n @ ... | test.rs:402:26:402:26 | 2 | match |
| test.rs:402:13:402:21 | n @ ... | test.rs:403:13:403:13 | _ | no-match |
| test.rs:402:17:402:17 | 1 | test.rs:402:17:402:17 | 1 | |
| test.rs:402:17:402:17 | 1 | test.rs:402:20:402:21 | 10 | match |
| test.rs:402:17:402:17 | 1 | test.rs:403:13:403:13 | _ | no-match |
| test.rs:402:17:402:21 | RangePat | test.rs:402:17:402:17 | 1 | match |
| test.rs:402:17:402:21 | RangePat | test.rs:403:13:403:13 | _ | no-match |
| test.rs:402:20:402:21 | 10 | test.rs:402:13:402:13 | n | match |
| test.rs:402:20:402:21 | 10 | test.rs:402:20:402:21 | 10 | |
| test.rs:402:20:402:21 | 10 | test.rs:403:13:403:13 | _ | no-match |
| test.rs:402:26:402:26 | 2 | test.rs:402:30:402:30 | n | |
| test.rs:402:26:402:30 | ... * ... | test.rs:401:9:404:9 | match 43 { ... } | |
| test.rs:402:30:402:30 | n | test.rs:402:26:402:30 | ... * ... | |
| test.rs:403:13:403:13 | _ | test.rs:403:18:403:18 | 0 | match |
| test.rs:403:18:403:18 | 0 | test.rs:401:9:404:9 | match 43 { ... } | |
| test.rs:407:5:414:5 | enter fn identifier_pattern_with_ref | test.rs:408:9:408:23 | let ... = 10 | |
| test.rs:407:5:414:5 | exit fn identifier_pattern_with_ref (normal) | test.rs:407:5:414:5 | exit fn identifier_pattern_with_ref | |
| test.rs:407:45:414:5 | { ... } | test.rs:407:5:414:5 | exit fn identifier_pattern_with_ref (normal) | |
| test.rs:408:9:408:23 | let ... = 10 | test.rs:408:21:408:22 | 10 | |
| test.rs:408:13:408:17 | mut a | test.rs:409:9:412:10 | ExprStmt | match |
| test.rs:408:17:408:17 | a | test.rs:408:13:408:17 | mut a | |
| test.rs:408:21:408:22 | 10 | test.rs:408:17:408:17 | a | |
| test.rs:409:9:412:9 | match a { ... } | test.rs:413:9:413:9 | a | |
| test.rs:409:9:412:10 | ExprStmt | test.rs:409:15:409:15 | a | |
| test.rs:409:15:409:15 | a | test.rs:410:25:410:29 | RangePat | |
| test.rs:410:13:410:29 | ref mut n @ ... | test.rs:410:35:410:35 | n | match |
| test.rs:410:13:410:29 | ref mut n @ ... | test.rs:411:21:411:21 | n | no-match |
| test.rs:410:21:410:21 | n | test.rs:410:13:410:29 | ref mut n @ ... | |
| test.rs:410:25:410:25 | 1 | test.rs:410:25:410:25 | 1 | |
| test.rs:410:25:410:25 | 1 | test.rs:410:28:410:29 | 10 | match |
| test.rs:410:25:410:25 | 1 | test.rs:411:21:411:21 | n | no-match |
| test.rs:410:25:410:29 | RangePat | test.rs:410:25:410:25 | 1 | match |
| test.rs:410:25:410:29 | RangePat | test.rs:411:21:411:21 | n | no-match |
| test.rs:410:28:410:29 | 10 | test.rs:410:21:410:21 | n | match |
| test.rs:410:28:410:29 | 10 | test.rs:410:28:410:29 | 10 | |
| test.rs:410:28:410:29 | 10 | test.rs:411:21:411:21 | n | no-match |
| test.rs:410:34:410:35 | * ... | test.rs:410:40:410:41 | 10 | |
| test.rs:410:34:410:41 | ... += ... | test.rs:409:9:412:9 | match a { ... } | |
| test.rs:410:35:410:35 | n | test.rs:410:34:410:35 | * ... | |
| test.rs:410:40:410:41 | 10 | test.rs:410:34:410:41 | ... += ... | |
| test.rs:411:13:411:21 | ref mut n | test.rs:411:27:411:27 | n | match |
| test.rs:411:21:411:21 | n | test.rs:411:13:411:21 | ref mut n | |
| test.rs:411:26:411:27 | * ... | test.rs:411:31:411:31 | 0 | |
| test.rs:411:26:411:31 | ... = ... | test.rs:409:9:412:9 | match a { ... } | |
| test.rs:411:27:411:27 | n | test.rs:411:26:411:27 | * ... | |
| test.rs:411:31:411:31 | 0 | test.rs:411:26:411:31 | ... = ... | |
| test.rs:413:9:413:9 | a | test.rs:407:45:414:5 | { ... } | |
| test.rs:418:5:423:5 | enter fn test_infinite_loop | test.rs:419:9:421:9 | ExprStmt | |
| test.rs:419:9:421:9 | ExprStmt | test.rs:420:13:420:14 | TupleExpr | |
| test.rs:419:14:421:9 | { ... } | test.rs:420:13:420:14 | TupleExpr | |
| test.rs:420:13:420:14 | TupleExpr | test.rs:419:14:421:9 | { ... } | |
| test.rs:427:5:429:5 | enter fn say_hello | test.rs:428:9:428:34 | ExprStmt | |
| test.rs:427:5:429:5 | exit fn say_hello (normal) | test.rs:427:5:429:5 | exit fn say_hello | |
| test.rs:427:26:429:5 | { ... } | test.rs:427:5:429:5 | exit fn say_hello (normal) | |
| test.rs:428:9:428:33 | ...::_print | test.rs:428:18:428:32 | "hello, world!\\n" | |
| test.rs:428:9:428:33 | MacroExpr | test.rs:427:26:429:5 | { ... } | |
| test.rs:428:9:428:33 | println!... | test.rs:428:9:428:33 | MacroExpr | |
| test.rs:428:9:428:34 | ExprStmt | test.rs:428:18:428:32 | MacroStmts | |
| test.rs:428:18:428:32 | "hello, world!\\n" | test.rs:428:18:428:32 | FormatArgsExpr | |
| test.rs:428:18:428:32 | ...::_print(...) | test.rs:428:18:428:32 | { ... } | |
| test.rs:428:18:428:32 | ...::format_args_nl!... | test.rs:428:18:428:32 | MacroExpr | |
| test.rs:428:18:428:32 | ExprStmt | test.rs:428:9:428:33 | ...::_print | |
| test.rs:428:18:428:32 | FormatArgsExpr | test.rs:428:18:428:32 | ...::format_args_nl!... | |
| test.rs:428:18:428:32 | MacroExpr | test.rs:428:18:428:32 | ...::_print(...) | |
| test.rs:428:18:428:32 | MacroStmts | test.rs:428:18:428:32 | ExprStmt | |
| test.rs:428:18:428:32 | { ... } | test.rs:428:9:428:33 | println!... | |
| test.rs:431:5:450:5 | enter fn async_block | test.rs:431:26:431:26 | b | |
| test.rs:431:5:450:5 | exit fn async_block (normal) | test.rs:431:5:450:5 | exit fn async_block | |
| test.rs:431:26:431:26 | b | test.rs:431:26:431:26 | b | |
| test.rs:431:26:431:26 | b | test.rs:431:26:431:32 | ...: bool | match |
| test.rs:431:26:431:32 | ...: bool | test.rs:432:9:434:10 | let ... = ... | |
| test.rs:431:35:450:5 | { ... } | test.rs:431:5:450:5 | exit fn async_block (normal) | |
| test.rs:432:9:434:10 | let ... = ... | test.rs:432:26:434:9 | { ... } | |
| test.rs:432:13:432:22 | say_godbye | test.rs:432:13:432:22 | say_godbye | |
| test.rs:432:13:432:22 | say_godbye | test.rs:435:9:437:10 | let ... = ... | match |
| test.rs:432:26:434:9 | enter { ... } | test.rs:433:13:433:42 | ExprStmt | |
| test.rs:432:26:434:9 | exit { ... } (normal) | test.rs:432:26:434:9 | exit { ... } | |
| test.rs:432:26:434:9 | { ... } | test.rs:432:13:432:22 | say_godbye | |
| test.rs:433:13:433:41 | ...::_print | test.rs:433:22:433:40 | "godbye, everyone!\\n" | |
| test.rs:433:13:433:41 | MacroExpr | test.rs:432:26:434:9 | exit { ... } (normal) | |
| test.rs:433:13:433:41 | println!... | test.rs:433:13:433:41 | MacroExpr | |
| test.rs:433:13:433:42 | ExprStmt | test.rs:433:22:433:40 | MacroStmts | |
| test.rs:433:22:433:40 | "godbye, everyone!\\n" | test.rs:433:22:433:40 | FormatArgsExpr | |
| test.rs:433:22:433:40 | ...::_print(...) | test.rs:433:22:433:40 | { ... } | |
| test.rs:433:22:433:40 | ...::format_args_nl!... | test.rs:433:22:433:40 | MacroExpr | |
| test.rs:433:22:433:40 | ExprStmt | test.rs:433:13:433:41 | ...::_print | |
| test.rs:433:22:433:40 | FormatArgsExpr | test.rs:433:22:433:40 | ...::format_args_nl!... | |
| test.rs:433:22:433:40 | MacroExpr | test.rs:433:22:433:40 | ...::_print(...) | |
| test.rs:433:22:433:40 | MacroStmts | test.rs:433:22:433:40 | ExprStmt | |
| test.rs:433:22:433:40 | { ... } | test.rs:433:13:433:41 | println!... | |
| test.rs:435:9:437:10 | let ... = ... | test.rs:435:31:437:9 | { ... } | |
| test.rs:435:13:435:27 | say_how_are_you | test.rs:435:13:435:27 | say_how_are_you | |
| test.rs:435:13:435:27 | say_how_are_you | test.rs:438:9:438:28 | let ... = ... | match |
| test.rs:435:31:437:9 | enter { ... } | test.rs:436:13:436:37 | ExprStmt | |
| test.rs:435:31:437:9 | exit { ... } (normal) | test.rs:435:31:437:9 | exit { ... } | |
| test.rs:435:31:437:9 | { ... } | test.rs:435:13:435:27 | say_how_are_you | |
| test.rs:436:13:436:36 | ...::_print | test.rs:436:22:436:35 | "how are you?\\n" | |
| test.rs:436:13:436:36 | MacroExpr | test.rs:435:31:437:9 | exit { ... } (normal) | |
| test.rs:436:13:436:36 | println!... | test.rs:436:13:436:36 | MacroExpr | |
| test.rs:436:13:436:37 | ExprStmt | test.rs:436:22:436:35 | MacroStmts | |
| test.rs:436:22:436:35 | "how are you?\\n" | test.rs:436:22:436:35 | FormatArgsExpr | |
| test.rs:436:22:436:35 | ...::_print(...) | test.rs:436:22:436:35 | { ... } | |
| test.rs:436:22:436:35 | ...::format_args_nl!... | test.rs:436:22:436:35 | MacroExpr | |
| test.rs:436:22:436:35 | ExprStmt | test.rs:436:13:436:36 | ...::_print | |
| test.rs:436:22:436:35 | FormatArgsExpr | test.rs:436:22:436:35 | ...::format_args_nl!... | |
| test.rs:436:22:436:35 | MacroExpr | test.rs:436:22:436:35 | ...::_print(...) | |
| test.rs:436:22:436:35 | MacroStmts | test.rs:436:22:436:35 | ExprStmt | |
| test.rs:436:22:436:35 | { ... } | test.rs:436:13:436:36 | println!... | |
| test.rs:438:9:438:28 | let ... = ... | test.rs:438:20:438:27 | { ... } | |
| test.rs:438:13:438:16 | noop | test.rs:438:13:438:16 | noop | |
| test.rs:438:13:438:16 | noop | test.rs:439:9:439:26 | ExprStmt | match |
| test.rs:438:20:438:27 | { ... } | test.rs:438:13:438:16 | noop | |
| test.rs:439:9:439:17 | say_hello | test.rs:439:9:439:19 | say_hello(...) | |
| test.rs:439:9:439:19 | say_hello(...) | test.rs:439:9:439:25 | await ... | |
| test.rs:439:9:439:25 | await ... | test.rs:440:9:440:30 | ExprStmt | |
| test.rs:439:9:439:26 | ExprStmt | test.rs:439:9:439:17 | say_hello | |
| test.rs:440:9:440:23 | say_how_are_you | test.rs:440:9:440:29 | await say_how_are_you | |
| test.rs:440:9:440:29 | await say_how_are_you | test.rs:441:9:441:25 | ExprStmt | |
| test.rs:440:9:440:30 | ExprStmt | test.rs:440:9:440:23 | say_how_are_you | |
| test.rs:441:9:441:18 | say_godbye | test.rs:441:9:441:24 | await say_godbye | |
| test.rs:441:9:441:24 | await say_godbye | test.rs:442:9:442:19 | ExprStmt | |
| test.rs:441:9:441:25 | ExprStmt | test.rs:441:9:441:18 | say_godbye | |
| test.rs:442:9:442:12 | noop | test.rs:442:9:442:18 | await noop | |
| test.rs:442:9:442:18 | await noop | test.rs:444:9:449:10 | let ... = ... | |
| test.rs:442:9:442:19 | ExprStmt | test.rs:442:9:442:12 | noop | |
| test.rs:444:9:449:10 | let ... = ... | test.rs:444:22:449:9 | \|...\| ... | |
| test.rs:444:13:444:18 | lambda | test.rs:431:35:450:5 | { ... } | match |
| test.rs:444:13:444:18 | lambda | test.rs:444:13:444:18 | lambda | |
| test.rs:444:22:449:9 | \|...\| ... | test.rs:444:13:444:18 | lambda | |
| test.rs:444:22:449:9 | enter \|...\| ... | test.rs:444:23:444:25 | foo | |
| test.rs:444:22:449:9 | exit \|...\| ... (normal) | test.rs:444:22:449:9 | exit \|...\| ... | |
| test.rs:444:23:444:25 | ... | test.rs:444:28:449:9 | { ... } | |
| test.rs:444:23:444:25 | foo | test.rs:444:23:444:25 | ... | match |
| test.rs:444:23:444:25 | foo | test.rs:444:23:444:25 | foo | |
| test.rs:444:28:449:9 | enter { ... } | test.rs:445:13:447:14 | ExprStmt | |
| test.rs:444:28:449:9 | exit { ... } (normal) | test.rs:444:28:449:9 | exit { ... } | |
| test.rs:444:28:449:9 | { ... } | test.rs:444:22:449:9 | exit \|...\| ... (normal) | |
| test.rs:445:13:447:13 | if b {...} | test.rs:448:13:448:15 | foo | |
| test.rs:445:13:447:14 | ExprStmt | test.rs:445:16:445:16 | b | |
| test.rs:445:16:445:16 | b | test.rs:445:13:447:13 | if b {...} | false |
| test.rs:445:16:445:16 | b | test.rs:446:17:446:41 | ExprStmt | true |
| test.rs:446:17:446:40 | return ... | test.rs:444:28:449:9 | exit { ... } (normal) | return |
| test.rs:446:17:446:41 | ExprStmt | test.rs:446:24:446:34 | async_block | |
| test.rs:446:24:446:34 | async_block | test.rs:446:36:446:39 | true | |
| test.rs:446:24:446:40 | async_block(...) | test.rs:446:17:446:40 | return ... | |
| test.rs:446:36:446:39 | true | test.rs:446:24:446:40 | async_block(...) | |
| test.rs:448:13:448:15 | foo | test.rs:444:28:449:9 | exit { ... } (normal) | |
| test.rs:456:5:458:5 | enter fn add_two | test.rs:456:22:456:22 | n | |
| test.rs:456:5:458:5 | exit fn add_two (normal) | test.rs:456:5:458:5 | exit fn add_two | |
| test.rs:456:22:456:22 | n | test.rs:456:22:456:22 | n | |
| test.rs:456:22:456:22 | n | test.rs:456:22:456:27 | ...: i64 | match |
| test.rs:456:22:456:27 | ...: i64 | test.rs:457:9:457:9 | n | |
| test.rs:456:37:458:5 | { ... } | test.rs:456:5:458:5 | exit fn add_two (normal) | |
| test.rs:457:9:457:9 | n | test.rs:457:13:457:13 | 2 | |
| test.rs:457:9:457:13 | ... + ... | test.rs:456:37:458:5 | { ... } | |
| test.rs:457:13:457:13 | 2 | test.rs:457:9:457:13 | ... + ... | |
| test.rs:462:5:470:5 | enter fn const_block_assert | test.rs:465:9:467:9 | ExprStmt | |
| test.rs:462:5:470:5 | exit fn const_block_assert (normal) | test.rs:462:5:470:5 | exit fn const_block_assert | |
| test.rs:462:41:470:5 | { ... } | test.rs:462:5:470:5 | exit fn const_block_assert (normal) | |
| test.rs:465:9:467:9 | ExprStmt | test.rs:466:13:466:50 | ExprStmt | |
| test.rs:465:9:467:9 | { ... } | test.rs:469:9:469:10 | 42 | |
| test.rs:466:13:466:49 | ...::panic_2021!... | test.rs:466:13:466:49 | MacroExpr | |
| test.rs:466:13:466:49 | ...::panic_explicit | test.rs:466:13:466:49 | ...::panic_explicit(...) | |
| test.rs:466:13:466:49 | ...::panic_explicit(...) | test.rs:466:13:466:49 | { ... } | |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:13:466:49 | MacroStmts | |
| test.rs:466:13:466:49 | ExprStmt | test.rs:466:13:466:49 | panic_cold_explicit | |
| test.rs:466:13:466:49 | MacroExpr | test.rs:465:9:467:9 | { ... } | |
| test.rs:466:13:466:49 | MacroExpr | test.rs:466:13:466:49 | { ... } | |
| test.rs:466:13:466:49 | MacroStmts | test.rs:466:13:466:49 | fn panic_cold_explicit | |
| test.rs:466:13:466:49 | assert!... | test.rs:466:13:466:49 | MacroExpr | |
| test.rs:466:13:466:49 | enter fn panic_cold_explicit | test.rs:466:13:466:49 | ...::panic_explicit | |
| test.rs:466:13:466:49 | exit fn panic_cold_explicit (normal) | test.rs:466:13:466:49 | exit fn panic_cold_explicit | |
| test.rs:466:13:466:49 | fn panic_cold_explicit | test.rs:466:13:466:49 | ExprStmt | |
| test.rs:466:13:466:49 | panic_cold_explicit | test.rs:466:13:466:49 | panic_cold_explicit(...) | |
| test.rs:466:13:466:49 | panic_cold_explicit(...) | test.rs:466:13:466:49 | { ... } | |
| test.rs:466:13:466:49 | { ... } | test.rs:466:13:466:49 | ...::panic_2021!... | |
| test.rs:466:13:466:49 | { ... } | test.rs:466:13:466:49 | exit fn panic_cold_explicit (normal) | |
| test.rs:466:13:466:49 | { ... } | test.rs:466:21:466:48 | if ... {...} | |
| test.rs:466:13:466:50 | ExprStmt | test.rs:466:21:466:48 | MacroStmts | |
| test.rs:466:21:466:42 | ...::size_of::<...> | test.rs:466:21:466:44 | ...::size_of::<...>(...) | |
| test.rs:466:21:466:44 | ...::size_of::<...>(...) | test.rs:466:48:466:48 | 0 | |
| test.rs:466:21:466:48 | ... > ... | test.rs:466:21:466:48 | [boolean(false)] ! ... | true |
| test.rs:466:21:466:48 | ... > ... | test.rs:466:21:466:48 | [boolean(true)] ! ... | false |
| test.rs:466:21:466:48 | MacroStmts | test.rs:466:21:466:42 | ...::size_of::<...> | |
| test.rs:466:21:466:48 | [boolean(false)] ! ... | test.rs:466:21:466:48 | if ... {...} | false |
| test.rs:466:21:466:48 | [boolean(true)] ! ... | test.rs:466:13:466:49 | ExprStmt | true |
| test.rs:466:21:466:48 | if ... {...} | test.rs:466:21:466:48 | { ... } | |
| test.rs:466:21:466:48 | { ... } | test.rs:466:13:466:49 | assert!... | |
| test.rs:466:48:466:48 | 0 | test.rs:466:21:466:48 | ... > ... | |
| test.rs:469:9:469:10 | 42 | test.rs:462:41:470:5 | { ... } | |
| test.rs:472:5:481:5 | enter fn const_block_panic | test.rs:473:9:473:30 | Const | |
| test.rs:472:5:481:5 | exit fn const_block_panic (normal) | test.rs:472:5:481:5 | exit fn const_block_panic | |
| test.rs:472:35:481:5 | { ... } | test.rs:472:5:481:5 | exit fn const_block_panic (normal) | |
| test.rs:473:9:473:30 | Const | test.rs:474:9:479:9 | ExprStmt | |
| test.rs:474:9:479:9 | ExprStmt | test.rs:474:12:474:16 | false | |
| test.rs:474:9:479:9 | if false {...} | test.rs:480:9:480:9 | N | |
| test.rs:474:12:474:16 | false | test.rs:474:9:479:9 | if false {...} | false |
| test.rs:477:17:477:24 | ...::panic_explicit | test.rs:477:17:477:24 | ...::panic_explicit(...) | |
| test.rs:477:17:477:24 | ...::panic_explicit(...) | test.rs:477:17:477:24 | { ... } | |
| test.rs:477:17:477:24 | enter fn panic_cold_explicit | test.rs:477:17:477:24 | ...::panic_explicit | |
| test.rs:477:17:477:24 | exit fn panic_cold_explicit (normal) | test.rs:477:17:477:24 | exit fn panic_cold_explicit | |
| test.rs:477:17:477:24 | { ... } | test.rs:477:17:477:24 | exit fn panic_cold_explicit (normal) | |
| test.rs:480:9:480:9 | N | test.rs:472:35:481:5 | { ... } | |
| test.rs:484:1:489:1 | enter fn dead_code | test.rs:485:5:487:5 | ExprStmt | |
| test.rs:484:1:489:1 | exit fn dead_code (normal) | test.rs:484:1:489:1 | exit fn dead_code | |
| test.rs:485:5:487:5 | ExprStmt | test.rs:485:9:485:12 | true | |
| test.rs:485:9:485:12 | true | test.rs:486:9:486:17 | ExprStmt | true |
| test.rs:486:9:486:16 | return 0 | test.rs:484:1:489:1 | exit fn dead_code (normal) | return |
| test.rs:486:9:486:17 | ExprStmt | test.rs:486:16:486:16 | 0 | |
| test.rs:486:16:486:16 | 0 | test.rs:486:9:486:16 | return 0 | |
| test.rs:491:1:491:16 | enter fn do_thing | test.rs:491:15:491:16 | { ... } | |
| test.rs:491:1:491:16 | exit fn do_thing (normal) | test.rs:491:1:491:16 | exit fn do_thing | |
| test.rs:491:15:491:16 | { ... } | test.rs:491:1:491:16 | exit fn do_thing (normal) | |
| test.rs:493:1:495:1 | enter fn condition_not_met | test.rs:494:5:494:9 | false | |
| test.rs:493:1:495:1 | exit fn condition_not_met (normal) | test.rs:493:1:495:1 | exit fn condition_not_met | |
| test.rs:493:32:495:1 | { ... } | test.rs:493:1:495:1 | exit fn condition_not_met (normal) | |
| test.rs:494:5:494:9 | false | test.rs:493:32:495:1 | { ... } | |
| test.rs:497:1:497:21 | enter fn do_next_thing | test.rs:497:20:497:21 | { ... } | |
| test.rs:497:1:497:21 | exit fn do_next_thing (normal) | test.rs:497:1:497:21 | exit fn do_next_thing | |
| test.rs:497:20:497:21 | { ... } | test.rs:497:1:497:21 | exit fn do_next_thing (normal) | |
| test.rs:499:1:499:21 | enter fn do_last_thing | test.rs:499:20:499:21 | { ... } | |
| test.rs:499:1:499:21 | exit fn do_last_thing (normal) | test.rs:499:1:499:21 | exit fn do_last_thing | |
| test.rs:499:20:499:21 | { ... } | test.rs:499:1:499:21 | exit fn do_last_thing (normal) | |
| test.rs:501:1:515:1 | enter fn labelled_block1 | test.rs:502:5:513:6 | let ... = ... | |
| test.rs:501:1:515:1 | exit fn labelled_block1 (normal) | test.rs:501:1:515:1 | exit fn labelled_block1 | |
| test.rs:501:29:515:1 | { ... } | test.rs:501:1:515:1 | exit fn labelled_block1 (normal) | |
| test.rs:502:5:513:6 | let ... = ... | test.rs:503:9:503:19 | ExprStmt | |
| test.rs:502:9:502:14 | result | test.rs:502:9:502:14 | result | |
| test.rs:502:9:502:14 | result | test.rs:514:5:514:10 | result | match |
| test.rs:502:18:513:5 | 'block: { ... } | test.rs:502:9:502:14 | result | |
| test.rs:503:9:503:16 | do_thing | test.rs:503:9:503:18 | do_thing(...) | |
| test.rs:503:9:503:18 | do_thing(...) | test.rs:504:9:506:9 | ExprStmt | |
| test.rs:503:9:503:19 | ExprStmt | test.rs:503:9:503:16 | do_thing | |
| test.rs:504:9:506:9 | ExprStmt | test.rs:504:12:504:28 | condition_not_met | |
| test.rs:504:9:506:9 | if ... {...} | test.rs:507:9:507:24 | ExprStmt | |
| test.rs:504:12:504:28 | condition_not_met | test.rs:504:12:504:30 | condition_not_met(...) | |
| test.rs:504:12:504:30 | condition_not_met(...) | test.rs:504:9:506:9 | if ... {...} | false |
| test.rs:504:12:504:30 | condition_not_met(...) | test.rs:505:13:505:27 | ExprStmt | true |
| test.rs:505:13:505:26 | break ''block 1 | test.rs:502:18:513:5 | 'block: { ... } | break |
| test.rs:505:13:505:27 | ExprStmt | test.rs:505:26:505:26 | 1 | |
| test.rs:505:26:505:26 | 1 | test.rs:505:13:505:26 | break ''block 1 | |
| test.rs:507:9:507:21 | do_next_thing | test.rs:507:9:507:23 | do_next_thing(...) | |
| test.rs:507:9:507:23 | do_next_thing(...) | test.rs:508:9:510:9 | ExprStmt | |
| test.rs:507:9:507:24 | ExprStmt | test.rs:507:9:507:21 | do_next_thing | |
| test.rs:508:9:510:9 | ExprStmt | test.rs:508:12:508:28 | condition_not_met | |
| test.rs:508:9:510:9 | if ... {...} | test.rs:511:9:511:24 | ExprStmt | |
| test.rs:508:12:508:28 | condition_not_met | test.rs:508:12:508:30 | condition_not_met(...) | |
| test.rs:508:12:508:30 | condition_not_met(...) | test.rs:508:9:510:9 | if ... {...} | false |
| test.rs:508:12:508:30 | condition_not_met(...) | test.rs:509:13:509:27 | ExprStmt | true |
| test.rs:509:13:509:26 | break ''block 2 | test.rs:502:18:513:5 | 'block: { ... } | break |
| test.rs:509:13:509:27 | ExprStmt | test.rs:509:26:509:26 | 2 | |
| test.rs:509:26:509:26 | 2 | test.rs:509:13:509:26 | break ''block 2 | |
| test.rs:511:9:511:21 | do_last_thing | test.rs:511:9:511:23 | do_last_thing(...) | |
| test.rs:511:9:511:23 | do_last_thing(...) | test.rs:512:9:512:9 | 3 | |
| test.rs:511:9:511:24 | ExprStmt | test.rs:511:9:511:21 | do_last_thing | |
| test.rs:512:9:512:9 | 3 | test.rs:502:18:513:5 | 'block: { ... } | |
| test.rs:514:5:514:10 | result | test.rs:501:29:515:1 | { ... } | |
| test.rs:517:1:525:1 | enter fn labelled_block2 | test.rs:518:5:524:6 | let ... = ... | |
| test.rs:517:1:525:1 | exit fn labelled_block2 (normal) | test.rs:517:1:525:1 | exit fn labelled_block2 | |
| test.rs:517:22:525:1 | { ... } | test.rs:517:1:525:1 | exit fn labelled_block2 (normal) | |
| test.rs:518:5:524:6 | let ... = ... | test.rs:519:9:519:34 | let ... = None | |
| test.rs:518:9:518:14 | result | test.rs:517:22:525:1 | { ... } | match |
| test.rs:518:9:518:14 | result | test.rs:518:9:518:14 | result | |
| test.rs:518:18:524:5 | 'block: { ... } | test.rs:518:9:518:14 | result | |
| test.rs:519:9:519:34 | let ... = None | test.rs:519:30:519:33 | None | |
| test.rs:519:13:519:13 | x | test.rs:519:13:519:13 | x | |
| test.rs:519:13:519:13 | x | test.rs:520:9:522:10 | let ... = x else {...} | match |
| test.rs:519:30:519:33 | None | test.rs:519:13:519:13 | x | |
| test.rs:520:9:522:10 | let ... = x else {...} | test.rs:520:23:520:23 | x | |
| test.rs:520:13:520:19 | Some(...) | test.rs:520:18:520:18 | y | match |
| test.rs:520:13:520:19 | Some(...) | test.rs:521:13:521:27 | ExprStmt | no-match |
| test.rs:520:18:520:18 | y | test.rs:520:18:520:18 | y | |
| test.rs:520:18:520:18 | y | test.rs:523:9:523:9 | 0 | match |
| test.rs:520:23:520:23 | x | test.rs:520:13:520:19 | Some(...) | |
| test.rs:521:13:521:26 | break ''block 1 | test.rs:518:18:524:5 | 'block: { ... } | break |
| test.rs:521:13:521:27 | ExprStmt | test.rs:521:26:521:26 | 1 | |
| test.rs:521:26:521:26 | 1 | test.rs:521:13:521:26 | break ''block 1 | |
| test.rs:523:9:523:9 | 0 | test.rs:518:18:524:5 | 'block: { ... } | |
| test.rs:527:1:533:1 | enter fn test_nested_function2 | test.rs:528:5:528:18 | let ... = 0 | |
| test.rs:527:1:533:1 | exit fn test_nested_function2 (normal) | test.rs:527:1:533:1 | exit fn test_nested_function2 | |
| test.rs:527:28:533:1 | { ... } | test.rs:527:1:533:1 | exit fn test_nested_function2 (normal) | |
| test.rs:528:5:528:18 | let ... = 0 | test.rs:528:17:528:17 | 0 | |
| test.rs:528:9:528:13 | mut x | test.rs:529:5:531:5 | fn nested | match |
| test.rs:528:13:528:13 | x | test.rs:528:9:528:13 | mut x | |
| test.rs:528:17:528:17 | 0 | test.rs:528:13:528:13 | x | |
| test.rs:529:5:531:5 | enter fn nested | test.rs:529:15:529:15 | x | |
| test.rs:529:5:531:5 | exit fn nested (normal) | test.rs:529:5:531:5 | exit fn nested | |
| test.rs:529:5:531:5 | fn nested | test.rs:532:5:532:19 | ExprStmt | |
| test.rs:529:15:529:15 | x | test.rs:529:15:529:15 | x | |
| test.rs:529:15:529:15 | x | test.rs:529:15:529:25 | ...: ... | match |
| test.rs:529:15:529:25 | ...: ... | test.rs:530:9:530:16 | ExprStmt | |
| test.rs:529:28:531:5 | { ... } | test.rs:529:5:531:5 | exit fn nested (normal) | |
| test.rs:530:9:530:10 | * ... | test.rs:530:15:530:15 | 1 | |
| test.rs:530:9:530:15 | ... += ... | test.rs:529:28:531:5 | { ... } | |
| test.rs:530:9:530:16 | ExprStmt | test.rs:530:10:530:10 | x | |
| test.rs:530:10:530:10 | x | test.rs:530:9:530:10 | * ... | |
| test.rs:530:15:530:15 | 1 | test.rs:530:9:530:15 | ... += ... | |
| test.rs:532:5:532:10 | nested | test.rs:532:17:532:17 | x | |
| test.rs:532:5:532:18 | nested(...) | test.rs:527:28:533:1 | { ... } | |
| test.rs:532:5:532:19 | ExprStmt | test.rs:532:5:532:10 | nested | |
| test.rs:532:12:532:17 | &mut x | test.rs:532:5:532:18 | nested(...) | |
| test.rs:532:17:532:17 | x | test.rs:532:12:532:17 | &mut x | |
| test.rs:544:5:546:5 | enter fn new | test.rs:544:12:544:12 | a | |
| test.rs:544:5:546:5 | exit fn new (normal) | test.rs:544:5:546:5 | exit fn new | |
| test.rs:544:12:544:12 | a | test.rs:544:12:544:12 | a | |
| test.rs:544:12:544:12 | a | test.rs:544:12:544:17 | ...: i64 | match |
| test.rs:544:12:544:17 | ...: i64 | test.rs:545:23:545:23 | a | |
| test.rs:544:28:546:5 | { ... } | test.rs:544:5:546:5 | exit fn new (normal) | |
| test.rs:545:9:545:25 | MyNumber {...} | test.rs:544:28:546:5 | { ... } | |
| test.rs:545:23:545:23 | a | test.rs:545:9:545:25 | MyNumber {...} | |
| test.rs:548:5:550:5 | enter fn negated | test.rs:548:16:548:19 | self | |
| test.rs:548:5:550:5 | exit fn negated (normal) | test.rs:548:5:550:5 | exit fn negated | |
| test.rs:548:16:548:19 | SelfParam | test.rs:549:23:549:26 | self | |
| test.rs:548:16:548:19 | self | test.rs:548:16:548:19 | SelfParam | |
| test.rs:548:30:550:5 | { ... } | test.rs:548:5:550:5 | exit fn negated (normal) | |
| test.rs:549:9:549:30 | MyNumber {...} | test.rs:548:30:550:5 | { ... } | |
| test.rs:549:23:549:26 | self | test.rs:549:23:549:28 | self.n | |
| test.rs:549:23:549:28 | self.n | test.rs:549:9:549:30 | MyNumber {...} | |
| test.rs:552:5:554:5 | enter fn multifly_add | test.rs:552:26:552:29 | self | |
| test.rs:552:5:554:5 | exit fn multifly_add (normal) | test.rs:552:5:554:5 | exit fn multifly_add | |
| test.rs:552:21:552:29 | SelfParam | test.rs:552:32:552:32 | a | |
| test.rs:552:26:552:29 | self | test.rs:552:21:552:29 | SelfParam | |
| test.rs:552:32:552:32 | a | test.rs:552:32:552:32 | a | |
| test.rs:552:32:552:32 | a | test.rs:552:32:552:37 | ...: i64 | match |
| test.rs:552:32:552:37 | ...: i64 | test.rs:552:40:552:40 | b | |
| test.rs:552:40:552:40 | b | test.rs:552:40:552:40 | b | |
| test.rs:552:40:552:40 | b | test.rs:552:40:552:45 | ...: i64 | match |
| test.rs:552:40:552:45 | ...: i64 | test.rs:553:9:553:34 | ExprStmt | |
| test.rs:552:48:554:5 | { ... } | test.rs:552:5:554:5 | exit fn multifly_add (normal) | |
| test.rs:553:9:553:12 | self | test.rs:553:9:553:14 | self.n | |
| test.rs:553:9:553:14 | self.n | test.rs:553:19:553:22 | self | |
| test.rs:553:9:553:33 | ... = ... | test.rs:552:48:554:5 | { ... } | |
| test.rs:553:9:553:34 | ExprStmt | test.rs:553:9:553:12 | self | |
| test.rs:553:18:553:33 | ... + ... | test.rs:553:9:553:33 | ... = ... | |
| test.rs:553:19:553:22 | self | test.rs:553:19:553:24 | self.n | |
| test.rs:553:19:553:24 | self.n | test.rs:553:28:553:28 | a | |
| test.rs:553:19:553:28 | ... * ... | test.rs:553:33:553:33 | b | |
| test.rs:553:28:553:28 | a | test.rs:553:19:553:28 | ... * ... | |
| test.rs:553:33:553:33 | b | test.rs:553:18:553:33 | ... + ... | |
| test.rs:387:5:391:5 | enter fn empty_struct_pattern | test.rs:387:29:387:30 | st | |
| test.rs:387:5:391:5 | exit fn empty_struct_pattern (normal) | test.rs:387:5:391:5 | exit fn empty_struct_pattern | |
| test.rs:387:29:387:30 | st | test.rs:387:29:387:30 | st | |
| test.rs:387:29:387:30 | st | test.rs:387:29:387:40 | ...: MyStruct | match |
| test.rs:387:29:387:40 | ...: MyStruct | test.rs:388:15:388:16 | st | |
| test.rs:387:50:391:5 | { ... } | test.rs:387:5:391:5 | exit fn empty_struct_pattern (normal) | |
| test.rs:388:9:390:9 | match st { ... } | test.rs:387:50:391:5 | { ... } | |
| test.rs:388:15:388:16 | st | test.rs:389:13:389:27 | MyStruct {...} | |
| test.rs:389:13:389:27 | MyStruct {...} | test.rs:389:24:389:25 | .. | match |
| test.rs:389:24:389:25 | .. | test.rs:389:32:389:32 | 1 | match |
| test.rs:389:32:389:32 | 1 | test.rs:388:9:390:9 | match st { ... } | |
| test.rs:393:5:398:5 | enter fn struct_pattern | test.rs:393:23:393:24 | st | |
| test.rs:393:5:398:5 | exit fn struct_pattern (normal) | test.rs:393:5:398:5 | exit fn struct_pattern | |
| test.rs:393:23:393:24 | st | test.rs:393:23:393:24 | st | |
| test.rs:393:23:393:24 | st | test.rs:393:23:393:34 | ...: MyStruct | match |
| test.rs:393:23:393:34 | ...: MyStruct | test.rs:394:15:394:16 | st | |
| test.rs:393:44:398:5 | { ... } | test.rs:393:5:398:5 | exit fn struct_pattern (normal) | |
| test.rs:394:9:397:9 | match st { ... } | test.rs:393:44:398:5 | { ... } | |
| test.rs:394:15:394:16 | st | test.rs:395:13:395:29 | MyStruct {...} | |
| test.rs:395:13:395:29 | MyStruct {...} | test.rs:395:27:395:27 | 1 | match |
| test.rs:395:13:395:29 | MyStruct {...} | test.rs:396:13:396:26 | MyStruct {...} | no-match |
| test.rs:395:27:395:27 | 1 | test.rs:395:27:395:27 | 1 | |
| test.rs:395:27:395:27 | 1 | test.rs:395:34:395:34 | 0 | match |
| test.rs:395:27:395:27 | 1 | test.rs:396:13:396:26 | MyStruct {...} | no-match |
| test.rs:395:34:395:34 | 0 | test.rs:394:9:397:9 | match st { ... } | |
| test.rs:396:13:396:26 | MyStruct {...} | test.rs:396:24:396:24 | x | match |
| test.rs:396:24:396:24 | x | test.rs:396:24:396:24 | x | |
| test.rs:396:24:396:24 | x | test.rs:396:31:396:31 | 3 | match |
| test.rs:396:31:396:31 | 3 | test.rs:394:9:397:9 | match st { ... } | |
| test.rs:400:5:407:5 | enter fn range_pattern | test.rs:401:15:401:16 | 42 | |
| test.rs:400:5:407:5 | exit fn range_pattern (normal) | test.rs:400:5:407:5 | exit fn range_pattern | |
| test.rs:400:31:407:5 | { ... } | test.rs:400:5:407:5 | exit fn range_pattern (normal) | |
| test.rs:401:9:406:9 | match 42 { ... } | test.rs:400:31:407:5 | { ... } | |
| test.rs:401:15:401:16 | 42 | test.rs:402:13:402:15 | RangePat | |
| test.rs:402:13:402:15 | RangePat | test.rs:402:15:402:15 | 0 | match |
| test.rs:402:13:402:15 | RangePat | test.rs:403:13:403:16 | RangePat | no-match |
| test.rs:402:15:402:15 | 0 | test.rs:402:15:402:15 | 0 | |
| test.rs:402:15:402:15 | 0 | test.rs:402:20:402:20 | 1 | match |
| test.rs:402:15:402:15 | 0 | test.rs:403:13:403:16 | RangePat | no-match |
| test.rs:402:20:402:20 | 1 | test.rs:401:9:406:9 | match 42 { ... } | |
| test.rs:403:13:403:13 | 1 | test.rs:403:13:403:13 | 1 | |
| test.rs:403:13:403:13 | 1 | test.rs:403:16:403:16 | 2 | match |
| test.rs:403:13:403:13 | 1 | test.rs:404:13:404:15 | RangePat | no-match |
| test.rs:403:13:403:16 | RangePat | test.rs:403:13:403:13 | 1 | match |
| test.rs:403:13:403:16 | RangePat | test.rs:404:13:404:15 | RangePat | no-match |
| test.rs:403:16:403:16 | 2 | test.rs:403:16:403:16 | 2 | |
| test.rs:403:16:403:16 | 2 | test.rs:403:21:403:21 | 2 | match |
| test.rs:403:16:403:16 | 2 | test.rs:404:13:404:15 | RangePat | no-match |
| test.rs:403:21:403:21 | 2 | test.rs:401:9:406:9 | match 42 { ... } | |
| test.rs:404:13:404:13 | 5 | test.rs:404:13:404:13 | 5 | |
| test.rs:404:13:404:13 | 5 | test.rs:404:20:404:20 | 3 | match |
| test.rs:404:13:404:13 | 5 | test.rs:405:13:405:13 | _ | no-match |
| test.rs:404:13:404:15 | RangePat | test.rs:404:13:404:13 | 5 | match |
| test.rs:404:13:404:15 | RangePat | test.rs:405:13:405:13 | _ | no-match |
| test.rs:404:20:404:20 | 3 | test.rs:401:9:406:9 | match 42 { ... } | |
| test.rs:405:13:405:13 | _ | test.rs:405:18:405:18 | 4 | match |
| test.rs:405:18:405:18 | 4 | test.rs:401:9:406:9 | match 42 { ... } | |
| test.rs:409:5:414:5 | enter fn identifier_pattern_with_subpattern | test.rs:410:15:410:16 | 43 | |
| test.rs:409:5:414:5 | exit fn identifier_pattern_with_subpattern (normal) | test.rs:409:5:414:5 | exit fn identifier_pattern_with_subpattern | |
| test.rs:409:52:414:5 | { ... } | test.rs:409:5:414:5 | exit fn identifier_pattern_with_subpattern (normal) | |
| test.rs:410:9:413:9 | match 43 { ... } | test.rs:409:52:414:5 | { ... } | |
| test.rs:410:15:410:16 | 43 | test.rs:411:17:411:21 | RangePat | |
| test.rs:411:13:411:13 | n | test.rs:411:13:411:21 | n @ ... | |
| test.rs:411:13:411:21 | n @ ... | test.rs:411:26:411:26 | 2 | match |
| test.rs:411:13:411:21 | n @ ... | test.rs:412:13:412:13 | _ | no-match |
| test.rs:411:17:411:17 | 1 | test.rs:411:17:411:17 | 1 | |
| test.rs:411:17:411:17 | 1 | test.rs:411:20:411:21 | 10 | match |
| test.rs:411:17:411:17 | 1 | test.rs:412:13:412:13 | _ | no-match |
| test.rs:411:17:411:21 | RangePat | test.rs:411:17:411:17 | 1 | match |
| test.rs:411:17:411:21 | RangePat | test.rs:412:13:412:13 | _ | no-match |
| test.rs:411:20:411:21 | 10 | test.rs:411:13:411:13 | n | match |
| test.rs:411:20:411:21 | 10 | test.rs:411:20:411:21 | 10 | |
| test.rs:411:20:411:21 | 10 | test.rs:412:13:412:13 | _ | no-match |
| test.rs:411:26:411:26 | 2 | test.rs:411:30:411:30 | n | |
| test.rs:411:26:411:30 | ... * ... | test.rs:410:9:413:9 | match 43 { ... } | |
| test.rs:411:30:411:30 | n | test.rs:411:26:411:30 | ... * ... | |
| test.rs:412:13:412:13 | _ | test.rs:412:18:412:18 | 0 | match |
| test.rs:412:18:412:18 | 0 | test.rs:410:9:413:9 | match 43 { ... } | |
| test.rs:416:5:423:5 | enter fn identifier_pattern_with_ref | test.rs:417:9:417:23 | let ... = 10 | |
| test.rs:416:5:423:5 | exit fn identifier_pattern_with_ref (normal) | test.rs:416:5:423:5 | exit fn identifier_pattern_with_ref | |
| test.rs:416:45:423:5 | { ... } | test.rs:416:5:423:5 | exit fn identifier_pattern_with_ref (normal) | |
| test.rs:417:9:417:23 | let ... = 10 | test.rs:417:21:417:22 | 10 | |
| test.rs:417:13:417:17 | mut a | test.rs:418:9:421:10 | ExprStmt | match |
| test.rs:417:17:417:17 | a | test.rs:417:13:417:17 | mut a | |
| test.rs:417:21:417:22 | 10 | test.rs:417:17:417:17 | a | |
| test.rs:418:9:421:9 | match a { ... } | test.rs:422:9:422:9 | a | |
| test.rs:418:9:421:10 | ExprStmt | test.rs:418:15:418:15 | a | |
| test.rs:418:15:418:15 | a | test.rs:419:25:419:29 | RangePat | |
| test.rs:419:13:419:29 | ref mut n @ ... | test.rs:419:35:419:35 | n | match |
| test.rs:419:13:419:29 | ref mut n @ ... | test.rs:420:21:420:21 | n | no-match |
| test.rs:419:21:419:21 | n | test.rs:419:13:419:29 | ref mut n @ ... | |
| test.rs:419:25:419:25 | 1 | test.rs:419:25:419:25 | 1 | |
| test.rs:419:25:419:25 | 1 | test.rs:419:28:419:29 | 10 | match |
| test.rs:419:25:419:25 | 1 | test.rs:420:21:420:21 | n | no-match |
| test.rs:419:25:419:29 | RangePat | test.rs:419:25:419:25 | 1 | match |
| test.rs:419:25:419:29 | RangePat | test.rs:420:21:420:21 | n | no-match |
| test.rs:419:28:419:29 | 10 | test.rs:419:21:419:21 | n | match |
| test.rs:419:28:419:29 | 10 | test.rs:419:28:419:29 | 10 | |
| test.rs:419:28:419:29 | 10 | test.rs:420:21:420:21 | n | no-match |
| test.rs:419:34:419:35 | * ... | test.rs:419:40:419:41 | 10 | |
| test.rs:419:34:419:41 | ... += ... | test.rs:418:9:421:9 | match a { ... } | |
| test.rs:419:35:419:35 | n | test.rs:419:34:419:35 | * ... | |
| test.rs:419:40:419:41 | 10 | test.rs:419:34:419:41 | ... += ... | |
| test.rs:420:13:420:21 | ref mut n | test.rs:420:27:420:27 | n | match |
| test.rs:420:21:420:21 | n | test.rs:420:13:420:21 | ref mut n | |
| test.rs:420:26:420:27 | * ... | test.rs:420:31:420:31 | 0 | |
| test.rs:420:26:420:31 | ... = ... | test.rs:418:9:421:9 | match a { ... } | |
| test.rs:420:27:420:27 | n | test.rs:420:26:420:27 | * ... | |
| test.rs:420:31:420:31 | 0 | test.rs:420:26:420:31 | ... = ... | |
| test.rs:422:9:422:9 | a | test.rs:416:45:423:5 | { ... } | |
| test.rs:425:5:431:5 | enter fn tuple_pattern | test.rs:425:22:425:22 | a | |
| test.rs:425:5:431:5 | exit fn tuple_pattern (normal) | test.rs:425:5:431:5 | exit fn tuple_pattern | |
| test.rs:425:22:425:22 | a | test.rs:425:22:425:22 | a | |
| test.rs:425:22:425:22 | a | test.rs:425:22:425:27 | ...: i64 | match |
| test.rs:425:22:425:27 | ...: i64 | test.rs:425:30:425:30 | b | |
| test.rs:425:30:425:30 | b | test.rs:425:30:425:30 | b | |
| test.rs:425:30:425:30 | b | test.rs:425:30:425:35 | ...: i64 | match |
| test.rs:425:30:425:35 | ...: i64 | test.rs:426:16:426:16 | a | |
| test.rs:425:45:431:5 | { ... } | test.rs:425:5:431:5 | exit fn tuple_pattern (normal) | |
| test.rs:426:9:430:9 | match ... { ... } | test.rs:425:45:431:5 | { ... } | |
| test.rs:426:15:426:20 | TupleExpr | test.rs:427:13:427:18 | TuplePat | |
| test.rs:426:16:426:16 | a | test.rs:426:19:426:19 | b | |
| test.rs:426:19:426:19 | b | test.rs:426:15:426:20 | TupleExpr | |
| test.rs:427:13:427:18 | TuplePat | test.rs:427:14:427:14 | 1 | match |
| test.rs:427:13:427:18 | TuplePat | test.rs:428:13:428:19 | TuplePat | no-match |
| test.rs:427:14:427:14 | 1 | test.rs:427:14:427:14 | 1 | |
| test.rs:427:14:427:14 | 1 | test.rs:427:17:427:17 | _ | match |
| test.rs:427:14:427:14 | 1 | test.rs:428:13:428:19 | TuplePat | no-match |
| test.rs:427:17:427:17 | _ | test.rs:427:23:427:23 | 2 | match |
| test.rs:427:23:427:23 | 2 | test.rs:426:9:430:9 | match ... { ... } | |
| test.rs:428:13:428:19 | TuplePat | test.rs:428:14:428:15 | .. | match |
| test.rs:428:13:428:19 | TuplePat | test.rs:429:13:429:16 | TuplePat | no-match |
| test.rs:428:14:428:15 | .. | test.rs:428:18:428:18 | 2 | match |
| test.rs:428:18:428:18 | 2 | test.rs:428:18:428:18 | 2 | |
| test.rs:428:18:428:18 | 2 | test.rs:428:24:428:24 | 3 | match |
| test.rs:428:18:428:18 | 2 | test.rs:429:13:429:16 | TuplePat | no-match |
| test.rs:428:24:428:24 | 3 | test.rs:426:9:430:9 | match ... { ... } | |
| test.rs:429:13:429:16 | TuplePat | test.rs:429:14:429:15 | .. | match |
| test.rs:429:14:429:15 | .. | test.rs:429:21:429:21 | 4 | match |
| test.rs:429:21:429:21 | 4 | test.rs:426:9:430:9 | match ... { ... } | |
| test.rs:433:5:438:5 | enter fn or_pattern | test.rs:433:19:433:19 | a | |
| test.rs:433:5:438:5 | exit fn or_pattern (normal) | test.rs:433:5:438:5 | exit fn or_pattern | |
| test.rs:433:19:433:19 | a | test.rs:433:19:433:19 | a | |
| test.rs:433:19:433:19 | a | test.rs:433:19:433:24 | ...: i64 | match |
| test.rs:433:19:433:24 | ...: i64 | test.rs:434:15:434:15 | a | |
| test.rs:433:34:438:5 | { ... } | test.rs:433:5:438:5 | exit fn or_pattern (normal) | |
| test.rs:434:9:437:9 | match a { ... } | test.rs:433:34:438:5 | { ... } | |
| test.rs:434:15:434:15 | a | test.rs:435:13:435:13 | 0 | |
| test.rs:435:13:435:13 | 0 | test.rs:435:13:435:13 | 0 | |
| test.rs:435:13:435:13 | 0 | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | match |
| test.rs:435:13:435:13 | 0 | test.rs:435:17:435:17 | 1 | no-match |
| test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | test.rs:436:13:436:13 | _ | no-match |
| test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | test.rs:435:26:435:26 | 3 | match |
| test.rs:435:17:435:17 | 1 | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | match |
| test.rs:435:17:435:17 | 1 | test.rs:435:17:435:17 | 1 | |
| test.rs:435:17:435:17 | 1 | test.rs:435:21:435:21 | 2 | no-match |
| test.rs:435:21:435:21 | 2 | test.rs:435:13:435:21 | [match(false)] 0 \| 1 \| 2 | no-match |
| test.rs:435:21:435:21 | 2 | test.rs:435:13:435:21 | [match(true)] 0 \| 1 \| 2 | match |
| test.rs:435:21:435:21 | 2 | test.rs:435:21:435:21 | 2 | |
| test.rs:435:26:435:26 | 3 | test.rs:434:9:437:9 | match a { ... } | |
| test.rs:436:13:436:13 | _ | test.rs:436:18:436:18 | 4 | match |
| test.rs:436:18:436:18 | 4 | test.rs:434:9:437:9 | match a { ... } | |
| test.rs:440:5:445:5 | enter fn or_pattern_2 | test.rs:440:21:440:21 | a | |
| test.rs:440:5:445:5 | exit fn or_pattern_2 (normal) | test.rs:440:5:445:5 | exit fn or_pattern_2 | |
| test.rs:440:21:440:21 | a | test.rs:440:21:440:21 | a | |
| test.rs:440:21:440:21 | a | test.rs:440:21:440:35 | ...: Option::<...> | match |
| test.rs:440:21:440:35 | ...: Option::<...> | test.rs:441:15:441:15 | a | |
| test.rs:440:45:445:5 | { ... } | test.rs:440:5:445:5 | exit fn or_pattern_2 (normal) | |
| test.rs:441:9:444:9 | match a { ... } | test.rs:440:45:445:5 | { ... } | |
| test.rs:441:15:441:15 | a | test.rs:442:13:442:16 | None | |
| test.rs:442:13:442:16 | None | test.rs:442:13:442:16 | None | |
| test.rs:442:13:442:16 | None | test.rs:442:21:442:21 | 3 | match |
| test.rs:442:13:442:16 | None | test.rs:443:13:443:22 | Some(...) | no-match |
| test.rs:442:21:442:21 | 3 | test.rs:441:9:444:9 | match a { ... } | |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:18:443:21 | true | match |
| test.rs:443:13:443:22 | Some(...) | test.rs:443:26:443:36 | Some(...) | no-match |
| test.rs:443:13:443:36 | [match(true)] ... \| ... | test.rs:443:41:443:41 | 4 | match |
| test.rs:443:18:443:21 | true | test.rs:443:13:443:36 | [match(true)] ... \| ... | match |
| test.rs:443:18:443:21 | true | test.rs:443:18:443:21 | true | |
| test.rs:443:18:443:21 | true | test.rs:443:26:443:36 | Some(...) | no-match |
| test.rs:443:26:443:36 | Some(...) | test.rs:443:31:443:35 | false | match |
| test.rs:443:31:443:35 | false | test.rs:443:13:443:36 | [match(true)] ... \| ... | match |
| test.rs:443:31:443:35 | false | test.rs:443:31:443:35 | false | |
| test.rs:443:41:443:41 | 4 | test.rs:441:9:444:9 | match a { ... } | |
| test.rs:453:5:458:5 | enter fn or_pattern_3 | test.rs:453:21:453:21 | a | |
| test.rs:453:5:458:5 | exit fn or_pattern_3 (normal) | test.rs:453:5:458:5 | exit fn or_pattern_3 | |
| test.rs:453:21:453:21 | a | test.rs:453:21:453:21 | a | |
| test.rs:453:21:453:21 | a | test.rs:453:21:453:26 | ...: i64 | match |
| test.rs:453:21:453:26 | ...: i64 | test.rs:454:15:454:15 | a | |
| test.rs:453:36:458:5 | { ... } | test.rs:453:5:458:5 | exit fn or_pattern_3 (normal) | |
| test.rs:454:9:457:9 | match a { ... } | test.rs:453:36:458:5 | { ... } | |
| test.rs:454:15:454:15 | a | test.rs:455:13:455:25 | MacroPat | |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 1 | |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | 2 | no-match |
| test.rs:455:13:455:25 | 1 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | 2 | |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(false)] 1 \| 2 | no-match |
| test.rs:455:13:455:25 | 2 | test.rs:455:13:455:25 | [match(true)] 1 \| 2 | match |
| test.rs:455:13:455:25 | MacroPat | test.rs:455:13:455:25 | 1 | match |
| test.rs:455:13:455:25 | MacroPat | test.rs:456:13:456:13 | _ | no-match |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:455:13:455:25 | one_or_two!... | no-match |
| test.rs:455:13:455:25 | [match(false)] 1 \| 2 | test.rs:456:13:456:13 | _ | no-match |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:13:455:25 | one_or_two!... | match |
| test.rs:455:13:455:25 | [match(true)] 1 \| 2 | test.rs:455:30:455:30 | 3 | match |
| test.rs:455:30:455:30 | 3 | test.rs:454:9:457:9 | match a { ... } | |
| test.rs:456:13:456:13 | _ | test.rs:456:18:456:18 | 4 | match |
| test.rs:456:18:456:18 | 4 | test.rs:454:9:457:9 | match a { ... } | |
| test.rs:460:5:465:5 | enter fn irrefutable_pattern_and_dead_code | test.rs:460:42:460:45 | pair | |
| test.rs:460:5:465:5 | exit fn irrefutable_pattern_and_dead_code (normal) | test.rs:460:5:465:5 | exit fn irrefutable_pattern_and_dead_code | |
| test.rs:460:42:460:45 | pair | test.rs:460:42:460:45 | pair | |
| test.rs:460:42:460:45 | pair | test.rs:460:42:460:63 | ...: ... | match |
| test.rs:460:42:460:63 | ...: ... | test.rs:461:15:461:18 | pair | |
| test.rs:460:73:465:5 | { ... } | test.rs:460:5:465:5 | exit fn irrefutable_pattern_and_dead_code (normal) | |
| test.rs:461:9:464:9 | match pair { ... } | test.rs:460:73:465:5 | { ... } | |
| test.rs:461:15:461:18 | pair | test.rs:462:13:462:35 | &... | |
| test.rs:462:13:462:35 | &... | test.rs:462:14:462:35 | TuplePat | match |
| test.rs:462:13:462:35 | &... | test.rs:463:13:463:13 | _ | no-match |
| test.rs:462:14:462:35 | TuplePat | test.rs:462:15:462:15 | n | match |
| test.rs:462:14:462:35 | TuplePat | test.rs:463:13:463:13 | _ | no-match |
| test.rs:462:15:462:15 | n | test.rs:462:15:462:15 | n | |
| test.rs:462:15:462:15 | n | test.rs:462:18:462:34 | MyStruct {...} | match |
| test.rs:462:18:462:34 | MyStruct {...} | test.rs:462:32:462:32 | _ | match |
| test.rs:462:18:462:34 | MyStruct {...} | test.rs:463:13:463:13 | _ | no-match |
| test.rs:462:32:462:32 | _ | test.rs:462:40:462:40 | n | match |
| test.rs:462:40:462:40 | n | test.rs:461:9:464:9 | match pair { ... } | |
| test.rs:463:13:463:13 | _ | test.rs:463:18:463:18 | 0 | match |
| test.rs:463:18:463:18 | 0 | test.rs:461:9:464:9 | match pair { ... } | |
| test.rs:469:5:474:5 | enter fn test_infinite_loop | test.rs:470:9:472:9 | ExprStmt | |
| test.rs:470:9:472:9 | ExprStmt | test.rs:471:13:471:14 | TupleExpr | |
| test.rs:470:14:472:9 | { ... } | test.rs:471:13:471:14 | TupleExpr | |
| test.rs:471:13:471:14 | TupleExpr | test.rs:470:14:472:9 | { ... } | |
| test.rs:478:5:480:5 | enter fn say_hello | test.rs:479:9:479:34 | ExprStmt | |
| test.rs:478:5:480:5 | exit fn say_hello (normal) | test.rs:478:5:480:5 | exit fn say_hello | |
| test.rs:478:26:480:5 | { ... } | test.rs:478:5:480:5 | exit fn say_hello (normal) | |
| test.rs:479:9:479:33 | ...::_print | test.rs:479:18:479:32 | "hello, world!\\n" | |
| test.rs:479:9:479:33 | MacroExpr | test.rs:478:26:480:5 | { ... } | |
| test.rs:479:9:479:33 | println!... | test.rs:479:9:479:33 | MacroExpr | |
| test.rs:479:9:479:34 | ExprStmt | test.rs:479:18:479:32 | MacroStmts | |
| test.rs:479:18:479:32 | "hello, world!\\n" | test.rs:479:18:479:32 | FormatArgsExpr | |
| test.rs:479:18:479:32 | ...::_print(...) | test.rs:479:18:479:32 | { ... } | |
| test.rs:479:18:479:32 | ...::format_args_nl!... | test.rs:479:18:479:32 | MacroExpr | |
| test.rs:479:18:479:32 | ExprStmt | test.rs:479:9:479:33 | ...::_print | |
| test.rs:479:18:479:32 | FormatArgsExpr | test.rs:479:18:479:32 | ...::format_args_nl!... | |
| test.rs:479:18:479:32 | MacroExpr | test.rs:479:18:479:32 | ...::_print(...) | |
| test.rs:479:18:479:32 | MacroStmts | test.rs:479:18:479:32 | ExprStmt | |
| test.rs:479:18:479:32 | { ... } | test.rs:479:9:479:33 | println!... | |
| test.rs:482:5:501:5 | enter fn async_block | test.rs:482:26:482:26 | b | |
| test.rs:482:5:501:5 | exit fn async_block (normal) | test.rs:482:5:501:5 | exit fn async_block | |
| test.rs:482:26:482:26 | b | test.rs:482:26:482:26 | b | |
| test.rs:482:26:482:26 | b | test.rs:482:26:482:32 | ...: bool | match |
| test.rs:482:26:482:32 | ...: bool | test.rs:483:9:485:10 | let ... = ... | |
| test.rs:482:35:501:5 | { ... } | test.rs:482:5:501:5 | exit fn async_block (normal) | |
| test.rs:483:9:485:10 | let ... = ... | test.rs:483:26:485:9 | { ... } | |
| test.rs:483:13:483:22 | say_godbye | test.rs:483:13:483:22 | say_godbye | |
| test.rs:483:13:483:22 | say_godbye | test.rs:486:9:488:10 | let ... = ... | match |
| test.rs:483:26:485:9 | enter { ... } | test.rs:484:13:484:42 | ExprStmt | |
| test.rs:483:26:485:9 | exit { ... } (normal) | test.rs:483:26:485:9 | exit { ... } | |
| test.rs:483:26:485:9 | { ... } | test.rs:483:13:483:22 | say_godbye | |
| test.rs:484:13:484:41 | ...::_print | test.rs:484:22:484:40 | "godbye, everyone!\\n" | |
| test.rs:484:13:484:41 | MacroExpr | test.rs:483:26:485:9 | exit { ... } (normal) | |
| test.rs:484:13:484:41 | println!... | test.rs:484:13:484:41 | MacroExpr | |
| test.rs:484:13:484:42 | ExprStmt | test.rs:484:22:484:40 | MacroStmts | |
| test.rs:484:22:484:40 | "godbye, everyone!\\n" | test.rs:484:22:484:40 | FormatArgsExpr | |
| test.rs:484:22:484:40 | ...::_print(...) | test.rs:484:22:484:40 | { ... } | |
| test.rs:484:22:484:40 | ...::format_args_nl!... | test.rs:484:22:484:40 | MacroExpr | |
| test.rs:484:22:484:40 | ExprStmt | test.rs:484:13:484:41 | ...::_print | |
| test.rs:484:22:484:40 | FormatArgsExpr | test.rs:484:22:484:40 | ...::format_args_nl!... | |
| test.rs:484:22:484:40 | MacroExpr | test.rs:484:22:484:40 | ...::_print(...) | |
| test.rs:484:22:484:40 | MacroStmts | test.rs:484:22:484:40 | ExprStmt | |
| test.rs:484:22:484:40 | { ... } | test.rs:484:13:484:41 | println!... | |
| test.rs:486:9:488:10 | let ... = ... | test.rs:486:31:488:9 | { ... } | |
| test.rs:486:13:486:27 | say_how_are_you | test.rs:486:13:486:27 | say_how_are_you | |
| test.rs:486:13:486:27 | say_how_are_you | test.rs:489:9:489:28 | let ... = ... | match |
| test.rs:486:31:488:9 | enter { ... } | test.rs:487:13:487:37 | ExprStmt | |
| test.rs:486:31:488:9 | exit { ... } (normal) | test.rs:486:31:488:9 | exit { ... } | |
| test.rs:486:31:488:9 | { ... } | test.rs:486:13:486:27 | say_how_are_you | |
| test.rs:487:13:487:36 | ...::_print | test.rs:487:22:487:35 | "how are you?\\n" | |
| test.rs:487:13:487:36 | MacroExpr | test.rs:486:31:488:9 | exit { ... } (normal) | |
| test.rs:487:13:487:36 | println!... | test.rs:487:13:487:36 | MacroExpr | |
| test.rs:487:13:487:37 | ExprStmt | test.rs:487:22:487:35 | MacroStmts | |
| test.rs:487:22:487:35 | "how are you?\\n" | test.rs:487:22:487:35 | FormatArgsExpr | |
| test.rs:487:22:487:35 | ...::_print(...) | test.rs:487:22:487:35 | { ... } | |
| test.rs:487:22:487:35 | ...::format_args_nl!... | test.rs:487:22:487:35 | MacroExpr | |
| test.rs:487:22:487:35 | ExprStmt | test.rs:487:13:487:36 | ...::_print | |
| test.rs:487:22:487:35 | FormatArgsExpr | test.rs:487:22:487:35 | ...::format_args_nl!... | |
| test.rs:487:22:487:35 | MacroExpr | test.rs:487:22:487:35 | ...::_print(...) | |
| test.rs:487:22:487:35 | MacroStmts | test.rs:487:22:487:35 | ExprStmt | |
| test.rs:487:22:487:35 | { ... } | test.rs:487:13:487:36 | println!... | |
| test.rs:489:9:489:28 | let ... = ... | test.rs:489:20:489:27 | { ... } | |
| test.rs:489:13:489:16 | noop | test.rs:489:13:489:16 | noop | |
| test.rs:489:13:489:16 | noop | test.rs:490:9:490:26 | ExprStmt | match |
| test.rs:489:20:489:27 | { ... } | test.rs:489:13:489:16 | noop | |
| test.rs:490:9:490:17 | say_hello | test.rs:490:9:490:19 | say_hello(...) | |
| test.rs:490:9:490:19 | say_hello(...) | test.rs:490:9:490:25 | await ... | |
| test.rs:490:9:490:25 | await ... | test.rs:491:9:491:30 | ExprStmt | |
| test.rs:490:9:490:26 | ExprStmt | test.rs:490:9:490:17 | say_hello | |
| test.rs:491:9:491:23 | say_how_are_you | test.rs:491:9:491:29 | await say_how_are_you | |
| test.rs:491:9:491:29 | await say_how_are_you | test.rs:492:9:492:25 | ExprStmt | |
| test.rs:491:9:491:30 | ExprStmt | test.rs:491:9:491:23 | say_how_are_you | |
| test.rs:492:9:492:18 | say_godbye | test.rs:492:9:492:24 | await say_godbye | |
| test.rs:492:9:492:24 | await say_godbye | test.rs:493:9:493:19 | ExprStmt | |
| test.rs:492:9:492:25 | ExprStmt | test.rs:492:9:492:18 | say_godbye | |
| test.rs:493:9:493:12 | noop | test.rs:493:9:493:18 | await noop | |
| test.rs:493:9:493:18 | await noop | test.rs:495:9:500:10 | let ... = ... | |
| test.rs:493:9:493:19 | ExprStmt | test.rs:493:9:493:12 | noop | |
| test.rs:495:9:500:10 | let ... = ... | test.rs:495:22:500:9 | \|...\| ... | |
| test.rs:495:13:495:18 | lambda | test.rs:482:35:501:5 | { ... } | match |
| test.rs:495:13:495:18 | lambda | test.rs:495:13:495:18 | lambda | |
| test.rs:495:22:500:9 | \|...\| ... | test.rs:495:13:495:18 | lambda | |
| test.rs:495:22:500:9 | enter \|...\| ... | test.rs:495:23:495:25 | foo | |
| test.rs:495:22:500:9 | exit \|...\| ... (normal) | test.rs:495:22:500:9 | exit \|...\| ... | |
| test.rs:495:23:495:25 | ... | test.rs:495:28:500:9 | { ... } | |
| test.rs:495:23:495:25 | foo | test.rs:495:23:495:25 | ... | match |
| test.rs:495:23:495:25 | foo | test.rs:495:23:495:25 | foo | |
| test.rs:495:28:500:9 | enter { ... } | test.rs:496:13:498:14 | ExprStmt | |
| test.rs:495:28:500:9 | exit { ... } (normal) | test.rs:495:28:500:9 | exit { ... } | |
| test.rs:495:28:500:9 | { ... } | test.rs:495:22:500:9 | exit \|...\| ... (normal) | |
| test.rs:496:13:498:13 | if b {...} | test.rs:499:13:499:15 | foo | |
| test.rs:496:13:498:14 | ExprStmt | test.rs:496:16:496:16 | b | |
| test.rs:496:16:496:16 | b | test.rs:496:13:498:13 | if b {...} | false |
| test.rs:496:16:496:16 | b | test.rs:497:17:497:41 | ExprStmt | true |
| test.rs:497:17:497:40 | return ... | test.rs:495:28:500:9 | exit { ... } (normal) | return |
| test.rs:497:17:497:41 | ExprStmt | test.rs:497:24:497:34 | async_block | |
| test.rs:497:24:497:34 | async_block | test.rs:497:36:497:39 | true | |
| test.rs:497:24:497:40 | async_block(...) | test.rs:497:17:497:40 | return ... | |
| test.rs:497:36:497:39 | true | test.rs:497:24:497:40 | async_block(...) | |
| test.rs:499:13:499:15 | foo | test.rs:495:28:500:9 | exit { ... } (normal) | |
| test.rs:507:5:509:5 | enter fn add_two | test.rs:507:22:507:22 | n | |
| test.rs:507:5:509:5 | exit fn add_two (normal) | test.rs:507:5:509:5 | exit fn add_two | |
| test.rs:507:22:507:22 | n | test.rs:507:22:507:22 | n | |
| test.rs:507:22:507:22 | n | test.rs:507:22:507:27 | ...: i64 | match |
| test.rs:507:22:507:27 | ...: i64 | test.rs:508:9:508:9 | n | |
| test.rs:507:37:509:5 | { ... } | test.rs:507:5:509:5 | exit fn add_two (normal) | |
| test.rs:508:9:508:9 | n | test.rs:508:13:508:13 | 2 | |
| test.rs:508:9:508:13 | ... + ... | test.rs:507:37:509:5 | { ... } | |
| test.rs:508:13:508:13 | 2 | test.rs:508:9:508:13 | ... + ... | |
| test.rs:513:5:521:5 | enter fn const_block_assert | test.rs:516:9:518:9 | ExprStmt | |
| test.rs:513:5:521:5 | exit fn const_block_assert (normal) | test.rs:513:5:521:5 | exit fn const_block_assert | |
| test.rs:513:41:521:5 | { ... } | test.rs:513:5:521:5 | exit fn const_block_assert (normal) | |
| test.rs:516:9:518:9 | ExprStmt | test.rs:517:13:517:50 | ExprStmt | |
| test.rs:516:9:518:9 | { ... } | test.rs:520:9:520:10 | 42 | |
| test.rs:517:13:517:49 | ...::panic_2021!... | test.rs:517:13:517:49 | MacroExpr | |
| test.rs:517:13:517:49 | ...::panic_explicit | test.rs:517:13:517:49 | ...::panic_explicit(...) | |
| test.rs:517:13:517:49 | ...::panic_explicit(...) | test.rs:517:13:517:49 | { ... } | |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:13:517:49 | MacroStmts | |
| test.rs:517:13:517:49 | ExprStmt | test.rs:517:13:517:49 | panic_cold_explicit | |
| test.rs:517:13:517:49 | MacroExpr | test.rs:516:9:518:9 | { ... } | |
| test.rs:517:13:517:49 | MacroExpr | test.rs:517:13:517:49 | { ... } | |
| test.rs:517:13:517:49 | MacroStmts | test.rs:517:13:517:49 | fn panic_cold_explicit | |
| test.rs:517:13:517:49 | assert!... | test.rs:517:13:517:49 | MacroExpr | |
| test.rs:517:13:517:49 | enter fn panic_cold_explicit | test.rs:517:13:517:49 | ...::panic_explicit | |
| test.rs:517:13:517:49 | exit fn panic_cold_explicit (normal) | test.rs:517:13:517:49 | exit fn panic_cold_explicit | |
| test.rs:517:13:517:49 | fn panic_cold_explicit | test.rs:517:13:517:49 | ExprStmt | |
| test.rs:517:13:517:49 | panic_cold_explicit | test.rs:517:13:517:49 | panic_cold_explicit(...) | |
| test.rs:517:13:517:49 | panic_cold_explicit(...) | test.rs:517:13:517:49 | { ... } | |
| test.rs:517:13:517:49 | { ... } | test.rs:517:13:517:49 | ...::panic_2021!... | |
| test.rs:517:13:517:49 | { ... } | test.rs:517:13:517:49 | exit fn panic_cold_explicit (normal) | |
| test.rs:517:13:517:49 | { ... } | test.rs:517:21:517:48 | if ... {...} | |
| test.rs:517:13:517:50 | ExprStmt | test.rs:517:21:517:48 | MacroStmts | |
| test.rs:517:21:517:42 | ...::size_of::<...> | test.rs:517:21:517:44 | ...::size_of::<...>(...) | |
| test.rs:517:21:517:44 | ...::size_of::<...>(...) | test.rs:517:48:517:48 | 0 | |
| test.rs:517:21:517:48 | ... > ... | test.rs:517:21:517:48 | [boolean(false)] ! ... | true |
| test.rs:517:21:517:48 | ... > ... | test.rs:517:21:517:48 | [boolean(true)] ! ... | false |
| test.rs:517:21:517:48 | MacroStmts | test.rs:517:21:517:42 | ...::size_of::<...> | |
| test.rs:517:21:517:48 | [boolean(false)] ! ... | test.rs:517:21:517:48 | if ... {...} | false |
| test.rs:517:21:517:48 | [boolean(true)] ! ... | test.rs:517:13:517:49 | ExprStmt | true |
| test.rs:517:21:517:48 | if ... {...} | test.rs:517:21:517:48 | { ... } | |
| test.rs:517:21:517:48 | { ... } | test.rs:517:13:517:49 | assert!... | |
| test.rs:517:48:517:48 | 0 | test.rs:517:21:517:48 | ... > ... | |
| test.rs:520:9:520:10 | 42 | test.rs:513:41:521:5 | { ... } | |
| test.rs:523:5:532:5 | enter fn const_block_panic | test.rs:524:9:524:30 | Const | |
| test.rs:523:5:532:5 | exit fn const_block_panic (normal) | test.rs:523:5:532:5 | exit fn const_block_panic | |
| test.rs:523:35:532:5 | { ... } | test.rs:523:5:532:5 | exit fn const_block_panic (normal) | |
| test.rs:524:9:524:30 | Const | test.rs:525:9:530:9 | ExprStmt | |
| test.rs:525:9:530:9 | ExprStmt | test.rs:525:12:525:16 | false | |
| test.rs:525:9:530:9 | if false {...} | test.rs:531:9:531:9 | N | |
| test.rs:525:12:525:16 | false | test.rs:525:9:530:9 | if false {...} | false |
| test.rs:528:17:528:24 | ...::panic_explicit | test.rs:528:17:528:24 | ...::panic_explicit(...) | |
| test.rs:528:17:528:24 | ...::panic_explicit(...) | test.rs:528:17:528:24 | { ... } | |
| test.rs:528:17:528:24 | enter fn panic_cold_explicit | test.rs:528:17:528:24 | ...::panic_explicit | |
| test.rs:528:17:528:24 | exit fn panic_cold_explicit (normal) | test.rs:528:17:528:24 | exit fn panic_cold_explicit | |
| test.rs:528:17:528:24 | { ... } | test.rs:528:17:528:24 | exit fn panic_cold_explicit (normal) | |
| test.rs:531:9:531:9 | N | test.rs:523:35:532:5 | { ... } | |
| test.rs:535:1:540:1 | enter fn dead_code | test.rs:536:5:538:5 | ExprStmt | |
| test.rs:535:1:540:1 | exit fn dead_code (normal) | test.rs:535:1:540:1 | exit fn dead_code | |
| test.rs:536:5:538:5 | ExprStmt | test.rs:536:9:536:12 | true | |
| test.rs:536:9:536:12 | true | test.rs:537:9:537:17 | ExprStmt | true |
| test.rs:537:9:537:16 | return 0 | test.rs:535:1:540:1 | exit fn dead_code (normal) | return |
| test.rs:537:9:537:17 | ExprStmt | test.rs:537:16:537:16 | 0 | |
| test.rs:537:16:537:16 | 0 | test.rs:537:9:537:16 | return 0 | |
| test.rs:542:1:542:16 | enter fn do_thing | test.rs:542:15:542:16 | { ... } | |
| test.rs:542:1:542:16 | exit fn do_thing (normal) | test.rs:542:1:542:16 | exit fn do_thing | |
| test.rs:542:15:542:16 | { ... } | test.rs:542:1:542:16 | exit fn do_thing (normal) | |
| test.rs:544:1:546:1 | enter fn condition_not_met | test.rs:545:5:545:9 | false | |
| test.rs:544:1:546:1 | exit fn condition_not_met (normal) | test.rs:544:1:546:1 | exit fn condition_not_met | |
| test.rs:544:32:546:1 | { ... } | test.rs:544:1:546:1 | exit fn condition_not_met (normal) | |
| test.rs:545:5:545:9 | false | test.rs:544:32:546:1 | { ... } | |
| test.rs:548:1:548:21 | enter fn do_next_thing | test.rs:548:20:548:21 | { ... } | |
| test.rs:548:1:548:21 | exit fn do_next_thing (normal) | test.rs:548:1:548:21 | exit fn do_next_thing | |
| test.rs:548:20:548:21 | { ... } | test.rs:548:1:548:21 | exit fn do_next_thing (normal) | |
| test.rs:550:1:550:21 | enter fn do_last_thing | test.rs:550:20:550:21 | { ... } | |
| test.rs:550:1:550:21 | exit fn do_last_thing (normal) | test.rs:550:1:550:21 | exit fn do_last_thing | |
| test.rs:550:20:550:21 | { ... } | test.rs:550:1:550:21 | exit fn do_last_thing (normal) | |
| test.rs:552:1:566:1 | enter fn labelled_block1 | test.rs:553:5:564:6 | let ... = ... | |
| test.rs:552:1:566:1 | exit fn labelled_block1 (normal) | test.rs:552:1:566:1 | exit fn labelled_block1 | |
| test.rs:552:29:566:1 | { ... } | test.rs:552:1:566:1 | exit fn labelled_block1 (normal) | |
| test.rs:553:5:564:6 | let ... = ... | test.rs:554:9:554:19 | ExprStmt | |
| test.rs:553:9:553:14 | result | test.rs:553:9:553:14 | result | |
| test.rs:553:9:553:14 | result | test.rs:565:5:565:10 | result | match |
| test.rs:553:18:564:5 | 'block: { ... } | test.rs:553:9:553:14 | result | |
| test.rs:554:9:554:16 | do_thing | test.rs:554:9:554:18 | do_thing(...) | |
| test.rs:554:9:554:18 | do_thing(...) | test.rs:555:9:557:9 | ExprStmt | |
| test.rs:554:9:554:19 | ExprStmt | test.rs:554:9:554:16 | do_thing | |
| test.rs:555:9:557:9 | ExprStmt | test.rs:555:12:555:28 | condition_not_met | |
| test.rs:555:9:557:9 | if ... {...} | test.rs:558:9:558:24 | ExprStmt | |
| test.rs:555:12:555:28 | condition_not_met | test.rs:555:12:555:30 | condition_not_met(...) | |
| test.rs:555:12:555:30 | condition_not_met(...) | test.rs:555:9:557:9 | if ... {...} | false |
| test.rs:555:12:555:30 | condition_not_met(...) | test.rs:556:13:556:27 | ExprStmt | true |
| test.rs:556:13:556:26 | break ''block 1 | test.rs:553:18:564:5 | 'block: { ... } | break |
| test.rs:556:13:556:27 | ExprStmt | test.rs:556:26:556:26 | 1 | |
| test.rs:556:26:556:26 | 1 | test.rs:556:13:556:26 | break ''block 1 | |
| test.rs:558:9:558:21 | do_next_thing | test.rs:558:9:558:23 | do_next_thing(...) | |
| test.rs:558:9:558:23 | do_next_thing(...) | test.rs:559:9:561:9 | ExprStmt | |
| test.rs:558:9:558:24 | ExprStmt | test.rs:558:9:558:21 | do_next_thing | |
| test.rs:559:9:561:9 | ExprStmt | test.rs:559:12:559:28 | condition_not_met | |
| test.rs:559:9:561:9 | if ... {...} | test.rs:562:9:562:24 | ExprStmt | |
| test.rs:559:12:559:28 | condition_not_met | test.rs:559:12:559:30 | condition_not_met(...) | |
| test.rs:559:12:559:30 | condition_not_met(...) | test.rs:559:9:561:9 | if ... {...} | false |
| test.rs:559:12:559:30 | condition_not_met(...) | test.rs:560:13:560:27 | ExprStmt | true |
| test.rs:560:13:560:26 | break ''block 2 | test.rs:553:18:564:5 | 'block: { ... } | break |
| test.rs:560:13:560:27 | ExprStmt | test.rs:560:26:560:26 | 2 | |
| test.rs:560:26:560:26 | 2 | test.rs:560:13:560:26 | break ''block 2 | |
| test.rs:562:9:562:21 | do_last_thing | test.rs:562:9:562:23 | do_last_thing(...) | |
| test.rs:562:9:562:23 | do_last_thing(...) | test.rs:563:9:563:9 | 3 | |
| test.rs:562:9:562:24 | ExprStmt | test.rs:562:9:562:21 | do_last_thing | |
| test.rs:563:9:563:9 | 3 | test.rs:553:18:564:5 | 'block: { ... } | |
| test.rs:565:5:565:10 | result | test.rs:552:29:566:1 | { ... } | |
| test.rs:568:1:576:1 | enter fn labelled_block2 | test.rs:569:5:575:6 | let ... = ... | |
| test.rs:568:1:576:1 | exit fn labelled_block2 (normal) | test.rs:568:1:576:1 | exit fn labelled_block2 | |
| test.rs:568:22:576:1 | { ... } | test.rs:568:1:576:1 | exit fn labelled_block2 (normal) | |
| test.rs:569:5:575:6 | let ... = ... | test.rs:570:9:570:34 | let ... = None | |
| test.rs:569:9:569:14 | result | test.rs:568:22:576:1 | { ... } | match |
| test.rs:569:9:569:14 | result | test.rs:569:9:569:14 | result | |
| test.rs:569:18:575:5 | 'block: { ... } | test.rs:569:9:569:14 | result | |
| test.rs:570:9:570:34 | let ... = None | test.rs:570:30:570:33 | None | |
| test.rs:570:13:570:13 | x | test.rs:570:13:570:13 | x | |
| test.rs:570:13:570:13 | x | test.rs:571:9:573:10 | let ... = x else {...} | match |
| test.rs:570:30:570:33 | None | test.rs:570:13:570:13 | x | |
| test.rs:571:9:573:10 | let ... = x else {...} | test.rs:571:23:571:23 | x | |
| test.rs:571:13:571:19 | Some(...) | test.rs:571:18:571:18 | y | match |
| test.rs:571:13:571:19 | Some(...) | test.rs:572:13:572:27 | ExprStmt | no-match |
| test.rs:571:18:571:18 | y | test.rs:571:18:571:18 | y | |
| test.rs:571:18:571:18 | y | test.rs:574:9:574:9 | 0 | match |
| test.rs:571:23:571:23 | x | test.rs:571:13:571:19 | Some(...) | |
| test.rs:572:13:572:26 | break ''block 1 | test.rs:569:18:575:5 | 'block: { ... } | break |
| test.rs:572:13:572:27 | ExprStmt | test.rs:572:26:572:26 | 1 | |
| test.rs:572:26:572:26 | 1 | test.rs:572:13:572:26 | break ''block 1 | |
| test.rs:574:9:574:9 | 0 | test.rs:569:18:575:5 | 'block: { ... } | |
| test.rs:578:1:584:1 | enter fn test_nested_function2 | test.rs:579:5:579:18 | let ... = 0 | |
| test.rs:578:1:584:1 | exit fn test_nested_function2 (normal) | test.rs:578:1:584:1 | exit fn test_nested_function2 | |
| test.rs:578:28:584:1 | { ... } | test.rs:578:1:584:1 | exit fn test_nested_function2 (normal) | |
| test.rs:579:5:579:18 | let ... = 0 | test.rs:579:17:579:17 | 0 | |
| test.rs:579:9:579:13 | mut x | test.rs:580:5:582:5 | fn nested | match |
| test.rs:579:13:579:13 | x | test.rs:579:9:579:13 | mut x | |
| test.rs:579:17:579:17 | 0 | test.rs:579:13:579:13 | x | |
| test.rs:580:5:582:5 | enter fn nested | test.rs:580:15:580:15 | x | |
| test.rs:580:5:582:5 | exit fn nested (normal) | test.rs:580:5:582:5 | exit fn nested | |
| test.rs:580:5:582:5 | fn nested | test.rs:583:5:583:19 | ExprStmt | |
| test.rs:580:15:580:15 | x | test.rs:580:15:580:15 | x | |
| test.rs:580:15:580:15 | x | test.rs:580:15:580:25 | ...: ... | match |
| test.rs:580:15:580:25 | ...: ... | test.rs:581:9:581:16 | ExprStmt | |
| test.rs:580:28:582:5 | { ... } | test.rs:580:5:582:5 | exit fn nested (normal) | |
| test.rs:581:9:581:10 | * ... | test.rs:581:15:581:15 | 1 | |
| test.rs:581:9:581:15 | ... += ... | test.rs:580:28:582:5 | { ... } | |
| test.rs:581:9:581:16 | ExprStmt | test.rs:581:10:581:10 | x | |
| test.rs:581:10:581:10 | x | test.rs:581:9:581:10 | * ... | |
| test.rs:581:15:581:15 | 1 | test.rs:581:9:581:15 | ... += ... | |
| test.rs:583:5:583:10 | nested | test.rs:583:17:583:17 | x | |
| test.rs:583:5:583:18 | nested(...) | test.rs:578:28:584:1 | { ... } | |
| test.rs:583:5:583:19 | ExprStmt | test.rs:583:5:583:10 | nested | |
| test.rs:583:12:583:17 | &mut x | test.rs:583:5:583:18 | nested(...) | |
| test.rs:583:17:583:17 | x | test.rs:583:12:583:17 | &mut x | |
| test.rs:595:5:597:5 | enter fn new | test.rs:595:12:595:12 | a | |
| test.rs:595:5:597:5 | exit fn new (normal) | test.rs:595:5:597:5 | exit fn new | |
| test.rs:595:12:595:12 | a | test.rs:595:12:595:12 | a | |
| test.rs:595:12:595:12 | a | test.rs:595:12:595:17 | ...: i64 | match |
| test.rs:595:12:595:17 | ...: i64 | test.rs:596:23:596:23 | a | |
| test.rs:595:28:597:5 | { ... } | test.rs:595:5:597:5 | exit fn new (normal) | |
| test.rs:596:9:596:25 | MyNumber {...} | test.rs:595:28:597:5 | { ... } | |
| test.rs:596:23:596:23 | a | test.rs:596:9:596:25 | MyNumber {...} | |
| test.rs:599:5:601:5 | enter fn negated | test.rs:599:16:599:19 | self | |
| test.rs:599:5:601:5 | exit fn negated (normal) | test.rs:599:5:601:5 | exit fn negated | |
| test.rs:599:16:599:19 | SelfParam | test.rs:600:23:600:26 | self | |
| test.rs:599:16:599:19 | self | test.rs:599:16:599:19 | SelfParam | |
| test.rs:599:30:601:5 | { ... } | test.rs:599:5:601:5 | exit fn negated (normal) | |
| test.rs:600:9:600:30 | MyNumber {...} | test.rs:599:30:601:5 | { ... } | |
| test.rs:600:23:600:26 | self | test.rs:600:23:600:28 | self.n | |
| test.rs:600:23:600:28 | self.n | test.rs:600:9:600:30 | MyNumber {...} | |
| test.rs:603:5:605:5 | enter fn multifly_add | test.rs:603:26:603:29 | self | |
| test.rs:603:5:605:5 | exit fn multifly_add (normal) | test.rs:603:5:605:5 | exit fn multifly_add | |
| test.rs:603:21:603:29 | SelfParam | test.rs:603:32:603:32 | a | |
| test.rs:603:26:603:29 | self | test.rs:603:21:603:29 | SelfParam | |
| test.rs:603:32:603:32 | a | test.rs:603:32:603:32 | a | |
| test.rs:603:32:603:32 | a | test.rs:603:32:603:37 | ...: i64 | match |
| test.rs:603:32:603:37 | ...: i64 | test.rs:603:40:603:40 | b | |
| test.rs:603:40:603:40 | b | test.rs:603:40:603:40 | b | |
| test.rs:603:40:603:40 | b | test.rs:603:40:603:45 | ...: i64 | match |
| test.rs:603:40:603:45 | ...: i64 | test.rs:604:9:604:34 | ExprStmt | |
| test.rs:603:48:605:5 | { ... } | test.rs:603:5:605:5 | exit fn multifly_add (normal) | |
| test.rs:604:9:604:12 | self | test.rs:604:9:604:14 | self.n | |
| test.rs:604:9:604:14 | self.n | test.rs:604:19:604:22 | self | |
| test.rs:604:9:604:33 | ... = ... | test.rs:603:48:605:5 | { ... } | |
| test.rs:604:9:604:34 | ExprStmt | test.rs:604:9:604:12 | self | |
| test.rs:604:18:604:33 | ... + ... | test.rs:604:9:604:33 | ... = ... | |
| test.rs:604:19:604:22 | self | test.rs:604:19:604:24 | self.n | |
| test.rs:604:19:604:24 | self.n | test.rs:604:28:604:28 | a | |
| test.rs:604:19:604:28 | ... * ... | test.rs:604:33:604:33 | b | |
| test.rs:604:28:604:28 | a | test.rs:604:19:604:28 | ... * ... | |
| test.rs:604:33:604:33 | b | test.rs:604:18:604:33 | ... + ... | |
breakTarget
| test.rs:34:17:34:21 | break | test.rs:28:9:40:9 | loop { ... } |
| test.rs:48:21:48:25 | break | test.rs:46:13:53:13 | 'inner: loop { ... } |
@@ -1335,9 +1470,9 @@ breakTarget
| test.rs:216:17:216:28 | break ... | test.rs:214:13:219:9 | loop { ... } |
| test.rs:229:17:229:35 | break ''label ... | test.rs:227:13:232:9 | 'label: loop { ... } |
| test.rs:241:13:241:30 | break ''block ... | test.rs:240:13:242:9 | 'block: { ... } |
| test.rs:505:13:505:26 | break ''block 1 | test.rs:502:18:513:5 | 'block: { ... } |
| test.rs:509:13:509:26 | break ''block 2 | test.rs:502:18:513:5 | 'block: { ... } |
| test.rs:521:13:521:26 | break ''block 1 | test.rs:518:18:524:5 | 'block: { ... } |
| test.rs:556:13:556:26 | break ''block 1 | test.rs:553:18:564:5 | 'block: { ... } |
| test.rs:560:13:560:26 | break ''block 2 | test.rs:553:18:564:5 | 'block: { ... } |
| test.rs:572:13:572:26 | break ''block 1 | test.rs:569:18:575:5 | 'block: { ... } |
continueTarget
| test.rs:37:17:37:24 | continue | test.rs:28:9:40:9 | loop { ... } |
| test.rs:63:21:63:28 | continue | test.rs:61:13:68:13 | 'inner: loop { ... } |

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

@@ -380,7 +380,9 @@ mod patterns {
return;
}
struct MyStruct {}
struct MyStruct {
x: i64
}
fn empty_struct_pattern(st: MyStruct) -> i64 {
match st {
@@ -388,6 +390,13 @@ mod patterns {
}
}
fn struct_pattern(st: MyStruct) -> i64 {
match st {
MyStruct { x: 1 } => 0,
MyStruct { x } => 3,
}
}
fn range_pattern() -> i64 {
match 42 {
..0 => 1,
@@ -412,6 +421,48 @@ mod patterns {
};
a
}
fn tuple_pattern(a: i64, b: i64) -> i64 {
match (a, b) {
(1, _) => 2,
(.., 2) => 3,
(..) => 4,
}
}
fn or_pattern(a: i64) -> i64 {
match a {
0 | 1 | 2 => 3,
_ => 4,
}
}
fn or_pattern_2(a: Option<bool>) -> i64 {
match a {
None => 3,
Some(true) | Some(false) => 4,
}
}
macro_rules! one_or_two {
() => {
1 | 2
};
}
fn or_pattern_3(a: i64) -> i64 {
match a {
one_or_two!() => 3,
_ => 4,
}
}
fn irrefutable_pattern_and_dead_code(pair: &(i64, MyStruct)) -> i64 {
match pair {
&(n, MyStruct { x: _ }) => n,
_ => 0, // dead code
}
}
}
mod divergence {