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

Rust: Add variables test with captured self parameter

Browse Source
This commit is contained in:
Simon Friis Vindum
2024-12-06 14:07:42 +01:00
parent 3ba87de260
commit 43dd3ebf14
4 changed files with 342 additions and 281 deletions
Download Patch File Download Diff File Expand all files Collapse all files

480
rust/ql/test/library-tests/variables/Cfg.expected
View File

@@ -1084,235 +1084,261 @@ edges
| variables.rs:486:11:486:14 | self | variables.rs:486:11:486:14 | SelfParam | |
| variables.rs:486:25:488:5 | { ... } | variables.rs:486:5:488:5 | exit fn id (normal) | |
| variables.rs:487:9:487:12 | self | variables.rs:486:25:488:5 | { ... } | |
| variables.rs:491:1:498:1 | enter fn structs | variables.rs:492:5:492:36 | let ... = ... | |
| variables.rs:491:1:498:1 | exit fn structs (normal) | variables.rs:491:1:498:1 | exit fn structs | |
| variables.rs:491:14:498:1 | { ... } | variables.rs:491:1:498:1 | exit fn structs (normal) | |
| variables.rs:492:5:492:36 | let ... = ... | variables.rs:492:33:492:33 | 1 | |
| variables.rs:492:9:492:13 | a | variables.rs:493:5:493:26 | ExprStmt | match |
| variables.rs:492:17:492:35 | MyStruct {...} | variables.rs:492:9:492:13 | a | |
| variables.rs:492:33:492:33 | 1 | variables.rs:492:17:492:35 | MyStruct {...} | |
| variables.rs:493:5:493:13 | print_i64 | variables.rs:493:15:493:15 | a | |
| variables.rs:493:5:493:25 | print_i64(...) | variables.rs:494:5:494:14 | ExprStmt | |
| variables.rs:493:5:493:26 | ExprStmt | variables.rs:493:5:493:13 | print_i64 | |
| variables.rs:493:15:493:15 | a | variables.rs:493:15:493:24 | a.my_get(...) | |
| variables.rs:493:15:493:24 | a.my_get(...) | variables.rs:493:5:493:25 | print_i64(...) | |
| variables.rs:494:5:494:5 | a | variables.rs:494:5:494:9 | a.val | |
| variables.rs:494:5:494:9 | a.val | variables.rs:494:13:494:13 | 5 | |
| variables.rs:494:5:494:13 | ... = ... | variables.rs:495:5:495:26 | ExprStmt | |
| variables.rs:494:5:494:14 | ExprStmt | variables.rs:494:5:494:5 | a | |
| variables.rs:494:13:494:13 | 5 | variables.rs:494:5:494:13 | ... = ... | |
| variables.rs:495:5:495:13 | print_i64 | variables.rs:495:15:495:15 | a | |
| variables.rs:495:5:495:25 | print_i64(...) | variables.rs:496:5:496:28 | ExprStmt | |
| variables.rs:495:5:495:26 | ExprStmt | variables.rs:495:5:495:13 | print_i64 | |
| variables.rs:495:15:495:15 | a | variables.rs:495:15:495:24 | a.my_get(...) | |
| variables.rs:495:15:495:24 | a.my_get(...) | variables.rs:495:5:495:25 | print_i64(...) | |
| variables.rs:496:5:496:5 | a | variables.rs:496:25:496:25 | 2 | |
| variables.rs:496:5:496:27 | ... = ... | variables.rs:497:5:497:26 | ExprStmt | |
| variables.rs:496:5:496:28 | ExprStmt | variables.rs:496:5:496:5 | a | |
| variables.rs:496:9:496:27 | MyStruct {...} | variables.rs:496:5:496:27 | ... = ... | |
| variables.rs:496:25:496:25 | 2 | variables.rs:496:9:496:27 | MyStruct {...} | |
| variables.rs:497:5:497:13 | print_i64 | variables.rs:497:15:497:15 | a | |
| variables.rs:497:5:497:25 | print_i64(...) | variables.rs:491:14:498:1 | { ... } | |
| variables.rs:497:5:497:26 | ExprStmt | variables.rs:497:5:497:13 | print_i64 | |
| variables.rs:497:15:497:15 | a | variables.rs:497:15:497:24 | a.my_get(...) | |
| variables.rs:497:15:497:24 | a.my_get(...) | variables.rs:497:5:497:25 | print_i64(...) | |
| variables.rs:500:1:507:1 | enter fn arrays | variables.rs:501:5:501:26 | let ... = ... | |
| variables.rs:500:1:507:1 | exit fn arrays (normal) | variables.rs:500:1:507:1 | exit fn arrays | |
| variables.rs:500:13:507:1 | { ... } | variables.rs:500:1:507:1 | exit fn arrays (normal) | |
| variables.rs:501:5:501:26 | let ... = ... | variables.rs:501:18:501:18 | 1 | |
| variables.rs:501:9:501:13 | a | variables.rs:502:5:502:20 | ExprStmt | match |
| variables.rs:501:17:501:25 | [...] | variables.rs:501:9:501:13 | a | |
| variables.rs:501:18:501:18 | 1 | variables.rs:501:21:501:21 | 2 | |
| variables.rs:501:21:501:21 | 2 | variables.rs:501:24:501:24 | 3 | |
| variables.rs:501:24:501:24 | 3 | variables.rs:501:17:501:25 | [...] | |
| variables.rs:490:5:497:5 | enter fn my_method | variables.rs:490:23:490:26 | self | |
| variables.rs:490:5:497:5 | exit fn my_method (normal) | variables.rs:490:5:497:5 | exit fn my_method | |
| variables.rs:490:18:490:26 | SelfParam | variables.rs:491:9:494:10 | let ... = ... | |
| variables.rs:490:23:490:26 | self | variables.rs:490:18:490:26 | SelfParam | |
| variables.rs:490:29:497:5 | { ... } | variables.rs:490:5:497:5 | exit fn my_method (normal) | |
| variables.rs:491:9:494:10 | let ... = ... | variables.rs:491:21:494:9 | \|...\| ... | |
| variables.rs:491:13:491:17 | f | variables.rs:495:9:495:13 | ExprStmt | match |
| variables.rs:491:21:494:9 | \|...\| ... | variables.rs:491:13:491:17 | f | |
| variables.rs:491:21:494:9 | enter \|...\| ... | variables.rs:491:22:491:22 | n | |
| variables.rs:491:21:494:9 | exit \|...\| ... (normal) | variables.rs:491:21:494:9 | exit \|...\| ... | |
| variables.rs:491:22:491:22 | ... | variables.rs:493:13:493:26 | ExprStmt | |
| variables.rs:491:22:491:22 | n | variables.rs:491:22:491:22 | ... | match |
| variables.rs:491:25:494:9 | { ... } | variables.rs:491:21:494:9 | exit \|...\| ... (normal) | |
| variables.rs:493:13:493:16 | self | variables.rs:493:13:493:20 | self.val | |
| variables.rs:493:13:493:20 | self.val | variables.rs:493:25:493:25 | n | |
| variables.rs:493:13:493:25 | ... += ... | variables.rs:491:25:494:9 | { ... } | |
| variables.rs:493:13:493:26 | ExprStmt | variables.rs:493:13:493:16 | self | |
| variables.rs:493:25:493:25 | n | variables.rs:493:13:493:25 | ... += ... | |
| variables.rs:495:9:495:9 | f | variables.rs:495:11:495:11 | 3 | |
| variables.rs:495:9:495:12 | f(...) | variables.rs:496:9:496:13 | ExprStmt | |
| variables.rs:495:9:495:13 | ExprStmt | variables.rs:495:9:495:9 | f | |
| variables.rs:495:11:495:11 | 3 | variables.rs:495:9:495:12 | f(...) | |
| variables.rs:496:9:496:9 | f | variables.rs:496:11:496:11 | 4 | |
| variables.rs:496:9:496:12 | f(...) | variables.rs:490:29:497:5 | { ... } | |
| variables.rs:496:9:496:13 | ExprStmt | variables.rs:496:9:496:9 | f | |
| variables.rs:496:11:496:11 | 4 | variables.rs:496:9:496:12 | f(...) | |
| variables.rs:500:1:507:1 | enter fn structs | variables.rs:501:5:501:36 | let ... = ... | |
| variables.rs:500:1:507:1 | exit fn structs (normal) | variables.rs:500:1:507:1 | exit fn structs | |
| variables.rs:500:14:507:1 | { ... } | variables.rs:500:1:507:1 | exit fn structs (normal) | |
| variables.rs:501:5:501:36 | let ... = ... | variables.rs:501:33:501:33 | 1 | |
| variables.rs:501:9:501:13 | a | variables.rs:502:5:502:26 | ExprStmt | match |
| variables.rs:501:17:501:35 | MyStruct {...} | variables.rs:501:9:501:13 | a | |
| variables.rs:501:33:501:33 | 1 | variables.rs:501:17:501:35 | MyStruct {...} | |
| variables.rs:502:5:502:13 | print_i64 | variables.rs:502:15:502:15 | a | |
| variables.rs:502:5:502:19 | print_i64(...) | variables.rs:503:5:503:13 | ExprStmt | |
| variables.rs:502:5:502:20 | ExprStmt | variables.rs:502:5:502:13 | print_i64 | |
| variables.rs:502:15:502:15 | a | variables.rs:502:17:502:17 | 0 | |
| variables.rs:502:15:502:18 | a[0] | variables.rs:502:5:502:19 | print_i64(...) | |
| variables.rs:502:17:502:17 | 0 | variables.rs:502:15:502:18 | a[0] | |
| variables.rs:503:5:503:5 | a | variables.rs:503:7:503:7 | 1 | |
| variables.rs:503:5:503:8 | a[1] | variables.rs:503:12:503:12 | 5 | |
| variables.rs:503:5:503:12 | ... = ... | variables.rs:504:5:504:20 | ExprStmt | |
| variables.rs:503:5:503:13 | ExprStmt | variables.rs:503:5:503:5 | a | |
| variables.rs:503:7:503:7 | 1 | variables.rs:503:5:503:8 | a[1] | |
| variables.rs:503:12:503:12 | 5 | variables.rs:503:5:503:12 | ... = ... | |
| variables.rs:502:5:502:25 | print_i64(...) | variables.rs:503:5:503:14 | ExprStmt | |
| variables.rs:502:5:502:26 | ExprStmt | variables.rs:502:5:502:13 | print_i64 | |
| variables.rs:502:15:502:15 | a | variables.rs:502:15:502:24 | a.my_get(...) | |
| variables.rs:502:15:502:24 | a.my_get(...) | variables.rs:502:5:502:25 | print_i64(...) | |
| variables.rs:503:5:503:5 | a | variables.rs:503:5:503:9 | a.val | |
| variables.rs:503:5:503:9 | a.val | variables.rs:503:13:503:13 | 5 | |
| variables.rs:503:5:503:13 | ... = ... | variables.rs:504:5:504:26 | ExprStmt | |
| variables.rs:503:5:503:14 | ExprStmt | variables.rs:503:5:503:5 | a | |
| variables.rs:503:13:503:13 | 5 | variables.rs:503:5:503:13 | ... = ... | |
| variables.rs:504:5:504:13 | print_i64 | variables.rs:504:15:504:15 | a | |
| variables.rs:504:5:504:19 | print_i64(...) | variables.rs:505:5:505:18 | ExprStmt | |
| variables.rs:504:5:504:20 | ExprStmt | variables.rs:504:5:504:13 | print_i64 | |
| variables.rs:504:15:504:15 | a | variables.rs:504:17:504:17 | 1 | |
| variables.rs:504:15:504:18 | a[1] | variables.rs:504:5:504:19 | print_i64(...) | |
| variables.rs:504:17:504:17 | 1 | variables.rs:504:15:504:18 | a[1] | |
| variables.rs:505:5:505:5 | a | variables.rs:505:10:505:10 | 4 | |
| variables.rs:505:5:505:17 | ... = ... | variables.rs:506:5:506:20 | ExprStmt | |
| variables.rs:505:5:505:18 | ExprStmt | variables.rs:505:5:505:5 | a | |
| variables.rs:505:9:505:17 | [...] | variables.rs:505:5:505:17 | ... = ... | |
| variables.rs:505:10:505:10 | 4 | variables.rs:505:13:505:13 | 5 | |
| variables.rs:505:13:505:13 | 5 | variables.rs:505:16:505:16 | 6 | |
| variables.rs:505:16:505:16 | 6 | variables.rs:505:9:505:17 | [...] | |
| variables.rs:504:5:504:25 | print_i64(...) | variables.rs:505:5:505:28 | ExprStmt | |
| variables.rs:504:5:504:26 | ExprStmt | variables.rs:504:5:504:13 | print_i64 | |
| variables.rs:504:15:504:15 | a | variables.rs:504:15:504:24 | a.my_get(...) | |
| variables.rs:504:15:504:24 | a.my_get(...) | variables.rs:504:5:504:25 | print_i64(...) | |
| variables.rs:505:5:505:5 | a | variables.rs:505:25:505:25 | 2 | |
| variables.rs:505:5:505:27 | ... = ... | variables.rs:506:5:506:26 | ExprStmt | |
| variables.rs:505:5:505:28 | ExprStmt | variables.rs:505:5:505:5 | a | |
| variables.rs:505:9:505:27 | MyStruct {...} | variables.rs:505:5:505:27 | ... = ... | |
| variables.rs:505:25:505:25 | 2 | variables.rs:505:9:505:27 | MyStruct {...} | |
| variables.rs:506:5:506:13 | print_i64 | variables.rs:506:15:506:15 | a | |
| variables.rs:506:5:506:19 | print_i64(...) | variables.rs:500:13:507:1 | { ... } | |
| variables.rs:506:5:506:20 | ExprStmt | variables.rs:506:5:506:13 | print_i64 | |
| variables.rs:506:15:506:15 | a | variables.rs:506:17:506:17 | 2 | |
| variables.rs:506:15:506:18 | a[2] | variables.rs:506:5:506:19 | print_i64(...) | |
| variables.rs:506:17:506:17 | 2 | variables.rs:506:15:506:18 | a[2] | |
| variables.rs:509:1:516:1 | enter fn ref_arg | variables.rs:510:5:510:15 | let ... = 16 | |
| variables.rs:509:1:516:1 | exit fn ref_arg (normal) | variables.rs:509:1:516:1 | exit fn ref_arg | |
| variables.rs:509:14:516:1 | { ... } | variables.rs:509:1:516:1 | exit fn ref_arg (normal) | |
| variables.rs:510:5:510:15 | let ... = 16 | variables.rs:510:13:510:14 | 16 | |
| variables.rs:510:9:510:9 | x | variables.rs:511:5:511:22 | ExprStmt | match |
| variables.rs:510:13:510:14 | 16 | variables.rs:510:9:510:9 | x | |
| variables.rs:511:5:511:17 | print_i64_ref | variables.rs:511:20:511:20 | x | |
| variables.rs:511:5:511:21 | print_i64_ref(...) | variables.rs:512:5:512:17 | ExprStmt | |
| variables.rs:511:5:511:22 | ExprStmt | variables.rs:511:5:511:17 | print_i64_ref | |
| variables.rs:511:19:511:20 | &x | variables.rs:511:5:511:21 | print_i64_ref(...) | |
| variables.rs:511:20:511:20 | x | variables.rs:511:19:511:20 | &x | |
| variables.rs:512:5:512:13 | print_i64 | variables.rs:512:15:512:15 | x | |
| variables.rs:512:5:512:16 | print_i64(...) | variables.rs:514:5:514:15 | let ... = 17 | |
| variables.rs:512:5:512:17 | ExprStmt | variables.rs:512:5:512:13 | print_i64 | |
| variables.rs:512:15:512:15 | x | variables.rs:512:5:512:16 | print_i64(...) | |
| variables.rs:514:5:514:15 | let ... = 17 | variables.rs:514:13:514:14 | 17 | |
| variables.rs:514:9:514:9 | z | variables.rs:515:5:515:22 | ExprStmt | match |
| variables.rs:514:13:514:14 | 17 | variables.rs:514:9:514:9 | z | |
| variables.rs:515:5:515:17 | print_i64_ref | variables.rs:515:20:515:20 | z | |
| variables.rs:515:5:515:21 | print_i64_ref(...) | variables.rs:509:14:516:1 | { ... } | |
| variables.rs:515:5:515:22 | ExprStmt | variables.rs:515:5:515:17 | print_i64_ref | |
| variables.rs:515:19:515:20 | &z | variables.rs:515:5:515:21 | print_i64_ref(...) | |
| variables.rs:515:20:515:20 | z | variables.rs:515:19:515:20 | &z | |
| variables.rs:523:3:525:3 | enter fn bar | variables.rs:523:15:523:18 | self | |
| variables.rs:523:3:525:3 | exit fn bar (normal) | variables.rs:523:3:525:3 | exit fn bar | |
| variables.rs:523:10:523:18 | SelfParam | variables.rs:524:5:524:32 | ExprStmt | |
| variables.rs:523:15:523:18 | self | variables.rs:523:10:523:18 | SelfParam | |
| variables.rs:523:21:525:3 | { ... } | variables.rs:523:3:525:3 | exit fn bar (normal) | |
| variables.rs:524:5:524:9 | * ... | variables.rs:524:29:524:29 | 3 | |
| variables.rs:524:5:524:31 | ... = ... | variables.rs:523:21:525:3 | { ... } | |
| variables.rs:524:5:524:32 | ExprStmt | variables.rs:524:6:524:9 | self | |
| variables.rs:524:6:524:9 | self | variables.rs:524:5:524:9 | * ... | |
| variables.rs:524:13:524:31 | MyStruct {...} | variables.rs:524:5:524:31 | ... = ... | |
| variables.rs:524:29:524:29 | 3 | variables.rs:524:13:524:31 | MyStruct {...} | |
| variables.rs:528:1:533:1 | enter fn ref_methodcall_receiver | variables.rs:529:3:529:34 | let ... = ... | |
| variables.rs:528:1:533:1 | exit fn ref_methodcall_receiver (normal) | variables.rs:528:1:533:1 | exit fn ref_methodcall_receiver | |
| variables.rs:528:30:533:1 | { ... } | variables.rs:528:1:533:1 | exit fn ref_methodcall_receiver (normal) | |
| variables.rs:529:3:529:34 | let ... = ... | variables.rs:529:31:529:31 | 1 | |
| variables.rs:529:7:529:11 | a | variables.rs:530:3:530:10 | ExprStmt | match |
| variables.rs:529:15:529:33 | MyStruct {...} | variables.rs:529:7:529:11 | a | |
| variables.rs:529:31:529:31 | 1 | variables.rs:529:15:529:33 | MyStruct {...} | |
| variables.rs:530:3:530:3 | a | variables.rs:530:3:530:9 | a.bar(...) | |
| variables.rs:530:3:530:9 | a.bar(...) | variables.rs:532:3:532:19 | ExprStmt | |
| variables.rs:530:3:530:10 | ExprStmt | variables.rs:530:3:530:3 | a | |
| variables.rs:532:3:532:11 | print_i64 | variables.rs:532:13:532:13 | a | |
| variables.rs:532:3:532:18 | print_i64(...) | variables.rs:528:30:533:1 | { ... } | |
| variables.rs:532:3:532:19 | ExprStmt | variables.rs:532:3:532:11 | print_i64 | |
| variables.rs:532:13:532:13 | a | variables.rs:532:13:532:17 | a.val | |
| variables.rs:532:13:532:17 | a.val | variables.rs:532:3:532:18 | print_i64(...) | |
| variables.rs:535:1:569:1 | enter fn main | variables.rs:536:5:536:25 | ExprStmt | |
| variables.rs:535:1:569:1 | exit fn main (normal) | variables.rs:535:1:569:1 | exit fn main | |
| variables.rs:535:11:569:1 | { ... } | variables.rs:535:1:569:1 | exit fn main (normal) | |
| variables.rs:536:5:536:22 | immutable_variable | variables.rs:536:5:536:24 | immutable_variable(...) | |
| variables.rs:536:5:536:24 | immutable_variable(...) | variables.rs:537:5:537:23 | ExprStmt | |
| variables.rs:536:5:536:25 | ExprStmt | variables.rs:536:5:536:22 | immutable_variable | |
| variables.rs:537:5:537:20 | mutable_variable | variables.rs:537:5:537:22 | mutable_variable(...) | |
| variables.rs:537:5:537:22 | mutable_variable(...) | variables.rs:538:5:538:40 | ExprStmt | |
| variables.rs:537:5:537:23 | ExprStmt | variables.rs:537:5:537:20 | mutable_variable | |
| variables.rs:538:5:538:37 | mutable_variable_immutable_borrow | variables.rs:538:5:538:39 | mutable_variable_immutable_borrow(...) | |
| variables.rs:538:5:538:39 | mutable_variable_immutable_borrow(...) | variables.rs:539:5:539:23 | ExprStmt | |
| variables.rs:538:5:538:40 | ExprStmt | variables.rs:538:5:538:37 | mutable_variable_immutable_borrow | |
| variables.rs:539:5:539:20 | variable_shadow1 | variables.rs:539:5:539:22 | variable_shadow1(...) | |
| variables.rs:539:5:539:22 | variable_shadow1(...) | variables.rs:540:5:540:23 | ExprStmt | |
| variables.rs:539:5:539:23 | ExprStmt | variables.rs:539:5:539:20 | variable_shadow1 | |
| variables.rs:540:5:540:20 | variable_shadow2 | variables.rs:540:5:540:22 | variable_shadow2(...) | |
| variables.rs:540:5:540:22 | variable_shadow2(...) | variables.rs:541:5:541:19 | ExprStmt | |
| variables.rs:540:5:540:23 | ExprStmt | variables.rs:540:5:540:20 | variable_shadow2 | |
| variables.rs:541:5:541:16 | let_pattern1 | variables.rs:541:5:541:18 | let_pattern1(...) | |
| variables.rs:541:5:541:18 | let_pattern1(...) | variables.rs:542:5:542:19 | ExprStmt | |
| variables.rs:541:5:541:19 | ExprStmt | variables.rs:541:5:541:16 | let_pattern1 | |
| variables.rs:542:5:542:16 | let_pattern2 | variables.rs:542:5:542:18 | let_pattern2(...) | |
| variables.rs:542:5:542:18 | let_pattern2(...) | variables.rs:543:5:543:19 | ExprStmt | |
| variables.rs:542:5:542:19 | ExprStmt | variables.rs:542:5:542:16 | let_pattern2 | |
| variables.rs:543:5:543:16 | let_pattern3 | variables.rs:543:5:543:18 | let_pattern3(...) | |
| variables.rs:543:5:543:18 | let_pattern3(...) | variables.rs:544:5:544:19 | ExprStmt | |
| variables.rs:543:5:543:19 | ExprStmt | variables.rs:543:5:543:16 | let_pattern3 | |
| variables.rs:544:5:544:16 | let_pattern4 | variables.rs:544:5:544:18 | let_pattern4(...) | |
| variables.rs:544:5:544:18 | let_pattern4(...) | variables.rs:545:5:545:21 | ExprStmt | |
| variables.rs:544:5:544:19 | ExprStmt | variables.rs:544:5:544:16 | let_pattern4 | |
| variables.rs:545:5:545:18 | match_pattern1 | variables.rs:545:5:545:20 | match_pattern1(...) | |
| variables.rs:545:5:545:20 | match_pattern1(...) | variables.rs:546:5:546:21 | ExprStmt | |
| variables.rs:545:5:545:21 | ExprStmt | variables.rs:545:5:545:18 | match_pattern1 | |
| variables.rs:546:5:546:18 | match_pattern2 | variables.rs:546:5:546:20 | match_pattern2(...) | |
| variables.rs:546:5:546:20 | match_pattern2(...) | variables.rs:547:5:547:21 | ExprStmt | |
| variables.rs:546:5:546:21 | ExprStmt | variables.rs:546:5:546:18 | match_pattern2 | |
| variables.rs:547:5:547:18 | match_pattern3 | variables.rs:547:5:547:20 | match_pattern3(...) | |
| variables.rs:547:5:547:20 | match_pattern3(...) | variables.rs:548:5:548:21 | ExprStmt | |
| variables.rs:547:5:547:21 | ExprStmt | variables.rs:547:5:547:18 | match_pattern3 | |
| variables.rs:548:5:548:18 | match_pattern4 | variables.rs:548:5:548:20 | match_pattern4(...) | |
| variables.rs:548:5:548:20 | match_pattern4(...) | variables.rs:549:5:549:21 | ExprStmt | |
| variables.rs:548:5:548:21 | ExprStmt | variables.rs:548:5:548:18 | match_pattern4 | |
| variables.rs:549:5:549:18 | match_pattern5 | variables.rs:549:5:549:20 | match_pattern5(...) | |
| variables.rs:549:5:549:20 | match_pattern5(...) | variables.rs:550:5:550:21 | ExprStmt | |
| variables.rs:549:5:549:21 | ExprStmt | variables.rs:549:5:549:18 | match_pattern5 | |
| variables.rs:550:5:550:18 | match_pattern6 | variables.rs:550:5:550:20 | match_pattern6(...) | |
| variables.rs:550:5:550:20 | match_pattern6(...) | variables.rs:551:5:551:21 | ExprStmt | |
| variables.rs:550:5:550:21 | ExprStmt | variables.rs:550:5:550:18 | match_pattern6 | |
| variables.rs:551:5:551:18 | match_pattern7 | variables.rs:551:5:551:20 | match_pattern7(...) | |
| variables.rs:551:5:551:20 | match_pattern7(...) | variables.rs:552:5:552:21 | ExprStmt | |
| variables.rs:551:5:551:21 | ExprStmt | variables.rs:551:5:551:18 | match_pattern7 | |
| variables.rs:552:5:552:18 | match_pattern8 | variables.rs:552:5:552:20 | match_pattern8(...) | |
| variables.rs:552:5:552:20 | match_pattern8(...) | variables.rs:553:5:553:21 | ExprStmt | |
| variables.rs:552:5:552:21 | ExprStmt | variables.rs:552:5:552:18 | match_pattern8 | |
| variables.rs:553:5:553:18 | match_pattern9 | variables.rs:553:5:553:20 | match_pattern9(...) | |
| variables.rs:553:5:553:20 | match_pattern9(...) | variables.rs:554:5:554:36 | ExprStmt | |
| variables.rs:553:5:553:21 | ExprStmt | variables.rs:553:5:553:18 | match_pattern9 | |
| variables.rs:554:5:554:18 | param_pattern1 | variables.rs:554:20:554:22 | "a" | |
| variables.rs:554:5:554:35 | param_pattern1(...) | variables.rs:555:5:555:37 | ExprStmt | |
| variables.rs:554:5:554:36 | ExprStmt | variables.rs:554:5:554:18 | param_pattern1 | |
| variables.rs:554:20:554:22 | "a" | variables.rs:554:26:554:28 | "b" | |
| variables.rs:554:25:554:34 | TupleExpr | variables.rs:554:5:554:35 | param_pattern1(...) | |
| variables.rs:554:26:554:28 | "b" | variables.rs:554:31:554:33 | "c" | |
| variables.rs:554:31:554:33 | "c" | variables.rs:554:25:554:34 | TupleExpr | |
| variables.rs:555:5:555:18 | param_pattern2 | variables.rs:555:20:555:31 | ...::Left | |
| variables.rs:555:5:555:36 | param_pattern2(...) | variables.rs:556:5:556:26 | ExprStmt | |
| variables.rs:555:5:555:37 | ExprStmt | variables.rs:555:5:555:18 | param_pattern2 | |
| variables.rs:555:20:555:31 | ...::Left | variables.rs:555:33:555:34 | 45 | |
| variables.rs:555:20:555:35 | ...::Left(...) | variables.rs:555:5:555:36 | param_pattern2(...) | |
| variables.rs:555:33:555:34 | 45 | variables.rs:555:20:555:35 | ...::Left(...) | |
| variables.rs:556:5:556:23 | destruct_assignment | variables.rs:556:5:556:25 | destruct_assignment(...) | |
| variables.rs:556:5:556:25 | destruct_assignment(...) | variables.rs:557:5:557:23 | ExprStmt | |
| variables.rs:556:5:556:26 | ExprStmt | variables.rs:556:5:556:23 | destruct_assignment | |
| variables.rs:557:5:557:20 | closure_variable | variables.rs:557:5:557:22 | closure_variable(...) | |
| variables.rs:557:5:557:22 | closure_variable(...) | variables.rs:558:5:558:19 | ExprStmt | |
| variables.rs:557:5:557:23 | ExprStmt | variables.rs:557:5:557:20 | closure_variable | |
| variables.rs:558:5:558:16 | for_variable | variables.rs:558:5:558:18 | for_variable(...) | |
| variables.rs:558:5:558:18 | for_variable(...) | variables.rs:559:5:559:17 | ExprStmt | |
| variables.rs:558:5:558:19 | ExprStmt | variables.rs:558:5:558:16 | for_variable | |
| variables.rs:559:5:559:14 | add_assign | variables.rs:559:5:559:16 | add_assign(...) | |
| variables.rs:559:5:559:16 | add_assign(...) | variables.rs:560:5:560:13 | ExprStmt | |
| variables.rs:559:5:559:17 | ExprStmt | variables.rs:559:5:559:14 | add_assign | |
| variables.rs:560:5:560:10 | mutate | variables.rs:560:5:560:12 | mutate(...) | |
| variables.rs:560:5:560:12 | mutate(...) | variables.rs:561:5:561:17 | ExprStmt | |
| variables.rs:560:5:560:13 | ExprStmt | variables.rs:560:5:560:10 | mutate | |
| variables.rs:561:5:561:14 | mutate_arg | variables.rs:561:5:561:16 | mutate_arg(...) | |
| variables.rs:561:5:561:16 | mutate_arg(...) | variables.rs:562:5:562:12 | ExprStmt | |
| variables.rs:561:5:561:17 | ExprStmt | variables.rs:561:5:561:14 | mutate_arg | |
| variables.rs:562:5:562:9 | alias | variables.rs:562:5:562:11 | alias(...) | |
| variables.rs:562:5:562:11 | alias(...) | variables.rs:563:5:563:18 | ExprStmt | |
| variables.rs:562:5:562:12 | ExprStmt | variables.rs:562:5:562:9 | alias | |
| variables.rs:563:5:563:15 | capture_mut | variables.rs:563:5:563:17 | capture_mut(...) | |
| variables.rs:563:5:563:17 | capture_mut(...) | variables.rs:564:5:564:20 | ExprStmt | |
| variables.rs:563:5:563:18 | ExprStmt | variables.rs:563:5:563:15 | capture_mut | |
| variables.rs:564:5:564:17 | capture_immut | variables.rs:564:5:564:19 | capture_immut(...) | |
| variables.rs:564:5:564:19 | capture_immut(...) | variables.rs:565:5:565:26 | ExprStmt | |
| variables.rs:564:5:564:20 | ExprStmt | variables.rs:564:5:564:17 | capture_immut | |
| variables.rs:565:5:565:23 | async_block_capture | variables.rs:565:5:565:25 | async_block_capture(...) | |
| variables.rs:565:5:565:25 | async_block_capture(...) | variables.rs:566:5:566:14 | ExprStmt | |
| variables.rs:565:5:565:26 | ExprStmt | variables.rs:565:5:565:23 | async_block_capture | |
| variables.rs:566:5:566:11 | structs | variables.rs:566:5:566:13 | structs(...) | |
| variables.rs:566:5:566:13 | structs(...) | variables.rs:567:5:567:14 | ExprStmt | |
| variables.rs:566:5:566:14 | ExprStmt | variables.rs:566:5:566:11 | structs | |
| variables.rs:567:5:567:11 | ref_arg | variables.rs:567:5:567:13 | ref_arg(...) | |
| variables.rs:567:5:567:13 | ref_arg(...) | variables.rs:568:5:568:30 | ExprStmt | |
| variables.rs:567:5:567:14 | ExprStmt | variables.rs:567:5:567:11 | ref_arg | |
| variables.rs:568:5:568:27 | ref_methodcall_receiver | variables.rs:568:5:568:29 | ref_methodcall_receiver(...) | |
| variables.rs:568:5:568:29 | ref_methodcall_receiver(...) | variables.rs:535:11:569:1 | { ... } | |
| variables.rs:568:5:568:30 | ExprStmt | variables.rs:568:5:568:27 | ref_methodcall_receiver | |
| variables.rs:506:5:506:25 | print_i64(...) | variables.rs:500:14:507:1 | { ... } | |
| variables.rs:506:5:506:26 | ExprStmt | variables.rs:506:5:506:13 | print_i64 | |
| variables.rs:506:15:506:15 | a | variables.rs:506:15:506:24 | a.my_get(...) | |
| variables.rs:506:15:506:24 | a.my_get(...) | variables.rs:506:5:506:25 | print_i64(...) | |
| variables.rs:509:1:516:1 | enter fn arrays | variables.rs:510:5:510:26 | let ... = ... | |
| variables.rs:509:1:516:1 | exit fn arrays (normal) | variables.rs:509:1:516:1 | exit fn arrays | |
| variables.rs:509:13:516:1 | { ... } | variables.rs:509:1:516:1 | exit fn arrays (normal) | |
| variables.rs:510:5:510:26 | let ... = ... | variables.rs:510:18:510:18 | 1 | |
| variables.rs:510:9:510:13 | a | variables.rs:511:5:511:20 | ExprStmt | match |
| variables.rs:510:17:510:25 | [...] | variables.rs:510:9:510:13 | a | |
| variables.rs:510:18:510:18 | 1 | variables.rs:510:21:510:21 | 2 | |
| variables.rs:510:21:510:21 | 2 | variables.rs:510:24:510:24 | 3 | |
| variables.rs:510:24:510:24 | 3 | variables.rs:510:17:510:25 | [...] | |
| variables.rs:511:5:511:13 | print_i64 | variables.rs:511:15:511:15 | a | |
| variables.rs:511:5:511:19 | print_i64(...) | variables.rs:512:5:512:13 | ExprStmt | |
| variables.rs:511:5:511:20 | ExprStmt | variables.rs:511:5:511:13 | print_i64 | |
| variables.rs:511:15:511:15 | a | variables.rs:511:17:511:17 | 0 | |
| variables.rs:511:15:511:18 | a[0] | variables.rs:511:5:511:19 | print_i64(...) | |
| variables.rs:511:17:511:17 | 0 | variables.rs:511:15:511:18 | a[0] | |
| variables.rs:512:5:512:5 | a | variables.rs:512:7:512:7 | 1 | |
| variables.rs:512:5:512:8 | a[1] | variables.rs:512:12:512:12 | 5 | |
| variables.rs:512:5:512:12 | ... = ... | variables.rs:513:5:513:20 | ExprStmt | |
| variables.rs:512:5:512:13 | ExprStmt | variables.rs:512:5:512:5 | a | |
| variables.rs:512:7:512:7 | 1 | variables.rs:512:5:512:8 | a[1] | |
| variables.rs:512:12:512:12 | 5 | variables.rs:512:5:512:12 | ... = ... | |
| variables.rs:513:5:513:13 | print_i64 | variables.rs:513:15:513:15 | a | |
| variables.rs:513:5:513:19 | print_i64(...) | variables.rs:514:5:514:18 | ExprStmt | |
| variables.rs:513:5:513:20 | ExprStmt | variables.rs:513:5:513:13 | print_i64 | |
| variables.rs:513:15:513:15 | a | variables.rs:513:17:513:17 | 1 | |
| variables.rs:513:15:513:18 | a[1] | variables.rs:513:5:513:19 | print_i64(...) | |
| variables.rs:513:17:513:17 | 1 | variables.rs:513:15:513:18 | a[1] | |
| variables.rs:514:5:514:5 | a | variables.rs:514:10:514:10 | 4 | |
| variables.rs:514:5:514:17 | ... = ... | variables.rs:515:5:515:20 | ExprStmt | |
| variables.rs:514:5:514:18 | ExprStmt | variables.rs:514:5:514:5 | a | |
| variables.rs:514:9:514:17 | [...] | variables.rs:514:5:514:17 | ... = ... | |
| variables.rs:514:10:514:10 | 4 | variables.rs:514:13:514:13 | 5 | |
| variables.rs:514:13:514:13 | 5 | variables.rs:514:16:514:16 | 6 | |
| variables.rs:514:16:514:16 | 6 | variables.rs:514:9:514:17 | [...] | |
| variables.rs:515:5:515:13 | print_i64 | variables.rs:515:15:515:15 | a | |
| variables.rs:515:5:515:19 | print_i64(...) | variables.rs:509:13:516:1 | { ... } | |
| variables.rs:515:5:515:20 | ExprStmt | variables.rs:515:5:515:13 | print_i64 | |
| variables.rs:515:15:515:15 | a | variables.rs:515:17:515:17 | 2 | |
| variables.rs:515:15:515:18 | a[2] | variables.rs:515:5:515:19 | print_i64(...) | |
| variables.rs:515:17:515:17 | 2 | variables.rs:515:15:515:18 | a[2] | |
| variables.rs:518:1:525:1 | enter fn ref_arg | variables.rs:519:5:519:15 | let ... = 16 | |
| variables.rs:518:1:525:1 | exit fn ref_arg (normal) | variables.rs:518:1:525:1 | exit fn ref_arg | |
| variables.rs:518:14:525:1 | { ... } | variables.rs:518:1:525:1 | exit fn ref_arg (normal) | |
| variables.rs:519:5:519:15 | let ... = 16 | variables.rs:519:13:519:14 | 16 | |
| variables.rs:519:9:519:9 | x | variables.rs:520:5:520:22 | ExprStmt | match |
| variables.rs:519:13:519:14 | 16 | variables.rs:519:9:519:9 | x | |
| variables.rs:520:5:520:17 | print_i64_ref | variables.rs:520:20:520:20 | x | |
| variables.rs:520:5:520:21 | print_i64_ref(...) | variables.rs:521:5:521:17 | ExprStmt | |
| variables.rs:520:5:520:22 | ExprStmt | variables.rs:520:5:520:17 | print_i64_ref | |
| variables.rs:520:19:520:20 | &x | variables.rs:520:5:520:21 | print_i64_ref(...) | |
| variables.rs:520:20:520:20 | x | variables.rs:520:19:520:20 | &x | |
| variables.rs:521:5:521:13 | print_i64 | variables.rs:521:15:521:15 | x | |
| variables.rs:521:5:521:16 | print_i64(...) | variables.rs:523:5:523:15 | let ... = 17 | |
| variables.rs:521:5:521:17 | ExprStmt | variables.rs:521:5:521:13 | print_i64 | |
| variables.rs:521:15:521:15 | x | variables.rs:521:5:521:16 | print_i64(...) | |
| variables.rs:523:5:523:15 | let ... = 17 | variables.rs:523:13:523:14 | 17 | |
| variables.rs:523:9:523:9 | z | variables.rs:524:5:524:22 | ExprStmt | match |
| variables.rs:523:13:523:14 | 17 | variables.rs:523:9:523:9 | z | |
| variables.rs:524:5:524:17 | print_i64_ref | variables.rs:524:20:524:20 | z | |
| variables.rs:524:5:524:21 | print_i64_ref(...) | variables.rs:518:14:525:1 | { ... } | |
| variables.rs:524:5:524:22 | ExprStmt | variables.rs:524:5:524:17 | print_i64_ref | |
| variables.rs:524:19:524:20 | &z | variables.rs:524:5:524:21 | print_i64_ref(...) | |
| variables.rs:524:20:524:20 | z | variables.rs:524:19:524:20 | &z | |
| variables.rs:532:3:534:3 | enter fn bar | variables.rs:532:15:532:18 | self | |
| variables.rs:532:3:534:3 | exit fn bar (normal) | variables.rs:532:3:534:3 | exit fn bar | |
| variables.rs:532:10:532:18 | SelfParam | variables.rs:533:5:533:32 | ExprStmt | |
| variables.rs:532:15:532:18 | self | variables.rs:532:10:532:18 | SelfParam | |
| variables.rs:532:21:534:3 | { ... } | variables.rs:532:3:534:3 | exit fn bar (normal) | |
| variables.rs:533:5:533:9 | * ... | variables.rs:533:29:533:29 | 3 | |
| variables.rs:533:5:533:31 | ... = ... | variables.rs:532:21:534:3 | { ... } | |
| variables.rs:533:5:533:32 | ExprStmt | variables.rs:533:6:533:9 | self | |
| variables.rs:533:6:533:9 | self | variables.rs:533:5:533:9 | * ... | |
| variables.rs:533:13:533:31 | MyStruct {...} | variables.rs:533:5:533:31 | ... = ... | |
| variables.rs:533:29:533:29 | 3 | variables.rs:533:13:533:31 | MyStruct {...} | |
| variables.rs:537:1:542:1 | enter fn ref_methodcall_receiver | variables.rs:538:3:538:34 | let ... = ... | |
| variables.rs:537:1:542:1 | exit fn ref_methodcall_receiver (normal) | variables.rs:537:1:542:1 | exit fn ref_methodcall_receiver | |
| variables.rs:537:30:542:1 | { ... } | variables.rs:537:1:542:1 | exit fn ref_methodcall_receiver (normal) | |
| variables.rs:538:3:538:34 | let ... = ... | variables.rs:538:31:538:31 | 1 | |
| variables.rs:538:7:538:11 | a | variables.rs:539:3:539:10 | ExprStmt | match |
| variables.rs:538:15:538:33 | MyStruct {...} | variables.rs:538:7:538:11 | a | |
| variables.rs:538:31:538:31 | 1 | variables.rs:538:15:538:33 | MyStruct {...} | |
| variables.rs:539:3:539:3 | a | variables.rs:539:3:539:9 | a.bar(...) | |
| variables.rs:539:3:539:9 | a.bar(...) | variables.rs:541:3:541:19 | ExprStmt | |
| variables.rs:539:3:539:10 | ExprStmt | variables.rs:539:3:539:3 | a | |
| variables.rs:541:3:541:11 | print_i64 | variables.rs:541:13:541:13 | a | |
| variables.rs:541:3:541:18 | print_i64(...) | variables.rs:537:30:542:1 | { ... } | |
| variables.rs:541:3:541:19 | ExprStmt | variables.rs:541:3:541:11 | print_i64 | |
| variables.rs:541:13:541:13 | a | variables.rs:541:13:541:17 | a.val | |
| variables.rs:541:13:541:17 | a.val | variables.rs:541:3:541:18 | print_i64(...) | |
| variables.rs:544:1:578:1 | enter fn main | variables.rs:545:5:545:25 | ExprStmt | |
| variables.rs:544:1:578:1 | exit fn main (normal) | variables.rs:544:1:578:1 | exit fn main | |
| variables.rs:544:11:578:1 | { ... } | variables.rs:544:1:578:1 | exit fn main (normal) | |
| variables.rs:545:5:545:22 | immutable_variable | variables.rs:545:5:545:24 | immutable_variable(...) | |
| variables.rs:545:5:545:24 | immutable_variable(...) | variables.rs:546:5:546:23 | ExprStmt | |
| variables.rs:545:5:545:25 | ExprStmt | variables.rs:545:5:545:22 | immutable_variable | |
| variables.rs:546:5:546:20 | mutable_variable | variables.rs:546:5:546:22 | mutable_variable(...) | |
| variables.rs:546:5:546:22 | mutable_variable(...) | variables.rs:547:5:547:40 | ExprStmt | |
| variables.rs:546:5:546:23 | ExprStmt | variables.rs:546:5:546:20 | mutable_variable | |
| variables.rs:547:5:547:37 | mutable_variable_immutable_borrow | variables.rs:547:5:547:39 | mutable_variable_immutable_borrow(...) | |
| variables.rs:547:5:547:39 | mutable_variable_immutable_borrow(...) | variables.rs:548:5:548:23 | ExprStmt | |
| variables.rs:547:5:547:40 | ExprStmt | variables.rs:547:5:547:37 | mutable_variable_immutable_borrow | |
| variables.rs:548:5:548:20 | variable_shadow1 | variables.rs:548:5:548:22 | variable_shadow1(...) | |
| variables.rs:548:5:548:22 | variable_shadow1(...) | variables.rs:549:5:549:23 | ExprStmt | |
| variables.rs:548:5:548:23 | ExprStmt | variables.rs:548:5:548:20 | variable_shadow1 | |
| variables.rs:549:5:549:20 | variable_shadow2 | variables.rs:549:5:549:22 | variable_shadow2(...) | |
| variables.rs:549:5:549:22 | variable_shadow2(...) | variables.rs:550:5:550:19 | ExprStmt | |
| variables.rs:549:5:549:23 | ExprStmt | variables.rs:549:5:549:20 | variable_shadow2 | |
| variables.rs:550:5:550:16 | let_pattern1 | variables.rs:550:5:550:18 | let_pattern1(...) | |
| variables.rs:550:5:550:18 | let_pattern1(...) | variables.rs:551:5:551:19 | ExprStmt | |
| variables.rs:550:5:550:19 | ExprStmt | variables.rs:550:5:550:16 | let_pattern1 | |
| variables.rs:551:5:551:16 | let_pattern2 | variables.rs:551:5:551:18 | let_pattern2(...) | |
| variables.rs:551:5:551:18 | let_pattern2(...) | variables.rs:552:5:552:19 | ExprStmt | |
| variables.rs:551:5:551:19 | ExprStmt | variables.rs:551:5:551:16 | let_pattern2 | |
| variables.rs:552:5:552:16 | let_pattern3 | variables.rs:552:5:552:18 | let_pattern3(...) | |
| variables.rs:552:5:552:18 | let_pattern3(...) | variables.rs:553:5:553:19 | ExprStmt | |
| variables.rs:552:5:552:19 | ExprStmt | variables.rs:552:5:552:16 | let_pattern3 | |
| variables.rs:553:5:553:16 | let_pattern4 | variables.rs:553:5:553:18 | let_pattern4(...) | |
| variables.rs:553:5:553:18 | let_pattern4(...) | variables.rs:554:5:554:21 | ExprStmt | |
| variables.rs:553:5:553:19 | ExprStmt | variables.rs:553:5:553:16 | let_pattern4 | |
| variables.rs:554:5:554:18 | match_pattern1 | variables.rs:554:5:554:20 | match_pattern1(...) | |
| variables.rs:554:5:554:20 | match_pattern1(...) | variables.rs:555:5:555:21 | ExprStmt | |
| variables.rs:554:5:554:21 | ExprStmt | variables.rs:554:5:554:18 | match_pattern1 | |
| variables.rs:555:5:555:18 | match_pattern2 | variables.rs:555:5:555:20 | match_pattern2(...) | |
| variables.rs:555:5:555:20 | match_pattern2(...) | variables.rs:556:5:556:21 | ExprStmt | |
| variables.rs:555:5:555:21 | ExprStmt | variables.rs:555:5:555:18 | match_pattern2 | |
| variables.rs:556:5:556:18 | match_pattern3 | variables.rs:556:5:556:20 | match_pattern3(...) | |
| variables.rs:556:5:556:20 | match_pattern3(...) | variables.rs:557:5:557:21 | ExprStmt | |
| variables.rs:556:5:556:21 | ExprStmt | variables.rs:556:5:556:18 | match_pattern3 | |
| variables.rs:557:5:557:18 | match_pattern4 | variables.rs:557:5:557:20 | match_pattern4(...) | |
| variables.rs:557:5:557:20 | match_pattern4(...) | variables.rs:558:5:558:21 | ExprStmt | |
| variables.rs:557:5:557:21 | ExprStmt | variables.rs:557:5:557:18 | match_pattern4 | |
| variables.rs:558:5:558:18 | match_pattern5 | variables.rs:558:5:558:20 | match_pattern5(...) | |
| variables.rs:558:5:558:20 | match_pattern5(...) | variables.rs:559:5:559:21 | ExprStmt | |
| variables.rs:558:5:558:21 | ExprStmt | variables.rs:558:5:558:18 | match_pattern5 | |
| variables.rs:559:5:559:18 | match_pattern6 | variables.rs:559:5:559:20 | match_pattern6(...) | |
| variables.rs:559:5:559:20 | match_pattern6(...) | variables.rs:560:5:560:21 | ExprStmt | |
| variables.rs:559:5:559:21 | ExprStmt | variables.rs:559:5:559:18 | match_pattern6 | |
| variables.rs:560:5:560:18 | match_pattern7 | variables.rs:560:5:560:20 | match_pattern7(...) | |
| variables.rs:560:5:560:20 | match_pattern7(...) | variables.rs:561:5:561:21 | ExprStmt | |
| variables.rs:560:5:560:21 | ExprStmt | variables.rs:560:5:560:18 | match_pattern7 | |
| variables.rs:561:5:561:18 | match_pattern8 | variables.rs:561:5:561:20 | match_pattern8(...) | |
| variables.rs:561:5:561:20 | match_pattern8(...) | variables.rs:562:5:562:21 | ExprStmt | |
| variables.rs:561:5:561:21 | ExprStmt | variables.rs:561:5:561:18 | match_pattern8 | |
| variables.rs:562:5:562:18 | match_pattern9 | variables.rs:562:5:562:20 | match_pattern9(...) | |
| variables.rs:562:5:562:20 | match_pattern9(...) | variables.rs:563:5:563:36 | ExprStmt | |
| variables.rs:562:5:562:21 | ExprStmt | variables.rs:562:5:562:18 | match_pattern9 | |
| variables.rs:563:5:563:18 | param_pattern1 | variables.rs:563:20:563:22 | "a" | |
| variables.rs:563:5:563:35 | param_pattern1(...) | variables.rs:564:5:564:37 | ExprStmt | |
| variables.rs:563:5:563:36 | ExprStmt | variables.rs:563:5:563:18 | param_pattern1 | |
| variables.rs:563:20:563:22 | "a" | variables.rs:563:26:563:28 | "b" | |
| variables.rs:563:25:563:34 | TupleExpr | variables.rs:563:5:563:35 | param_pattern1(...) | |
| variables.rs:563:26:563:28 | "b" | variables.rs:563:31:563:33 | "c" | |
| variables.rs:563:31:563:33 | "c" | variables.rs:563:25:563:34 | TupleExpr | |
| variables.rs:564:5:564:18 | param_pattern2 | variables.rs:564:20:564:31 | ...::Left | |
| variables.rs:564:5:564:36 | param_pattern2(...) | variables.rs:565:5:565:26 | ExprStmt | |
| variables.rs:564:5:564:37 | ExprStmt | variables.rs:564:5:564:18 | param_pattern2 | |
| variables.rs:564:20:564:31 | ...::Left | variables.rs:564:33:564:34 | 45 | |
| variables.rs:564:20:564:35 | ...::Left(...) | variables.rs:564:5:564:36 | param_pattern2(...) | |
| variables.rs:564:33:564:34 | 45 | variables.rs:564:20:564:35 | ...::Left(...) | |
| variables.rs:565:5:565:23 | destruct_assignment | variables.rs:565:5:565:25 | destruct_assignment(...) | |
| variables.rs:565:5:565:25 | destruct_assignment(...) | variables.rs:566:5:566:23 | ExprStmt | |
| variables.rs:565:5:565:26 | ExprStmt | variables.rs:565:5:565:23 | destruct_assignment | |
| variables.rs:566:5:566:20 | closure_variable | variables.rs:566:5:566:22 | closure_variable(...) | |
| variables.rs:566:5:566:22 | closure_variable(...) | variables.rs:567:5:567:19 | ExprStmt | |
| variables.rs:566:5:566:23 | ExprStmt | variables.rs:566:5:566:20 | closure_variable | |
| variables.rs:567:5:567:16 | for_variable | variables.rs:567:5:567:18 | for_variable(...) | |
| variables.rs:567:5:567:18 | for_variable(...) | variables.rs:568:5:568:17 | ExprStmt | |
| variables.rs:567:5:567:19 | ExprStmt | variables.rs:567:5:567:16 | for_variable | |
| variables.rs:568:5:568:14 | add_assign | variables.rs:568:5:568:16 | add_assign(...) | |
| variables.rs:568:5:568:16 | add_assign(...) | variables.rs:569:5:569:13 | ExprStmt | |
| variables.rs:568:5:568:17 | ExprStmt | variables.rs:568:5:568:14 | add_assign | |
| variables.rs:569:5:569:10 | mutate | variables.rs:569:5:569:12 | mutate(...) | |
| variables.rs:569:5:569:12 | mutate(...) | variables.rs:570:5:570:17 | ExprStmt | |
| variables.rs:569:5:569:13 | ExprStmt | variables.rs:569:5:569:10 | mutate | |
| variables.rs:570:5:570:14 | mutate_arg | variables.rs:570:5:570:16 | mutate_arg(...) | |
| variables.rs:570:5:570:16 | mutate_arg(...) | variables.rs:571:5:571:12 | ExprStmt | |
| variables.rs:570:5:570:17 | ExprStmt | variables.rs:570:5:570:14 | mutate_arg | |
| variables.rs:571:5:571:9 | alias | variables.rs:571:5:571:11 | alias(...) | |
| variables.rs:571:5:571:11 | alias(...) | variables.rs:572:5:572:18 | ExprStmt | |
| variables.rs:571:5:571:12 | ExprStmt | variables.rs:571:5:571:9 | alias | |
| variables.rs:572:5:572:15 | capture_mut | variables.rs:572:5:572:17 | capture_mut(...) | |
| variables.rs:572:5:572:17 | capture_mut(...) | variables.rs:573:5:573:20 | ExprStmt | |
| variables.rs:572:5:572:18 | ExprStmt | variables.rs:572:5:572:15 | capture_mut | |
| variables.rs:573:5:573:17 | capture_immut | variables.rs:573:5:573:19 | capture_immut(...) | |
| variables.rs:573:5:573:19 | capture_immut(...) | variables.rs:574:5:574:26 | ExprStmt | |
| variables.rs:573:5:573:20 | ExprStmt | variables.rs:573:5:573:17 | capture_immut | |
| variables.rs:574:5:574:23 | async_block_capture | variables.rs:574:5:574:25 | async_block_capture(...) | |
| variables.rs:574:5:574:25 | async_block_capture(...) | variables.rs:575:5:575:14 | ExprStmt | |
| variables.rs:574:5:574:26 | ExprStmt | variables.rs:574:5:574:23 | async_block_capture | |
| variables.rs:575:5:575:11 | structs | variables.rs:575:5:575:13 | structs(...) | |
| variables.rs:575:5:575:13 | structs(...) | variables.rs:576:5:576:14 | ExprStmt | |
| variables.rs:575:5:575:14 | ExprStmt | variables.rs:575:5:575:11 | structs | |
| variables.rs:576:5:576:11 | ref_arg | variables.rs:576:5:576:13 | ref_arg(...) | |
| variables.rs:576:5:576:13 | ref_arg(...) | variables.rs:577:5:577:30 | ExprStmt | |
| variables.rs:576:5:576:14 | ExprStmt | variables.rs:576:5:576:11 | ref_arg | |
| variables.rs:577:5:577:27 | ref_methodcall_receiver | variables.rs:577:5:577:29 | ref_methodcall_receiver(...) | |
| variables.rs:577:5:577:29 | ref_methodcall_receiver(...) | variables.rs:544:11:578:1 | { ... } | |
| variables.rs:577:5:577:30 | ExprStmt | variables.rs:577:5:577:27 | ref_methodcall_receiver | |
breakTarget
continueTarget

58
rust/ql/test/library-tests/variables/Ssa.expected
View File

@@ -5,8 +5,8 @@ nonSsaVariable
| variables.rs:379:13:379:13 | z |
| variables.rs:392:13:392:13 | x |
| variables.rs:426:13:426:13 | z |
| variables.rs:492:13:492:13 | a |
| variables.rs:529:11:529:11 | a |
| variables.rs:501:13:501:13 | a |
| variables.rs:538:11:538:11 | a |
definition
| variables.rs:3:14:3:14 | s | variables.rs:3:14:3:14 | s |
| variables.rs:7:14:7:14 | i | variables.rs:7:14:7:14 | i |
@@ -136,11 +136,13 @@ definition
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x |
| variables.rs:482:15:482:23 | SelfParam | variables.rs:482:20:482:23 | self |
| variables.rs:486:11:486:14 | SelfParam | variables.rs:486:11:486:14 | self |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a |
| variables.rs:510:9:510:9 | x | variables.rs:510:9:510:9 | x |
| variables.rs:514:9:514:9 | z | variables.rs:514:9:514:9 | z |
| variables.rs:523:10:523:18 | SelfParam | variables.rs:523:15:523:18 | self |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f |
| variables.rs:491:22:491:22 | n | variables.rs:491:22:491:22 | n |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a |
| variables.rs:519:9:519:9 | x | variables.rs:519:9:519:9 | x |
| variables.rs:523:9:523:9 | z | variables.rs:523:9:523:9 | z |
| variables.rs:532:10:532:18 | SelfParam | variables.rs:532:15:532:18 | self |
read
| variables.rs:3:14:3:14 | s | variables.rs:3:14:3:14 | s | variables.rs:4:20:4:20 | s |
| variables.rs:7:14:7:14 | i | variables.rs:7:14:7:14 | i | variables.rs:8:20:8:20 | i |
@@ -264,12 +266,15 @@ read
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:472:19:472:19 | x |
| variables.rs:482:15:482:23 | SelfParam | variables.rs:482:20:482:23 | self | variables.rs:483:16:483:19 | self |
| variables.rs:486:11:486:14 | SelfParam | variables.rs:486:11:486:14 | self | variables.rs:487:9:487:12 | self |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:502:15:502:15 | a |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:503:5:503:5 | a |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:504:15:504:15 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a | variables.rs:506:15:506:15 | a |
| variables.rs:510:9:510:9 | x | variables.rs:510:9:510:9 | x | variables.rs:512:15:512:15 | x |
| variables.rs:523:10:523:18 | SelfParam | variables.rs:523:15:523:18 | self | variables.rs:524:6:524:9 | self |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f | variables.rs:495:9:495:9 | f |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f | variables.rs:496:9:496:9 | f |
| variables.rs:491:22:491:22 | n | variables.rs:491:22:491:22 | n | variables.rs:493:25:493:25 | n |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:511:15:511:15 | a |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:512:5:512:5 | a |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:513:15:513:15 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a | variables.rs:515:15:515:15 | a |
| variables.rs:519:9:519:9 | x | variables.rs:519:9:519:9 | x | variables.rs:521:15:521:15 | x |
| variables.rs:532:10:532:18 | SelfParam | variables.rs:532:15:532:18 | self | variables.rs:533:6:533:9 | self |
firstRead
| variables.rs:3:14:3:14 | s | variables.rs:3:14:3:14 | s | variables.rs:4:20:4:20 | s |
| variables.rs:7:14:7:14 | i | variables.rs:7:14:7:14 | i | variables.rs:8:20:8:20 | i |
@@ -370,10 +375,12 @@ firstRead
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:466:19:466:19 | x |
| variables.rs:482:15:482:23 | SelfParam | variables.rs:482:20:482:23 | self | variables.rs:483:16:483:19 | self |
| variables.rs:486:11:486:14 | SelfParam | variables.rs:486:11:486:14 | self | variables.rs:487:9:487:12 | self |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:502:15:502:15 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a | variables.rs:506:15:506:15 | a |
| variables.rs:510:9:510:9 | x | variables.rs:510:9:510:9 | x | variables.rs:512:15:512:15 | x |
| variables.rs:523:10:523:18 | SelfParam | variables.rs:523:15:523:18 | self | variables.rs:524:6:524:9 | self |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f | variables.rs:495:9:495:9 | f |
| variables.rs:491:22:491:22 | n | variables.rs:491:22:491:22 | n | variables.rs:493:25:493:25 | n |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:511:15:511:15 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a | variables.rs:515:15:515:15 | a |
| variables.rs:519:9:519:9 | x | variables.rs:519:9:519:9 | x | variables.rs:521:15:521:15 | x |
| variables.rs:532:10:532:18 | SelfParam | variables.rs:532:15:532:18 | self | variables.rs:533:6:533:9 | self |
lastRead
| variables.rs:3:14:3:14 | s | variables.rs:3:14:3:14 | s | variables.rs:4:20:4:20 | s |
| variables.rs:7:14:7:14 | i | variables.rs:7:14:7:14 | i | variables.rs:8:20:8:20 | i |
@@ -475,10 +482,12 @@ lastRead
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:472:19:472:19 | x |
| variables.rs:482:15:482:23 | SelfParam | variables.rs:482:20:482:23 | self | variables.rs:483:16:483:19 | self |
| variables.rs:486:11:486:14 | SelfParam | variables.rs:486:11:486:14 | self | variables.rs:487:9:487:12 | self |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:504:15:504:15 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a | variables.rs:506:15:506:15 | a |
| variables.rs:510:9:510:9 | x | variables.rs:510:9:510:9 | x | variables.rs:512:15:512:15 | x |
| variables.rs:523:10:523:18 | SelfParam | variables.rs:523:15:523:18 | self | variables.rs:524:6:524:9 | self |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f | variables.rs:496:9:496:9 | f |
| variables.rs:491:22:491:22 | n | variables.rs:491:22:491:22 | n | variables.rs:493:25:493:25 | n |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:513:15:513:15 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a | variables.rs:515:15:515:15 | a |
| variables.rs:519:9:519:9 | x | variables.rs:519:9:519:9 | x | variables.rs:521:15:521:15 | x |
| variables.rs:532:10:532:18 | SelfParam | variables.rs:532:15:532:18 | self | variables.rs:533:6:533:9 | self |
adjacentReads
| variables.rs:35:9:35:10 | x3 | variables.rs:35:9:35:10 | x3 | variables.rs:36:15:36:16 | x3 | variables.rs:38:9:38:10 | x3 |
| variables.rs:43:9:43:10 | x4 | variables.rs:43:9:43:10 | x4 | variables.rs:44:15:44:16 | x4 | variables.rs:49:15:49:16 | x4 |
@@ -506,8 +515,9 @@ adjacentReads
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:464:19:464:19 | x | variables.rs:472:19:472:19 | x |
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:466:19:466:19 | x | variables.rs:470:19:470:19 | x |
| variables.rs:462:9:462:9 | x | variables.rs:462:9:462:9 | x | variables.rs:466:19:466:19 | x | variables.rs:472:19:472:19 | x |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:502:15:502:15 | a | variables.rs:503:5:503:5 | a |
| variables.rs:501:9:501:13 | a | variables.rs:501:13:501:13 | a | variables.rs:503:5:503:5 | a | variables.rs:504:15:504:15 | a |
| variables.rs:491:13:491:17 | f | variables.rs:491:17:491:17 | f | variables.rs:495:9:495:9 | f | variables.rs:496:9:496:9 | f |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:511:15:511:15 | a | variables.rs:512:5:512:5 | a |
| variables.rs:510:9:510:13 | a | variables.rs:510:13:510:13 | a | variables.rs:512:5:512:5 | a | variables.rs:513:15:513:15 | a |
phi
| variables.rs:191:9:191:44 | [match(true)] phi | variables.rs:191:9:191:44 | a3 | variables.rs:191:22:191:23 | a3 |
| variables.rs:191:9:191:44 | [match(true)] phi | variables.rs:191:9:191:44 | a3 | variables.rs:191:42:191:43 | a3 |
@@ -583,4 +593,4 @@ assigns
| variables.rs:438:9:438:9 | i | variables.rs:438:13:438:13 | 1 |
| variables.rs:450:9:450:9 | x | variables.rs:450:13:450:13 | 2 |
| variables.rs:454:9:454:9 | x | variables.rs:454:13:454:13 | 3 |
| variables.rs:505:5:505:5 | a | variables.rs:505:9:505:17 | [...] |
| variables.rs:514:5:514:5 | a | variables.rs:514:9:514:17 | [...] |

76
rust/ql/test/library-tests/variables/variables.expected
View File

@@ -1,4 +1,8 @@
testFailures
| variables.rs:493:13:493:16 | self | Unexpected result: read_access=self |
| variables.rs:493:25:493:25 | n | Unexpected result: read_access=n |
| variables.rs:495:9:495:9 | f | Unexpected result: read_access=f |
| variables.rs:496:9:496:9 | f | Unexpected result: read_access=f |
variable
| variables.rs:3:14:3:14 | s |
| variables.rs:7:14:7:14 | i |
@@ -96,12 +100,15 @@ variable
| variables.rs:462:9:462:9 | x |
| variables.rs:482:20:482:23 | self |
| variables.rs:486:11:486:14 | self |
| variables.rs:492:13:492:13 | a |
| variables.rs:490:23:490:26 | self |
| variables.rs:491:17:491:17 | f |
| variables.rs:491:22:491:22 | n |
| variables.rs:501:13:501:13 | a |
| variables.rs:510:9:510:9 | x |
| variables.rs:514:9:514:9 | z |
| variables.rs:523:15:523:18 | self |
| variables.rs:529:11:529:11 | a |
| variables.rs:510:13:510:13 | a |
| variables.rs:519:9:519:9 | x |
| variables.rs:523:9:523:9 | z |
| variables.rs:532:15:532:18 | self |
| variables.rs:538:11:538:11 | a |
variableAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
@@ -251,22 +258,26 @@ variableAccess
| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:483:16:483:19 | self | variables.rs:482:20:482:23 | self |
| variables.rs:487:9:487:12 | self | variables.rs:486:11:486:14 | self |
| variables.rs:493:15:493:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:494:5:494:5 | a | variables.rs:492:13:492:13 | a |
| variables.rs:495:15:495:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:496:5:496:5 | a | variables.rs:492:13:492:13 | a |
| variables.rs:497:15:497:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:493:13:493:16 | self | variables.rs:490:23:490:26 | self |
| variables.rs:493:25:493:25 | n | variables.rs:491:22:491:22 | n |
| variables.rs:495:9:495:9 | f | variables.rs:491:17:491:17 | f |
| variables.rs:496:9:496:9 | f | variables.rs:491:17:491:17 | f |
| variables.rs:502:15:502:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:503:5:503:5 | a | variables.rs:501:13:501:13 | a |
| variables.rs:504:15:504:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a |
| variables.rs:506:15:506:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:511:20:511:20 | x | variables.rs:510:9:510:9 | x |
| variables.rs:512:15:512:15 | x | variables.rs:510:9:510:9 | x |
| variables.rs:515:20:515:20 | z | variables.rs:514:9:514:9 | z |
| variables.rs:524:6:524:9 | self | variables.rs:523:15:523:18 | self |
| variables.rs:530:3:530:3 | a | variables.rs:529:11:529:11 | a |
| variables.rs:532:13:532:13 | a | variables.rs:529:11:529:11 | a |
| variables.rs:511:15:511:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:512:5:512:5 | a | variables.rs:510:13:510:13 | a |
| variables.rs:513:15:513:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a |
| variables.rs:515:15:515:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:520:20:520:20 | x | variables.rs:519:9:519:9 | x |
| variables.rs:521:15:521:15 | x | variables.rs:519:9:519:9 | x |
| variables.rs:524:20:524:20 | z | variables.rs:523:9:523:9 | z |
| variables.rs:533:6:533:9 | self | variables.rs:532:15:532:18 | self |
| variables.rs:539:3:539:3 | a | variables.rs:538:11:538:11 | a |
| variables.rs:541:13:541:13 | a | variables.rs:538:11:538:11 | a |
variableWriteAccess
| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
@@ -277,8 +288,8 @@ variableWriteAccess
| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
| variables.rs:450:9:450:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:454:9:454:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:496:5:496:5 | a | variables.rs:492:13:492:13 | a |
| variables.rs:505:5:505:5 | a | variables.rs:501:13:501:13 | a |
| variables.rs:514:5:514:5 | a | variables.rs:510:13:510:13 | a |
variableReadAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
@@ -410,18 +421,22 @@ variableReadAccess
| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:483:16:483:19 | self | variables.rs:482:20:482:23 | self |
| variables.rs:487:9:487:12 | self | variables.rs:486:11:486:14 | self |
| variables.rs:493:15:493:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:494:5:494:5 | a | variables.rs:492:13:492:13 | a |
| variables.rs:495:15:495:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:497:15:497:15 | a | variables.rs:492:13:492:13 | a |
| variables.rs:493:13:493:16 | self | variables.rs:490:23:490:26 | self |
| variables.rs:493:25:493:25 | n | variables.rs:491:22:491:22 | n |
| variables.rs:495:9:495:9 | f | variables.rs:491:17:491:17 | f |
| variables.rs:496:9:496:9 | f | variables.rs:491:17:491:17 | f |
| variables.rs:502:15:502:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:503:5:503:5 | a | variables.rs:501:13:501:13 | a |
| variables.rs:504:15:504:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:506:15:506:15 | a | variables.rs:501:13:501:13 | a |
| variables.rs:512:15:512:15 | x | variables.rs:510:9:510:9 | x |
| variables.rs:524:6:524:9 | self | variables.rs:523:15:523:18 | self |
| variables.rs:530:3:530:3 | a | variables.rs:529:11:529:11 | a |
| variables.rs:532:13:532:13 | a | variables.rs:529:11:529:11 | a |
| variables.rs:511:15:511:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:512:5:512:5 | a | variables.rs:510:13:510:13 | a |
| variables.rs:513:15:513:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:515:15:515:15 | a | variables.rs:510:13:510:13 | a |
| variables.rs:521:15:521:15 | x | variables.rs:519:9:519:9 | x |
| variables.rs:533:6:533:9 | self | variables.rs:532:15:532:18 | self |
| variables.rs:539:3:539:3 | a | variables.rs:538:11:538:11 | a |
| variables.rs:541:13:541:13 | a | variables.rs:538:11:538:11 | a |
variableInitializer
| variables.rs:16:9:16:10 | x1 | variables.rs:16:14:16:16 | "a" |
| variables.rs:21:13:21:14 | x2 | variables.rs:21:18:21:18 | 4 |
@@ -469,11 +484,12 @@ variableInitializer
| variables.rs:437:9:437:13 | block | variables.rs:437:17:439:5 | { ... } |
| variables.rs:446:13:446:13 | x | variables.rs:446:17:446:17 | 1 |
| variables.rs:462:9:462:9 | x | variables.rs:462:13:462:13 | 1 |
| variables.rs:492:13:492:13 | a | variables.rs:492:17:492:35 | MyStruct {...} |
| variables.rs:501:13:501:13 | a | variables.rs:501:17:501:25 | [...] |
| variables.rs:510:9:510:9 | x | variables.rs:510:13:510:14 | 16 |
| variables.rs:514:9:514:9 | z | variables.rs:514:13:514:14 | 17 |
| variables.rs:529:11:529:11 | a | variables.rs:529:15:529:33 | MyStruct {...} |
| variables.rs:491:17:491:17 | f | variables.rs:491:21:494:9 | \|...\| ... |
| variables.rs:501:13:501:13 | a | variables.rs:501:17:501:35 | MyStruct {...} |
| variables.rs:510:13:510:13 | a | variables.rs:510:17:510:25 | [...] |
| variables.rs:519:9:519:9 | x | variables.rs:519:13:519:14 | 16 |
| variables.rs:523:9:523:9 | z | variables.rs:523:13:523:14 | 17 |
| variables.rs:538:11:538:11 | a | variables.rs:538:15:538:33 | MyStruct {...} |
capturedVariable
| variables.rs:400:9:400:9 | x |
| variables.rs:410:13:410:13 | x |

9
rust/ql/test/library-tests/variables/variables.rs
View File

@@ -486,6 +486,15 @@ impl MyStruct {
fn id(self) -> Self {
self // $ read_access=self
}
fn my_method(&mut self) {
let mut f = |n| {
// Capture of `self`
self.val += n;
};
f(3);
f(4);
}
}
fn structs() {