Skip to content

Commit 84de91b

Browse files
redsun82redsun82
committed
Rust: accept test changes
1 parent 8f9c031 commit 84de91b

27 files changed

+360
-143
lines changed

‎rust/ql/test/extractor-tests/macro-expansion/CONSISTENCY/ExtractionConsistency.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
11
extractionWarning
22
| included/included.rs:1:1:1:1 | semantic analyzer unavailable (not loaded as its own module, probably included by `!include`) |
3+
| macro_expansion.rs:56:9:56:31 | macro expansion failed: could not resolve macro 'concat' |

‎rust/ql/test/library-tests/controlflow/BasicBlocks.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -730,6 +730,7 @@ dominates
730730
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
731731
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} |
732732
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
733+
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | enter fn panic_cold_explicit |
733734
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
734735
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt |
735736
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |
@@ -1396,6 +1397,7 @@ postDominance
13961397
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
13971398
| test.rs:541:9:546:9 | if false {...} | test.rs:539:5:548:5 | enter fn const_block_panic |
13981399
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
1400+
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | enter fn panic_cold_explicit |
13991401
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
14001402
| test.rs:553:9:553:17 | ExprStmt | test.rs:551:1:556:1 | enter fn dead_code |
14011403
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |

‎rust/ql/test/library-tests/controlflow/Cfg.expected

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1321,6 +1321,11 @@ edges
13211321
| test.rs:541:9:546:9 | ExprStmt | test.rs:541:12:541:16 | false | |
13221322
| test.rs:541:9:546:9 | if false {...} | test.rs:547:9:547:9 | N | |
13231323
| test.rs:541:12:541:16 | false | test.rs:541:9:546:9 | if false {...} | false |
1324+
| test.rs:544:17:544:24 | ...::panic_explicit | test.rs:544:17:544:24 | ...::panic_explicit(...) | |
1325+
| test.rs:544:17:544:24 | ...::panic_explicit(...) | test.rs:544:17:544:24 | { ... } | |
1326+
| test.rs:544:17:544:24 | enter fn panic_cold_explicit | test.rs:544:17:544:24 | ...::panic_explicit | |
1327+
| test.rs:544:17:544:24 | exit fn panic_cold_explicit (normal) | test.rs:544:17:544:24 | exit fn panic_cold_explicit | |
1328+
| test.rs:544:17:544:24 | { ... } | test.rs:544:17:544:24 | exit fn panic_cold_explicit (normal) | |
13241329
| test.rs:547:9:547:9 | N | test.rs:539:35:548:5 | { ... } | |
13251330
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:552:5:554:5 | ExprStmt | |
13261331
| test.rs:551:1:556:1 | exit fn dead_code (normal) | test.rs:551:1:556:1 | exit fn dead_code | |

‎rust/ql/test/library-tests/dataflow/local/CONSISTENCY/PathResolutionConsistency.expected

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
multiplePathResolutions
2+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
3+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
4+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
5+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
6+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
7+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
8+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
9+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
10+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
11+
| main.rs:532:10:532:18 | ...::from | file://:0:0:0:0 | fn from |
12+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
13+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
14+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
15+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
16+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
17+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
18+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
19+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
20+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |
21+
| main.rs:538:10:538:18 | ...::from | file://:0:0:0:0 | fn from |

‎rust/ql/test/library-tests/dataflow/sources/CONSISTENCY/AstConsistency.expected

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎rust/ql/test/library-tests/dataflow/sources/CONSISTENCY/PathResolutionConsistency.expected

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,18 @@ multiplePathResolutions
2727
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
2828
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
2929
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
30+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
31+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
32+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
33+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
34+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
35+
| test.rs:112:62:112:73 | ...::from | file://:0:0:0:0 | fn from |
36+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
37+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
38+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
39+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
40+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
41+
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
3042
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
3143
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
3244
| test.rs:119:58:119:69 | ...::from | file://:0:0:0:0 | fn from |
@@ -48,6 +60,27 @@ multiplePathResolutions
4860
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
4961
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
5062
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
63+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
64+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
65+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
66+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
67+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
68+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
69+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
70+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
71+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
72+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
73+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
74+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
75+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
76+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
77+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
78+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
79+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
80+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
81+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
82+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
83+
| test.rs:806:50:806:61 | ...::from | file://:0:0:0:0 | fn from |
5184
| test_futures_io.rs:25:23:25:61 | ...::try_from | file://:0:0:0:0 | fn try_from |
5285
| test_futures_io.rs:25:23:25:61 | ...::try_from | file://:0:0:0:0 | fn try_from |
5386
| test_futures_io.rs:25:23:25:61 | ...::try_from | file://:0:0:0:0 | fn try_from |

‎rust/ql/test/library-tests/dataflow/sources/InlineFlow.expected

Lines changed: 1 addition & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1 @@
1-
| test.rs:63:27:63:57 | //... | Missing result: hasTaintFlow="example.com" |
2-
| test.rs:66:27:66:57 | //... | Missing result: hasTaintFlow="example.com" |
3-
| test.rs:69:27:69:57 | //... | Missing result: hasTaintFlow="example.com" |
4-
| test.rs:72:27:72:57 | //... | Missing result: hasTaintFlow="example.com" |
5-
| test.rs:75:27:75:57 | //... | Missing result: hasTaintFlow="example.com" |
6-
| test.rs:78:27:78:57 | //... | Missing result: hasTaintFlow="example.com" |
7-
| test.rs:81:45:81:75 | //... | Missing result: hasTaintFlow="example.com" |
8-
| test.rs:365:22:365:38 | //... | Missing result: hasTaintFlow |
9-
| test.rs:686:25:686:49 | //... | Missing result: hasTaintFlow=address |
10-
| test.rs:687:27:687:51 | //... | Missing result: hasTaintFlow=address |
11-
| test.rs:706:36:706:60 | //... | Missing result: hasTaintFlow=address |
12-
| test.rs:729:36:729:60 | //... | Missing result: hasTaintFlow=address |
1+

‎rust/ql/test/library-tests/dataflow/sources/TaintSources.expected

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -78,9 +78,15 @@
7878
| test.rs:753:22:753:49 | ...::connect | Flow source 'RemoteSource' of type remote (DEFAULT). |
7979
| test.rs:779:22:779:50 | ...::new | Flow source 'RemoteSource' of type remote (DEFAULT). |
8080
| test.rs:806:16:806:29 | ...::args | Flow source 'CommandLineArgs' of type commandargs (DEFAULT). |
81+
| test.rs:806:16:806:29 | ...::args | Flow source 'CommandLineArgs' of type commandargs (DEFAULT). |
8182
| test_futures_io.rs:19:15:19:32 | ...::connect | Flow source 'RemoteSource' of type remote (DEFAULT). |
8283
| web_frameworks.rs:11:31:11:31 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
84+
| web_frameworks.rs:11:31:11:31 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
85+
| web_frameworks.rs:22:14:22:18 | TuplePat | Flow source 'RemoteSource' of type remote (DEFAULT). |
8386
| web_frameworks.rs:22:14:22:19 | TuplePat | Flow source 'RemoteSource' of type remote (DEFAULT). |
87+
| web_frameworks.rs:48:14:48:28 | MyStruct {...} | Flow source 'RemoteSource' of type remote (DEFAULT). |
8488
| web_frameworks.rs:48:14:48:30 | MyStruct {...} | Flow source 'RemoteSource' of type remote (DEFAULT). |
8589
| web_frameworks.rs:58:14:58:15 | ms | Flow source 'RemoteSource' of type remote (DEFAULT). |
90+
| web_frameworks.rs:58:14:58:15 | ms | Flow source 'RemoteSource' of type remote (DEFAULT). |
91+
| web_frameworks.rs:68:15:68:15 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |
8692
| web_frameworks.rs:68:15:68:15 | a | Flow source 'RemoteSource' of type remote (DEFAULT). |

‎rust/ql/test/library-tests/path-resolution/path-resolution.expected

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -393,7 +393,13 @@ resolvePath
393393
| proc_macro.rs:5:44:5:54 | TokenStream | {EXTERNAL LOCATION} | struct TokenStream |
394394
| proc_macro.rs:5:60:5:70 | TokenStream | {EXTERNAL LOCATION} | struct TokenStream |
395395
| proc_macro.rs:6:16:6:18 | syn | {EXTERNAL LOCATION} | Crate([email protected]) |
396+
| proc_macro.rs:6:48:6:50 | syn | {EXTERNAL LOCATION} | Crate([email protected]) |
397+
| proc_macro.rs:6:48:6:58 | ...::LitStr | {EXTERNAL LOCATION} | struct LitStr |
398+
| proc_macro.rs:6:48:6:58 | ...::parse::<...> | {EXTERNAL LOCATION} | fn parse |
396399
| proc_macro.rs:7:19:7:21 | syn | {EXTERNAL LOCATION} | Crate([email protected]) |
400+
| proc_macro.rs:7:51:7:53 | syn | {EXTERNAL LOCATION} | Crate([email protected]) |
401+
| proc_macro.rs:7:51:7:61 | ...::ItemFn | {EXTERNAL LOCATION} | struct ItemFn |
402+
| proc_macro.rs:7:51:7:61 | ...::parse::<...> | {EXTERNAL LOCATION} | fn parse |
397403
| proc_macro.rs:8:21:8:23 | syn | {EXTERNAL LOCATION} | Crate([email protected]) |
398404
| proc_macro.rs:8:21:8:30 | ...::Ident | {EXTERNAL LOCATION} | struct Ident |
399405
| proc_macro.rs:8:21:8:35 | ...::new | {EXTERNAL LOCATION} | fn new |

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

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,10 @@
1+
multipleMethodCallTargets
2+
| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
3+
| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
4+
| main.rs:374:5:374:27 | ... .add_assign(...) | file://:0:0:0:0 | fn add_assign |
5+
| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
6+
| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
7+
| main.rs:459:9:459:23 | z.add_assign(...) | file://:0:0:0:0 | fn add_assign |
18
multiplePathResolutions
29
| main.rs:85:19:85:30 | ...::from | file://:0:0:0:0 | fn from |
310
| main.rs:85:19:85:30 | ...::from | file://:0:0:0:0 | fn from |

‎rust/ql/test/library-tests/variables/Cfg.expected

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1430,11 +1430,17 @@ edges
14301430
| main.rs:592:1:602:1 | enter fn macro_invocation | main.rs:593:5:594:26 | let ... = ... | |
14311431
| main.rs:592:1:602:1 | exit fn macro_invocation (normal) | main.rs:592:1:602:1 | exit fn macro_invocation | |
14321432
| main.rs:592:23:602:1 | { ... } | main.rs:592:1:602:1 | exit fn macro_invocation (normal) | |
1433-
| main.rs:593:5:594:26 | let ... = ... | main.rs:594:9:594:25 | let_in_macro!... | |
1433+
| main.rs:593:5:594:26 | let ... = ... | main.rs:594:23:594:24 | let ... = 37 | |
14341434
| main.rs:593:9:593:22 | var_from_macro | main.rs:593:9:593:22 | var_from_macro | |
14351435
| main.rs:593:9:593:22 | var_from_macro | main.rs:595:5:595:30 | ExprStmt | match |
14361436
| main.rs:594:9:594:25 | MacroExpr | main.rs:593:9:593:22 | var_from_macro | |
14371437
| main.rs:594:9:594:25 | let_in_macro!... | main.rs:594:9:594:25 | MacroExpr | |
1438+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro | |
1439+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro | match |
1440+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:23:594:24 | { ... } | |
1441+
| main.rs:594:23:594:24 | 37 | main.rs:594:9:594:25 | var_in_macro | |
1442+
| main.rs:594:23:594:24 | let ... = 37 | main.rs:594:23:594:24 | 37 | |
1443+
| main.rs:594:23:594:24 | { ... } | main.rs:594:9:594:25 | let_in_macro!... | |
14381444
| main.rs:595:5:595:13 | print_i64 | main.rs:595:15:595:28 | var_from_macro | |
14391445
| main.rs:595:5:595:29 | print_i64(...) | main.rs:596:5:596:26 | let ... = 33 | |
14401446
| main.rs:595:5:595:30 | ExprStmt | main.rs:595:5:595:13 | print_i64 | |
@@ -1443,11 +1449,17 @@ edges
14431449
| main.rs:596:9:596:20 | var_in_macro | main.rs:596:9:596:20 | var_in_macro | |
14441450
| main.rs:596:9:596:20 | var_in_macro | main.rs:600:5:600:44 | ExprStmt | match |
14451451
| main.rs:596:24:596:25 | 33 | main.rs:596:9:596:20 | var_in_macro | |
1446-
| main.rs:600:5:600:13 | print_i64 | main.rs:600:15:600:42 | let_in_macro2!... | |
1452+
| main.rs:600:5:600:13 | print_i64 | main.rs:600:15:600:42 | let ... = 0 | |
14471453
| main.rs:600:5:600:43 | print_i64(...) | main.rs:601:5:601:28 | ExprStmt | |
14481454
| main.rs:600:5:600:44 | ExprStmt | main.rs:600:5:600:13 | print_i64 | |
1455+
| main.rs:600:15:600:42 | 0 | main.rs:600:15:600:42 | var_in_macro | |
14491456
| main.rs:600:15:600:42 | MacroExpr | main.rs:600:5:600:43 | print_i64(...) | |
1457+
| main.rs:600:15:600:42 | let ... = 0 | main.rs:600:15:600:42 | 0 | |
14501458
| main.rs:600:15:600:42 | let_in_macro2!... | main.rs:600:15:600:42 | MacroExpr | |
1459+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:15:600:42 | var_in_macro | |
1460+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:30:600:41 | var_in_macro | match |
1461+
| main.rs:600:30:600:41 | var_in_macro | main.rs:600:30:600:41 | { ... } | |
1462+
| main.rs:600:30:600:41 | { ... } | main.rs:600:15:600:42 | let_in_macro2!... | |
14511463
| main.rs:601:5:601:13 | print_i64 | main.rs:601:15:601:26 | var_in_macro | |
14521464
| main.rs:601:5:601:27 | print_i64(...) | main.rs:592:23:602:1 | { ... } | |
14531465
| main.rs:601:5:601:28 | ExprStmt | main.rs:601:5:601:13 | print_i64 | |

‎rust/ql/test/library-tests/variables/Ssa.expected

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,9 @@ definition
161161
| main.rs:568:11:568:11 | a | main.rs:568:11:568:11 | a |
162162
| main.rs:569:3:569:3 | a | main.rs:568:11:568:11 | a |
163163
| main.rs:593:9:593:22 | var_from_macro | main.rs:593:9:593:22 | var_from_macro |
164+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro |
164165
| main.rs:596:9:596:20 | var_in_macro | main.rs:596:9:596:20 | var_in_macro |
166+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:15:600:42 | var_in_macro |
165167
read
166168
| main.rs:3:14:3:14 | s | main.rs:3:14:3:14 | s | main.rs:4:20:4:20 | s |
167169
| main.rs:7:14:7:14 | i | main.rs:7:14:7:14 | i | main.rs:8:20:8:20 | i |
@@ -327,7 +329,9 @@ read
327329
| main.rs:568:11:568:11 | a | main.rs:568:11:568:11 | a | main.rs:569:3:569:3 | a |
328330
| main.rs:569:3:569:3 | a | main.rs:568:11:568:11 | a | main.rs:571:13:571:13 | a |
329331
| main.rs:593:9:593:22 | var_from_macro | main.rs:593:9:593:22 | var_from_macro | main.rs:595:15:595:28 | var_from_macro |
332+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro |
330333
| main.rs:596:9:596:20 | var_in_macro | main.rs:596:9:596:20 | var_in_macro | main.rs:601:15:601:26 | var_in_macro |
334+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:15:600:42 | var_in_macro | main.rs:600:30:600:41 | var_in_macro |
331335
firstRead
332336
| main.rs:3:14:3:14 | s | main.rs:3:14:3:14 | s | main.rs:4:20:4:20 | s |
333337
| main.rs:7:14:7:14 | i | main.rs:7:14:7:14 | i | main.rs:8:20:8:20 | i |
@@ -463,7 +467,9 @@ firstRead
463467
| main.rs:568:11:568:11 | a | main.rs:568:11:568:11 | a | main.rs:569:3:569:3 | a |
464468
| main.rs:569:3:569:3 | a | main.rs:568:11:568:11 | a | main.rs:571:13:571:13 | a |
465469
| main.rs:593:9:593:22 | var_from_macro | main.rs:593:9:593:22 | var_from_macro | main.rs:595:15:595:28 | var_from_macro |
470+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro | main.rs:594:9:594:25 | var_in_macro |
466471
| main.rs:596:9:596:20 | var_in_macro | main.rs:596:9:596:20 | var_in_macro | main.rs:601:15:601:26 | var_in_macro |
472+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:15:600:42 | var_in_macro | main.rs:600:30:600:41 | var_in_macro |
467473
adjacentReads
468474
| 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 |
469475
| 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 |
@@ -632,4 +638,6 @@ assigns
632638
| main.rs:553:9:553:9 | z | main.rs:553:13:553:14 | 17 |
633639
| main.rs:568:11:568:11 | a | main.rs:568:15:568:33 | MyStruct {...} |
634640
| main.rs:593:9:593:22 | var_from_macro | main.rs:594:9:594:25 | MacroExpr |
641+
| main.rs:594:9:594:25 | var_in_macro | main.rs:594:23:594:24 | 37 |
635642
| main.rs:596:9:596:20 | var_in_macro | main.rs:596:24:596:25 | 33 |
643+
| main.rs:600:15:600:42 | var_in_macro | main.rs:600:15:600:42 | 0 |

0 commit comments

Comments
 (0)