mirror of
https://github.com/github/codeql.git
synced 2026-04-25 00:35:20 +02:00
Rust: Add more variable tests
This commit is contained in:
Tom Hvitved
@@ -1238,133 +1238,150 @@ edges
|
||||
| main.rs:541:3:541:19 | ExprStmt | main.rs:541:3:541:11 | print_i64 | |
|
||||
| main.rs:541:13:541:13 | a | main.rs:541:13:541:17 | a.val | |
|
||||
| main.rs:541:13:541:17 | a.val | main.rs:541:3:541:18 | print_i64(...) | |
|
||||
| main.rs:553:1:557:1 | enter fn macro_invocation | main.rs:554:5:555:26 | let ... = ... | |
|
||||
| main.rs:553:1:557:1 | exit fn macro_invocation (normal) | main.rs:553:1:557:1 | exit fn macro_invocation | |
|
||||
| main.rs:553:23:557:1 | { ... } | main.rs:553:1:557:1 | exit fn macro_invocation (normal) | |
|
||||
| main.rs:554:5:555:26 | let ... = ... | main.rs:555:23:555:24 | let ... = 37 | |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:556:5:556:30 | ExprStmt | match |
|
||||
| main.rs:555:9:555:25 | MacroExpr | main.rs:554:9:554:22 | var_from_macro | |
|
||||
| main.rs:555:9:555:25 | let_in_macro!... | main.rs:555:9:555:25 | MacroExpr | |
|
||||
| main.rs:555:9:555:25 | var_in_macro | main.rs:555:9:555:25 | var_in_macro | match |
|
||||
| main.rs:555:9:555:25 | var_in_macro | main.rs:555:23:555:24 | { ... } | |
|
||||
| main.rs:555:23:555:24 | 37 | main.rs:555:9:555:25 | var_in_macro | |
|
||||
| main.rs:555:23:555:24 | let ... = 37 | main.rs:555:23:555:24 | 37 | |
|
||||
| main.rs:555:23:555:24 | { ... } | main.rs:555:9:555:25 | let_in_macro!... | |
|
||||
| main.rs:556:5:556:13 | print_i64 | main.rs:556:15:556:28 | var_from_macro | |
|
||||
| main.rs:556:5:556:29 | print_i64(...) | main.rs:553:23:557:1 | { ... } | |
|
||||
| main.rs:556:5:556:30 | ExprStmt | main.rs:556:5:556:13 | print_i64 | |
|
||||
| main.rs:556:15:556:28 | var_from_macro | main.rs:556:5:556:29 | print_i64(...) | |
|
||||
| main.rs:559:1:594:1 | enter fn main | main.rs:560:5:560:25 | ExprStmt | |
|
||||
| main.rs:559:1:594:1 | exit fn main (normal) | main.rs:559:1:594:1 | exit fn main | |
|
||||
| main.rs:559:11:594:1 | { ... } | main.rs:559:1:594:1 | exit fn main (normal) | |
|
||||
| main.rs:560:5:560:22 | immutable_variable | main.rs:560:5:560:24 | immutable_variable(...) | |
|
||||
| main.rs:560:5:560:24 | immutable_variable(...) | main.rs:561:5:561:23 | ExprStmt | |
|
||||
| main.rs:560:5:560:25 | ExprStmt | main.rs:560:5:560:22 | immutable_variable | |
|
||||
| main.rs:561:5:561:20 | mutable_variable | main.rs:561:5:561:22 | mutable_variable(...) | |
|
||||
| main.rs:561:5:561:22 | mutable_variable(...) | main.rs:562:5:562:40 | ExprStmt | |
|
||||
| main.rs:561:5:561:23 | ExprStmt | main.rs:561:5:561:20 | mutable_variable | |
|
||||
| main.rs:562:5:562:37 | mutable_variable_immutable_borrow | main.rs:562:5:562:39 | mutable_variable_immutable_borrow(...) | |
|
||||
| main.rs:562:5:562:39 | mutable_variable_immutable_borrow(...) | main.rs:563:5:563:23 | ExprStmt | |
|
||||
| main.rs:562:5:562:40 | ExprStmt | main.rs:562:5:562:37 | mutable_variable_immutable_borrow | |
|
||||
| main.rs:563:5:563:20 | variable_shadow1 | main.rs:563:5:563:22 | variable_shadow1(...) | |
|
||||
| main.rs:563:5:563:22 | variable_shadow1(...) | main.rs:564:5:564:23 | ExprStmt | |
|
||||
| main.rs:563:5:563:23 | ExprStmt | main.rs:563:5:563:20 | variable_shadow1 | |
|
||||
| main.rs:564:5:564:20 | variable_shadow2 | main.rs:564:5:564:22 | variable_shadow2(...) | |
|
||||
| main.rs:564:5:564:22 | variable_shadow2(...) | main.rs:565:5:565:19 | ExprStmt | |
|
||||
| main.rs:564:5:564:23 | ExprStmt | main.rs:564:5:564:20 | variable_shadow2 | |
|
||||
| main.rs:565:5:565:16 | let_pattern1 | main.rs:565:5:565:18 | let_pattern1(...) | |
|
||||
| main.rs:565:5:565:18 | let_pattern1(...) | main.rs:566:5:566:19 | ExprStmt | |
|
||||
| main.rs:565:5:565:19 | ExprStmt | main.rs:565:5:565:16 | let_pattern1 | |
|
||||
| main.rs:566:5:566:16 | let_pattern2 | main.rs:566:5:566:18 | let_pattern2(...) | |
|
||||
| main.rs:566:5:566:18 | let_pattern2(...) | main.rs:567:5:567:19 | ExprStmt | |
|
||||
| main.rs:566:5:566:19 | ExprStmt | main.rs:566:5:566:16 | let_pattern2 | |
|
||||
| main.rs:567:5:567:16 | let_pattern3 | main.rs:567:5:567:18 | let_pattern3(...) | |
|
||||
| main.rs:567:5:567:18 | let_pattern3(...) | main.rs:568:5:568:19 | ExprStmt | |
|
||||
| main.rs:567:5:567:19 | ExprStmt | main.rs:567:5:567:16 | let_pattern3 | |
|
||||
| main.rs:568:5:568:16 | let_pattern4 | main.rs:568:5:568:18 | let_pattern4(...) | |
|
||||
| main.rs:568:5:568:18 | let_pattern4(...) | main.rs:569:5:569:21 | ExprStmt | |
|
||||
| main.rs:568:5:568:19 | ExprStmt | main.rs:568:5:568:16 | let_pattern4 | |
|
||||
| main.rs:569:5:569:18 | match_pattern1 | main.rs:569:5:569:20 | match_pattern1(...) | |
|
||||
| main.rs:569:5:569:20 | match_pattern1(...) | main.rs:570:5:570:21 | ExprStmt | |
|
||||
| main.rs:569:5:569:21 | ExprStmt | main.rs:569:5:569:18 | match_pattern1 | |
|
||||
| main.rs:570:5:570:18 | match_pattern2 | main.rs:570:5:570:20 | match_pattern2(...) | |
|
||||
| main.rs:570:5:570:20 | match_pattern2(...) | main.rs:571:5:571:21 | ExprStmt | |
|
||||
| main.rs:570:5:570:21 | ExprStmt | main.rs:570:5:570:18 | match_pattern2 | |
|
||||
| main.rs:571:5:571:18 | match_pattern3 | main.rs:571:5:571:20 | match_pattern3(...) | |
|
||||
| main.rs:571:5:571:20 | match_pattern3(...) | main.rs:572:5:572:21 | ExprStmt | |
|
||||
| main.rs:571:5:571:21 | ExprStmt | main.rs:571:5:571:18 | match_pattern3 | |
|
||||
| main.rs:572:5:572:18 | match_pattern4 | main.rs:572:5:572:20 | match_pattern4(...) | |
|
||||
| main.rs:572:5:572:20 | match_pattern4(...) | main.rs:573:5:573:21 | ExprStmt | |
|
||||
| main.rs:572:5:572:21 | ExprStmt | main.rs:572:5:572:18 | match_pattern4 | |
|
||||
| main.rs:573:5:573:18 | match_pattern5 | main.rs:573:5:573:20 | match_pattern5(...) | |
|
||||
| main.rs:573:5:573:20 | match_pattern5(...) | main.rs:574:5:574:21 | ExprStmt | |
|
||||
| main.rs:573:5:573:21 | ExprStmt | main.rs:573:5:573:18 | match_pattern5 | |
|
||||
| main.rs:574:5:574:18 | match_pattern6 | main.rs:574:5:574:20 | match_pattern6(...) | |
|
||||
| main.rs:574:5:574:20 | match_pattern6(...) | main.rs:575:5:575:21 | ExprStmt | |
|
||||
| main.rs:574:5:574:21 | ExprStmt | main.rs:574:5:574:18 | match_pattern6 | |
|
||||
| main.rs:575:5:575:18 | match_pattern7 | main.rs:575:5:575:20 | match_pattern7(...) | |
|
||||
| main.rs:575:5:575:20 | match_pattern7(...) | main.rs:576:5:576:21 | ExprStmt | |
|
||||
| main.rs:575:5:575:21 | ExprStmt | main.rs:575:5:575:18 | match_pattern7 | |
|
||||
| main.rs:576:5:576:18 | match_pattern8 | main.rs:576:5:576:20 | match_pattern8(...) | |
|
||||
| main.rs:576:5:576:20 | match_pattern8(...) | main.rs:577:5:577:21 | ExprStmt | |
|
||||
| main.rs:576:5:576:21 | ExprStmt | main.rs:576:5:576:18 | match_pattern8 | |
|
||||
| main.rs:577:5:577:18 | match_pattern9 | main.rs:577:5:577:20 | match_pattern9(...) | |
|
||||
| main.rs:577:5:577:20 | match_pattern9(...) | main.rs:578:5:578:36 | ExprStmt | |
|
||||
| main.rs:577:5:577:21 | ExprStmt | main.rs:577:5:577:18 | match_pattern9 | |
|
||||
| main.rs:578:5:578:18 | param_pattern1 | main.rs:578:20:578:22 | "a" | |
|
||||
| main.rs:578:5:578:35 | param_pattern1(...) | main.rs:579:5:579:37 | ExprStmt | |
|
||||
| main.rs:578:5:578:36 | ExprStmt | main.rs:578:5:578:18 | param_pattern1 | |
|
||||
| main.rs:578:20:578:22 | "a" | main.rs:578:26:578:28 | "b" | |
|
||||
| main.rs:578:25:578:34 | TupleExpr | main.rs:578:5:578:35 | param_pattern1(...) | |
|
||||
| main.rs:578:26:578:28 | "b" | main.rs:578:31:578:33 | "c" | |
|
||||
| main.rs:578:31:578:33 | "c" | main.rs:578:25:578:34 | TupleExpr | |
|
||||
| main.rs:579:5:579:18 | param_pattern2 | main.rs:579:20:579:31 | ...::Left | |
|
||||
| main.rs:579:5:579:36 | param_pattern2(...) | main.rs:580:5:580:26 | ExprStmt | |
|
||||
| main.rs:579:5:579:37 | ExprStmt | main.rs:579:5:579:18 | param_pattern2 | |
|
||||
| main.rs:579:20:579:31 | ...::Left | main.rs:579:33:579:34 | 45 | |
|
||||
| main.rs:579:20:579:35 | ...::Left(...) | main.rs:579:5:579:36 | param_pattern2(...) | |
|
||||
| main.rs:579:33:579:34 | 45 | main.rs:579:20:579:35 | ...::Left(...) | |
|
||||
| main.rs:580:5:580:23 | destruct_assignment | main.rs:580:5:580:25 | destruct_assignment(...) | |
|
||||
| main.rs:580:5:580:25 | destruct_assignment(...) | main.rs:581:5:581:23 | ExprStmt | |
|
||||
| main.rs:580:5:580:26 | ExprStmt | main.rs:580:5:580:23 | destruct_assignment | |
|
||||
| main.rs:581:5:581:20 | closure_variable | main.rs:581:5:581:22 | closure_variable(...) | |
|
||||
| main.rs:581:5:581:22 | closure_variable(...) | main.rs:582:5:582:19 | ExprStmt | |
|
||||
| main.rs:581:5:581:23 | ExprStmt | main.rs:581:5:581:20 | closure_variable | |
|
||||
| main.rs:582:5:582:16 | for_variable | main.rs:582:5:582:18 | for_variable(...) | |
|
||||
| main.rs:582:5:582:18 | for_variable(...) | main.rs:583:5:583:17 | ExprStmt | |
|
||||
| main.rs:582:5:582:19 | ExprStmt | main.rs:582:5:582:16 | for_variable | |
|
||||
| main.rs:583:5:583:14 | add_assign | main.rs:583:5:583:16 | add_assign(...) | |
|
||||
| main.rs:583:5:583:16 | add_assign(...) | main.rs:584:5:584:13 | ExprStmt | |
|
||||
| main.rs:583:5:583:17 | ExprStmt | main.rs:583:5:583:14 | add_assign | |
|
||||
| main.rs:584:5:584:10 | mutate | main.rs:584:5:584:12 | mutate(...) | |
|
||||
| main.rs:584:5:584:12 | mutate(...) | main.rs:585:5:585:17 | ExprStmt | |
|
||||
| main.rs:584:5:584:13 | ExprStmt | main.rs:584:5:584:10 | mutate | |
|
||||
| main.rs:585:5:585:14 | mutate_arg | main.rs:585:5:585:16 | mutate_arg(...) | |
|
||||
| main.rs:585:5:585:16 | mutate_arg(...) | main.rs:586:5:586:12 | ExprStmt | |
|
||||
| main.rs:585:5:585:17 | ExprStmt | main.rs:585:5:585:14 | mutate_arg | |
|
||||
| main.rs:586:5:586:9 | alias | main.rs:586:5:586:11 | alias(...) | |
|
||||
| main.rs:586:5:586:11 | alias(...) | main.rs:587:5:587:18 | ExprStmt | |
|
||||
| main.rs:586:5:586:12 | ExprStmt | main.rs:586:5:586:9 | alias | |
|
||||
| main.rs:587:5:587:15 | capture_mut | main.rs:587:5:587:17 | capture_mut(...) | |
|
||||
| main.rs:587:5:587:17 | capture_mut(...) | main.rs:588:5:588:20 | ExprStmt | |
|
||||
| main.rs:587:5:587:18 | ExprStmt | main.rs:587:5:587:15 | capture_mut | |
|
||||
| main.rs:588:5:588:17 | capture_immut | main.rs:588:5:588:19 | capture_immut(...) | |
|
||||
| main.rs:588:5:588:19 | capture_immut(...) | main.rs:589:5:589:26 | ExprStmt | |
|
||||
| main.rs:588:5:588:20 | ExprStmt | main.rs:588:5:588:17 | capture_immut | |
|
||||
| main.rs:589:5:589:23 | async_block_capture | main.rs:589:5:589:25 | async_block_capture(...) | |
|
||||
| main.rs:589:5:589:25 | async_block_capture(...) | main.rs:590:5:590:14 | ExprStmt | |
|
||||
| main.rs:589:5:589:26 | ExprStmt | main.rs:589:5:589:23 | async_block_capture | |
|
||||
| main.rs:590:5:590:11 | structs | main.rs:590:5:590:13 | structs(...) | |
|
||||
| main.rs:590:5:590:13 | structs(...) | main.rs:591:5:591:14 | ExprStmt | |
|
||||
| main.rs:590:5:590:14 | ExprStmt | main.rs:590:5:590:11 | structs | |
|
||||
| main.rs:591:5:591:11 | ref_arg | main.rs:591:5:591:13 | ref_arg(...) | |
|
||||
| main.rs:591:5:591:13 | ref_arg(...) | main.rs:592:5:592:30 | ExprStmt | |
|
||||
| main.rs:591:5:591:14 | ExprStmt | main.rs:591:5:591:11 | ref_arg | |
|
||||
| main.rs:592:5:592:27 | ref_methodcall_receiver | main.rs:592:5:592:29 | ref_methodcall_receiver(...) | |
|
||||
| main.rs:592:5:592:29 | ref_methodcall_receiver(...) | main.rs:593:5:593:23 | ExprStmt | |
|
||||
| main.rs:592:5:592:30 | ExprStmt | main.rs:592:5:592:27 | ref_methodcall_receiver | |
|
||||
| main.rs:593:5:593:20 | macro_invocation | main.rs:593:5:593:22 | macro_invocation(...) | |
|
||||
| main.rs:593:5:593:22 | macro_invocation(...) | main.rs:559:11:594:1 | { ... } | |
|
||||
| main.rs:593:5:593:23 | ExprStmt | main.rs:593:5:593:20 | macro_invocation | |
|
||||
| main.rs:562:1:569:1 | enter fn macro_invocation | main.rs:563:5:564:26 | let ... = ... | |
|
||||
| main.rs:562:1:569:1 | exit fn macro_invocation (normal) | main.rs:562:1:569:1 | exit fn macro_invocation | |
|
||||
| main.rs:562:23:569:1 | { ... } | main.rs:562:1:569:1 | exit fn macro_invocation (normal) | |
|
||||
| main.rs:563:5:564:26 | let ... = ... | main.rs:564:23:564:24 | let ... = 37 | |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:565:5:565:30 | ExprStmt | match |
|
||||
| main.rs:564:9:564:25 | MacroExpr | main.rs:563:9:563:22 | var_from_macro | |
|
||||
| main.rs:564:9:564:25 | let_in_macro!... | main.rs:564:9:564:25 | MacroExpr | |
|
||||
| main.rs:564:9:564:25 | var_in_macro | main.rs:564:9:564:25 | var_in_macro | match |
|
||||
| main.rs:564:9:564:25 | var_in_macro | main.rs:564:23:564:24 | { ... } | |
|
||||
| main.rs:564:23:564:24 | 37 | main.rs:564:9:564:25 | var_in_macro | |
|
||||
| main.rs:564:23:564:24 | let ... = 37 | main.rs:564:23:564:24 | 37 | |
|
||||
| main.rs:564:23:564:24 | { ... } | main.rs:564:9:564:25 | let_in_macro!... | |
|
||||
| main.rs:565:5:565:13 | print_i64 | main.rs:565:15:565:28 | var_from_macro | |
|
||||
| main.rs:565:5:565:29 | print_i64(...) | main.rs:566:5:566:26 | let ... = 33 | |
|
||||
| main.rs:565:5:565:30 | ExprStmt | main.rs:565:5:565:13 | print_i64 | |
|
||||
| main.rs:565:15:565:28 | var_from_macro | main.rs:565:5:565:29 | print_i64(...) | |
|
||||
| main.rs:566:5:566:26 | let ... = 33 | main.rs:566:24:566:25 | 33 | |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:567:5:567:44 | ExprStmt | match |
|
||||
| main.rs:566:24:566:25 | 33 | main.rs:566:9:566:20 | var_in_macro | |
|
||||
| main.rs:567:5:567:13 | print_i64 | main.rs:567:15:567:42 | let ... = 0 | |
|
||||
| main.rs:567:5:567:43 | print_i64(...) | main.rs:568:5:568:28 | ExprStmt | |
|
||||
| main.rs:567:5:567:44 | ExprStmt | main.rs:567:5:567:13 | print_i64 | |
|
||||
| main.rs:567:15:567:42 | 0 | main.rs:567:15:567:42 | var_in_macro | |
|
||||
| main.rs:567:15:567:42 | MacroExpr | main.rs:567:5:567:43 | print_i64(...) | |
|
||||
| main.rs:567:15:567:42 | let ... = 0 | main.rs:567:15:567:42 | 0 | |
|
||||
| main.rs:567:15:567:42 | let_in_macro2!... | main.rs:567:15:567:42 | MacroExpr | |
|
||||
| main.rs:567:15:567:42 | var_in_macro | main.rs:567:30:567:41 | var_in_macro | match |
|
||||
| main.rs:567:30:567:41 | var_in_macro | main.rs:567:30:567:41 | { ... } | |
|
||||
| main.rs:567:30:567:41 | { ... } | main.rs:567:15:567:42 | let_in_macro2!... | |
|
||||
| main.rs:568:5:568:13 | print_i64 | main.rs:568:15:568:26 | var_in_macro | |
|
||||
| main.rs:568:5:568:27 | print_i64(...) | main.rs:562:23:569:1 | { ... } | |
|
||||
| main.rs:568:5:568:28 | ExprStmt | main.rs:568:5:568:13 | print_i64 | |
|
||||
| main.rs:568:15:568:26 | var_in_macro | main.rs:568:5:568:27 | print_i64(...) | |
|
||||
| main.rs:571:1:606:1 | enter fn main | main.rs:572:5:572:25 | ExprStmt | |
|
||||
| main.rs:571:1:606:1 | exit fn main (normal) | main.rs:571:1:606:1 | exit fn main | |
|
||||
| main.rs:571:11:606:1 | { ... } | main.rs:571:1:606:1 | exit fn main (normal) | |
|
||||
| main.rs:572:5:572:22 | immutable_variable | main.rs:572:5:572:24 | immutable_variable(...) | |
|
||||
| main.rs:572:5:572:24 | immutable_variable(...) | main.rs:573:5:573:23 | ExprStmt | |
|
||||
| main.rs:572:5:572:25 | ExprStmt | main.rs:572:5:572:22 | immutable_variable | |
|
||||
| main.rs:573:5:573:20 | mutable_variable | main.rs:573:5:573:22 | mutable_variable(...) | |
|
||||
| main.rs:573:5:573:22 | mutable_variable(...) | main.rs:574:5:574:40 | ExprStmt | |
|
||||
| main.rs:573:5:573:23 | ExprStmt | main.rs:573:5:573:20 | mutable_variable | |
|
||||
| main.rs:574:5:574:37 | mutable_variable_immutable_borrow | main.rs:574:5:574:39 | mutable_variable_immutable_borrow(...) | |
|
||||
| main.rs:574:5:574:39 | mutable_variable_immutable_borrow(...) | main.rs:575:5:575:23 | ExprStmt | |
|
||||
| main.rs:574:5:574:40 | ExprStmt | main.rs:574:5:574:37 | mutable_variable_immutable_borrow | |
|
||||
| main.rs:575:5:575:20 | variable_shadow1 | main.rs:575:5:575:22 | variable_shadow1(...) | |
|
||||
| main.rs:575:5:575:22 | variable_shadow1(...) | main.rs:576:5:576:23 | ExprStmt | |
|
||||
| main.rs:575:5:575:23 | ExprStmt | main.rs:575:5:575:20 | variable_shadow1 | |
|
||||
| main.rs:576:5:576:20 | variable_shadow2 | main.rs:576:5:576:22 | variable_shadow2(...) | |
|
||||
| main.rs:576:5:576:22 | variable_shadow2(...) | main.rs:577:5:577:19 | ExprStmt | |
|
||||
| main.rs:576:5:576:23 | ExprStmt | main.rs:576:5:576:20 | variable_shadow2 | |
|
||||
| main.rs:577:5:577:16 | let_pattern1 | main.rs:577:5:577:18 | let_pattern1(...) | |
|
||||
| main.rs:577:5:577:18 | let_pattern1(...) | main.rs:578:5:578:19 | ExprStmt | |
|
||||
| main.rs:577:5:577:19 | ExprStmt | main.rs:577:5:577:16 | let_pattern1 | |
|
||||
| main.rs:578:5:578:16 | let_pattern2 | main.rs:578:5:578:18 | let_pattern2(...) | |
|
||||
| main.rs:578:5:578:18 | let_pattern2(...) | main.rs:579:5:579:19 | ExprStmt | |
|
||||
| main.rs:578:5:578:19 | ExprStmt | main.rs:578:5:578:16 | let_pattern2 | |
|
||||
| main.rs:579:5:579:16 | let_pattern3 | main.rs:579:5:579:18 | let_pattern3(...) | |
|
||||
| main.rs:579:5:579:18 | let_pattern3(...) | main.rs:580:5:580:19 | ExprStmt | |
|
||||
| main.rs:579:5:579:19 | ExprStmt | main.rs:579:5:579:16 | let_pattern3 | |
|
||||
| main.rs:580:5:580:16 | let_pattern4 | main.rs:580:5:580:18 | let_pattern4(...) | |
|
||||
| main.rs:580:5:580:18 | let_pattern4(...) | main.rs:581:5:581:21 | ExprStmt | |
|
||||
| main.rs:580:5:580:19 | ExprStmt | main.rs:580:5:580:16 | let_pattern4 | |
|
||||
| main.rs:581:5:581:18 | match_pattern1 | main.rs:581:5:581:20 | match_pattern1(...) | |
|
||||
| main.rs:581:5:581:20 | match_pattern1(...) | main.rs:582:5:582:21 | ExprStmt | |
|
||||
| main.rs:581:5:581:21 | ExprStmt | main.rs:581:5:581:18 | match_pattern1 | |
|
||||
| main.rs:582:5:582:18 | match_pattern2 | main.rs:582:5:582:20 | match_pattern2(...) | |
|
||||
| main.rs:582:5:582:20 | match_pattern2(...) | main.rs:583:5:583:21 | ExprStmt | |
|
||||
| main.rs:582:5:582:21 | ExprStmt | main.rs:582:5:582:18 | match_pattern2 | |
|
||||
| main.rs:583:5:583:18 | match_pattern3 | main.rs:583:5:583:20 | match_pattern3(...) | |
|
||||
| main.rs:583:5:583:20 | match_pattern3(...) | main.rs:584:5:584:21 | ExprStmt | |
|
||||
| main.rs:583:5:583:21 | ExprStmt | main.rs:583:5:583:18 | match_pattern3 | |
|
||||
| main.rs:584:5:584:18 | match_pattern4 | main.rs:584:5:584:20 | match_pattern4(...) | |
|
||||
| main.rs:584:5:584:20 | match_pattern4(...) | main.rs:585:5:585:21 | ExprStmt | |
|
||||
| main.rs:584:5:584:21 | ExprStmt | main.rs:584:5:584:18 | match_pattern4 | |
|
||||
| main.rs:585:5:585:18 | match_pattern5 | main.rs:585:5:585:20 | match_pattern5(...) | |
|
||||
| main.rs:585:5:585:20 | match_pattern5(...) | main.rs:586:5:586:21 | ExprStmt | |
|
||||
| main.rs:585:5:585:21 | ExprStmt | main.rs:585:5:585:18 | match_pattern5 | |
|
||||
| main.rs:586:5:586:18 | match_pattern6 | main.rs:586:5:586:20 | match_pattern6(...) | |
|
||||
| main.rs:586:5:586:20 | match_pattern6(...) | main.rs:587:5:587:21 | ExprStmt | |
|
||||
| main.rs:586:5:586:21 | ExprStmt | main.rs:586:5:586:18 | match_pattern6 | |
|
||||
| main.rs:587:5:587:18 | match_pattern7 | main.rs:587:5:587:20 | match_pattern7(...) | |
|
||||
| main.rs:587:5:587:20 | match_pattern7(...) | main.rs:588:5:588:21 | ExprStmt | |
|
||||
| main.rs:587:5:587:21 | ExprStmt | main.rs:587:5:587:18 | match_pattern7 | |
|
||||
| main.rs:588:5:588:18 | match_pattern8 | main.rs:588:5:588:20 | match_pattern8(...) | |
|
||||
| main.rs:588:5:588:20 | match_pattern8(...) | main.rs:589:5:589:21 | ExprStmt | |
|
||||
| main.rs:588:5:588:21 | ExprStmt | main.rs:588:5:588:18 | match_pattern8 | |
|
||||
| main.rs:589:5:589:18 | match_pattern9 | main.rs:589:5:589:20 | match_pattern9(...) | |
|
||||
| main.rs:589:5:589:20 | match_pattern9(...) | main.rs:590:5:590:36 | ExprStmt | |
|
||||
| main.rs:589:5:589:21 | ExprStmt | main.rs:589:5:589:18 | match_pattern9 | |
|
||||
| main.rs:590:5:590:18 | param_pattern1 | main.rs:590:20:590:22 | "a" | |
|
||||
| main.rs:590:5:590:35 | param_pattern1(...) | main.rs:591:5:591:37 | ExprStmt | |
|
||||
| main.rs:590:5:590:36 | ExprStmt | main.rs:590:5:590:18 | param_pattern1 | |
|
||||
| main.rs:590:20:590:22 | "a" | main.rs:590:26:590:28 | "b" | |
|
||||
| main.rs:590:25:590:34 | TupleExpr | main.rs:590:5:590:35 | param_pattern1(...) | |
|
||||
| main.rs:590:26:590:28 | "b" | main.rs:590:31:590:33 | "c" | |
|
||||
| main.rs:590:31:590:33 | "c" | main.rs:590:25:590:34 | TupleExpr | |
|
||||
| main.rs:591:5:591:18 | param_pattern2 | main.rs:591:20:591:31 | ...::Left | |
|
||||
| main.rs:591:5:591:36 | param_pattern2(...) | main.rs:592:5:592:26 | ExprStmt | |
|
||||
| main.rs:591:5:591:37 | ExprStmt | main.rs:591:5:591:18 | param_pattern2 | |
|
||||
| main.rs:591:20:591:31 | ...::Left | main.rs:591:33:591:34 | 45 | |
|
||||
| main.rs:591:20:591:35 | ...::Left(...) | main.rs:591:5:591:36 | param_pattern2(...) | |
|
||||
| main.rs:591:33:591:34 | 45 | main.rs:591:20:591:35 | ...::Left(...) | |
|
||||
| main.rs:592:5:592:23 | destruct_assignment | main.rs:592:5:592:25 | destruct_assignment(...) | |
|
||||
| main.rs:592:5:592:25 | destruct_assignment(...) | main.rs:593:5:593:23 | ExprStmt | |
|
||||
| main.rs:592:5:592:26 | ExprStmt | main.rs:592:5:592:23 | destruct_assignment | |
|
||||
| main.rs:593:5:593:20 | closure_variable | main.rs:593:5:593:22 | closure_variable(...) | |
|
||||
| main.rs:593:5:593:22 | closure_variable(...) | main.rs:594:5:594:19 | ExprStmt | |
|
||||
| main.rs:593:5:593:23 | ExprStmt | main.rs:593:5:593:20 | closure_variable | |
|
||||
| main.rs:594:5:594:16 | for_variable | main.rs:594:5:594:18 | for_variable(...) | |
|
||||
| main.rs:594:5:594:18 | for_variable(...) | main.rs:595:5:595:17 | ExprStmt | |
|
||||
| main.rs:594:5:594:19 | ExprStmt | main.rs:594:5:594:16 | for_variable | |
|
||||
| main.rs:595:5:595:14 | add_assign | main.rs:595:5:595:16 | add_assign(...) | |
|
||||
| main.rs:595:5:595:16 | add_assign(...) | main.rs:596:5:596:13 | ExprStmt | |
|
||||
| main.rs:595:5:595:17 | ExprStmt | main.rs:595:5:595:14 | add_assign | |
|
||||
| main.rs:596:5:596:10 | mutate | main.rs:596:5:596:12 | mutate(...) | |
|
||||
| main.rs:596:5:596:12 | mutate(...) | main.rs:597:5:597:17 | ExprStmt | |
|
||||
| main.rs:596:5:596:13 | ExprStmt | main.rs:596:5:596:10 | mutate | |
|
||||
| main.rs:597:5:597:14 | mutate_arg | main.rs:597:5:597:16 | mutate_arg(...) | |
|
||||
| main.rs:597:5:597:16 | mutate_arg(...) | main.rs:598:5:598:12 | ExprStmt | |
|
||||
| main.rs:597:5:597:17 | ExprStmt | main.rs:597:5:597:14 | mutate_arg | |
|
||||
| main.rs:598:5:598:9 | alias | main.rs:598:5:598:11 | alias(...) | |
|
||||
| main.rs:598:5:598:11 | alias(...) | main.rs:599:5:599:18 | ExprStmt | |
|
||||
| main.rs:598:5:598:12 | ExprStmt | main.rs:598:5:598:9 | alias | |
|
||||
| main.rs:599:5:599:15 | capture_mut | main.rs:599:5:599:17 | capture_mut(...) | |
|
||||
| main.rs:599:5:599:17 | capture_mut(...) | main.rs:600:5:600:20 | ExprStmt | |
|
||||
| main.rs:599:5:599:18 | ExprStmt | main.rs:599:5:599:15 | capture_mut | |
|
||||
| main.rs:600:5:600:17 | capture_immut | main.rs:600:5:600:19 | capture_immut(...) | |
|
||||
| main.rs:600:5:600:19 | capture_immut(...) | main.rs:601:5:601:26 | ExprStmt | |
|
||||
| main.rs:600:5:600:20 | ExprStmt | main.rs:600:5:600:17 | capture_immut | |
|
||||
| main.rs:601:5:601:23 | async_block_capture | main.rs:601:5:601:25 | async_block_capture(...) | |
|
||||
| main.rs:601:5:601:25 | async_block_capture(...) | main.rs:602:5:602:14 | ExprStmt | |
|
||||
| main.rs:601:5:601:26 | ExprStmt | main.rs:601:5:601:23 | async_block_capture | |
|
||||
| main.rs:602:5:602:11 | structs | main.rs:602:5:602:13 | structs(...) | |
|
||||
| main.rs:602:5:602:13 | structs(...) | main.rs:603:5:603:14 | ExprStmt | |
|
||||
| main.rs:602:5:602:14 | ExprStmt | main.rs:602:5:602:11 | structs | |
|
||||
| main.rs:603:5:603:11 | ref_arg | main.rs:603:5:603:13 | ref_arg(...) | |
|
||||
| main.rs:603:5:603:13 | ref_arg(...) | main.rs:604:5:604:30 | ExprStmt | |
|
||||
| main.rs:603:5:603:14 | ExprStmt | main.rs:603:5:603:11 | ref_arg | |
|
||||
| main.rs:604:5:604:27 | ref_methodcall_receiver | main.rs:604:5:604:29 | ref_methodcall_receiver(...) | |
|
||||
| main.rs:604:5:604:29 | ref_methodcall_receiver(...) | main.rs:605:5:605:23 | ExprStmt | |
|
||||
| main.rs:604:5:604:30 | ExprStmt | main.rs:604:5:604:27 | ref_methodcall_receiver | |
|
||||
| main.rs:605:5:605:20 | macro_invocation | main.rs:605:5:605:22 | macro_invocation(...) | |
|
||||
| main.rs:605:5:605:22 | macro_invocation(...) | main.rs:571:11:606:1 | { ... } | |
|
||||
| main.rs:605:5:605:23 | ExprStmt | main.rs:605:5:605:20 | macro_invocation | |
|
||||
breakTarget
|
||||
continueTarget
|
||||
|
||||
@@ -145,7 +145,8 @@ definition
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:9:519:9 | x |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:9:523:9 | z |
|
||||
| main.rs:532:10:532:18 | SelfParam | main.rs:532:15:532:18 | self |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:554:9:554:22 | var_from_macro |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:563:9:563:22 | var_from_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro |
|
||||
read
|
||||
| main.rs:3:14:3:14 | s | main.rs:3:14:3:14 | s | main.rs:4:20:4:20 | s |
|
||||
| main.rs:7:14:7:14 | i | main.rs:7:14:7:14 | i | main.rs:8:20:8:20 | i |
|
||||
@@ -283,7 +284,9 @@ read
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:9:519:9 | x | main.rs:521:15:521:15 | x |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:9:523:9 | z | main.rs:524:20:524:20 | z |
|
||||
| main.rs:532:10:532:18 | SelfParam | main.rs:532:15:532:18 | self | main.rs:533:6:533:9 | self |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:554:9:554:22 | var_from_macro | main.rs:556:15:556:28 | var_from_macro |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:563:9:563:22 | var_from_macro | main.rs:565:15:565:28 | var_from_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro | main.rs:567:30:567:41 | var_in_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro | main.rs:568:15:568:26 | var_in_macro |
|
||||
firstRead
|
||||
| main.rs:3:14:3:14 | s | main.rs:3:14:3:14 | s | main.rs:4:20:4:20 | s |
|
||||
| main.rs:7:14:7:14 | i | main.rs:7:14:7:14 | i | main.rs:8:20:8:20 | i |
|
||||
@@ -394,7 +397,8 @@ firstRead
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:9:519:9 | x | main.rs:520:20:520:20 | x |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:9:523:9 | z | main.rs:524:20:524:20 | z |
|
||||
| main.rs:532:10:532:18 | SelfParam | main.rs:532:15:532:18 | self | main.rs:533:6:533:9 | self |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:554:9:554:22 | var_from_macro | main.rs:556:15:556:28 | var_from_macro |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:563:9:563:22 | var_from_macro | main.rs:565:15:565:28 | var_from_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro | main.rs:567:30:567:41 | var_in_macro |
|
||||
lastRead
|
||||
| main.rs:3:14:3:14 | s | main.rs:3:14:3:14 | s | main.rs:4:20:4:20 | s |
|
||||
| main.rs:7:14:7:14 | i | main.rs:7:14:7:14 | i | main.rs:8:20:8:20 | i |
|
||||
@@ -506,7 +510,8 @@ lastRead
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:9:519:9 | x | main.rs:521:15:521:15 | x |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:9:523:9 | z | main.rs:524:20:524:20 | z |
|
||||
| main.rs:532:10:532:18 | SelfParam | main.rs:532:15:532:18 | self | main.rs:533:6:533:9 | self |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:554:9:554:22 | var_from_macro | main.rs:556:15:556:28 | var_from_macro |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:563:9:563:22 | var_from_macro | main.rs:565:15:565:28 | var_from_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro | main.rs:568:15:568:26 | var_in_macro |
|
||||
adjacentReads
|
||||
| main.rs:35:9:35:10 | x3 | main.rs:35:9:35:10 | x3 | main.rs:36:15:36:16 | x3 | main.rs:38:9:38:10 | x3 |
|
||||
| main.rs:43:9:43:10 | x4 | main.rs:43:9:43:10 | x4 | main.rs:44:15:44:16 | x4 | main.rs:49:15:49:16 | x4 |
|
||||
@@ -538,6 +543,7 @@ adjacentReads
|
||||
| main.rs:510:9:510:13 | a | main.rs:510:13:510:13 | a | main.rs:511:15:511:15 | a | main.rs:512:5:512:5 | a |
|
||||
| main.rs:510:9:510:13 | a | main.rs:510:13:510:13 | a | main.rs:512:5:512:5 | a | main.rs:513:15:513:15 | a |
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:9:519:9 | x | main.rs:520:20:520:20 | x | main.rs:521:15:521:15 | x |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:9:566:20 | var_in_macro | main.rs:567:30:567:41 | var_in_macro | main.rs:568:15:568:26 | var_in_macro |
|
||||
phi
|
||||
| main.rs:191:9:191:44 | [match(true)] phi | main.rs:191:9:191:44 | a3 | main.rs:191:22:191:23 | a3 |
|
||||
| main.rs:191:9:191:44 | [match(true)] phi | main.rs:191:9:191:44 | a3 | main.rs:191:42:191:43 | a3 |
|
||||
@@ -658,4 +664,5 @@ assigns
|
||||
| main.rs:514:5:514:5 | a | main.rs:514:9:514:17 | [...] |
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:13:519:14 | 16 |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:13:523:14 | 17 |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:555:9:555:25 | MacroExpr |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:564:9:564:25 | MacroExpr |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:24:566:25 | 33 |
|
||||
|
||||
@@ -550,10 +550,22 @@ macro_rules! let_in_macro {
|
||||
};
|
||||
}
|
||||
|
||||
macro_rules! let_in_macro2 {
|
||||
($e:expr) => {
|
||||
{
|
||||
let var_in_macro = 0;
|
||||
$e
|
||||
}
|
||||
};
|
||||
}
|
||||
|
||||
fn macro_invocation() {
|
||||
let var_from_macro =
|
||||
let var_from_macro = // var_from_macro1
|
||||
let_in_macro!(37); // $ MISSING: read_access=var_in_macro
|
||||
print_i64(var_from_macro); // $ read_access=var_from_macro
|
||||
print_i64(var_from_macro); // $ read_access=var_from_macro1
|
||||
let var_in_macro = 33; // var_in_macro1
|
||||
print_i64(let_in_macro2!(var_in_macro)); // $ read_access=var_in_macro1
|
||||
print_i64(var_in_macro); // $ read_access=var_in_macro1
|
||||
}
|
||||
|
||||
fn main() {
|
||||
|
||||
@@ -105,8 +105,10 @@ variable
|
||||
| main.rs:523:9:523:9 | z |
|
||||
| main.rs:532:15:532:18 | self |
|
||||
| main.rs:538:11:538:11 | a |
|
||||
| main.rs:554:9:554:22 | var_from_macro |
|
||||
| main.rs:555:9:555:25 | var_in_macro |
|
||||
| main.rs:563:9:563:22 | var_from_macro |
|
||||
| main.rs:564:9:564:25 | var_in_macro |
|
||||
| main.rs:566:9:566:20 | var_in_macro |
|
||||
| main.rs:567:15:567:42 | var_in_macro |
|
||||
variableAccess
|
||||
| main.rs:4:20:4:20 | s | main.rs:3:14:3:14 | s |
|
||||
| main.rs:8:20:8:20 | i | main.rs:7:14:7:14 | i |
|
||||
@@ -276,7 +278,9 @@ variableAccess
|
||||
| main.rs:533:6:533:9 | self | main.rs:532:15:532:18 | self |
|
||||
| main.rs:539:3:539:3 | a | main.rs:538:11:538:11 | a |
|
||||
| main.rs:541:13:541:13 | a | main.rs:538:11:538:11 | a |
|
||||
| main.rs:556:15:556:28 | var_from_macro | main.rs:554:9:554:22 | var_from_macro |
|
||||
| main.rs:565:15:565:28 | var_from_macro | main.rs:563:9:563:22 | var_from_macro |
|
||||
| main.rs:567:30:567:41 | var_in_macro | main.rs:566:9:566:20 | var_in_macro |
|
||||
| main.rs:568:15:568:26 | var_in_macro | main.rs:566:9:566:20 | var_in_macro |
|
||||
variableWriteAccess
|
||||
| main.rs:23:5:23:6 | x2 | main.rs:21:13:21:14 | x2 |
|
||||
| main.rs:30:5:30:5 | x | main.rs:28:13:28:13 | x |
|
||||
@@ -436,7 +440,9 @@ variableReadAccess
|
||||
| main.rs:533:6:533:9 | self | main.rs:532:15:532:18 | self |
|
||||
| main.rs:539:3:539:3 | a | main.rs:538:11:538:11 | a |
|
||||
| main.rs:541:13:541:13 | a | main.rs:538:11:538:11 | a |
|
||||
| main.rs:556:15:556:28 | var_from_macro | main.rs:554:9:554:22 | var_from_macro |
|
||||
| main.rs:565:15:565:28 | var_from_macro | main.rs:563:9:563:22 | var_from_macro |
|
||||
| main.rs:567:30:567:41 | var_in_macro | main.rs:566:9:566:20 | var_in_macro |
|
||||
| main.rs:568:15:568:26 | var_in_macro | main.rs:566:9:566:20 | var_in_macro |
|
||||
variableInitializer
|
||||
| main.rs:16:9:16:10 | x1 | main.rs:16:14:16:16 | "a" |
|
||||
| main.rs:21:13:21:14 | x2 | main.rs:21:18:21:18 | 4 |
|
||||
@@ -490,8 +496,10 @@ variableInitializer
|
||||
| main.rs:519:9:519:9 | x | main.rs:519:13:519:14 | 16 |
|
||||
| main.rs:523:9:523:9 | z | main.rs:523:13:523:14 | 17 |
|
||||
| main.rs:538:11:538:11 | a | main.rs:538:15:538:33 | MyStruct {...} |
|
||||
| main.rs:554:9:554:22 | var_from_macro | main.rs:555:9:555:25 | MacroExpr |
|
||||
| main.rs:555:9:555:25 | var_in_macro | main.rs:555:23:555:24 | 37 |
|
||||
| main.rs:563:9:563:22 | var_from_macro | main.rs:564:9:564:25 | MacroExpr |
|
||||
| main.rs:564:9:564:25 | var_in_macro | main.rs:564:23:564:24 | 37 |
|
||||
| main.rs:566:9:566:20 | var_in_macro | main.rs:566:24:566:25 | 33 |
|
||||
| main.rs:567:15:567:42 | var_in_macro | main.rs:567:15:567:42 | 0 |
|
||||
capturedVariable
|
||||
| main.rs:400:9:400:9 | x |
|
||||
| main.rs:410:13:410:13 | x |
|
||||
|
||||
Reference in New Issue
Block a user