mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Rust: More path resolution and variable tests
This commit is contained in:
Tom Hvitved
@@ -790,6 +790,49 @@ mod impl_with_attribute_macro {
|
||||
} // impl_with_attribute_macro::test
|
||||
}
|
||||
|
||||
mod patterns {
|
||||
#[rustfmt::skip]
|
||||
pub fn test() -> Option<i32> { // $ item=Option $ item=i32
|
||||
let x = Some(42); // $ item=Some
|
||||
let y : Option<i32> = match x { // $ item=Option $ item=i32
|
||||
Some(y) => { // $ item=Some
|
||||
None // $ item=None
|
||||
}
|
||||
None => // $ MISSING: item=None
|
||||
None // $ item=None
|
||||
};
|
||||
match y {
|
||||
N0ne => // local variable
|
||||
N0ne
|
||||
}
|
||||
} // patterns::test
|
||||
|
||||
#[rustfmt::skip]
|
||||
fn test2() -> Option<i32> { // $ item=Option $ item=i32
|
||||
let test_alias = test; // $ item=patterns::test
|
||||
let test = test_alias();
|
||||
test
|
||||
}
|
||||
|
||||
#[rustfmt::skip]
|
||||
const z: i32 // $ item=i32
|
||||
= 0; // constz
|
||||
|
||||
#[rustfmt::skip]
|
||||
fn test3() {
|
||||
let x = Some(0); // $ item=Some
|
||||
match x {
|
||||
Some(x) // $ item=Some
|
||||
=> x,
|
||||
_ => 0
|
||||
};
|
||||
match x {
|
||||
Some(z) => z, // $ item=Some $ MISSING: item=constz
|
||||
_ => 0
|
||||
};
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
my::nested::nested1::nested2::f(); // $ item=I4
|
||||
my::f(); // $ item=I38
|
||||
@@ -826,4 +869,5 @@ fn main() {
|
||||
AStruct::z_on_type(); // $ item=I124
|
||||
AStruct {}.z_on_instance(); // $ item=I123 item=I125
|
||||
impl_with_attribute_macro::test(); // $ item=impl_with_attribute_macro::test
|
||||
patterns::test(); // $ item=patterns::test
|
||||
}
|
||||
|
||||
@@ -32,6 +32,7 @@ mod
|
||||
| main.rs:629:1:697:1 | mod m24 |
|
||||
| main.rs:714:1:766:1 | mod associated_types |
|
||||
| main.rs:772:1:791:1 | mod impl_with_attribute_macro |
|
||||
| main.rs:793:1:834:1 | mod patterns |
|
||||
| my2/mod.rs:1:1:1:16 | mod nested2 |
|
||||
| my2/mod.rs:20:1:20:12 | mod my3 |
|
||||
| my2/mod.rs:22:1:23:10 | mod mymod |
|
||||
@@ -72,7 +73,7 @@ resolvePath
|
||||
| main.rs:37:17:37:24 | ...::f | main.rs:26:9:28:9 | fn f |
|
||||
| main.rs:39:17:39:23 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| main.rs:40:17:40:17 | f | main.rs:26:9:28:9 | fn f |
|
||||
| main.rs:47:9:47:13 | super | main.rs:1:1:829:2 | SourceFile |
|
||||
| main.rs:47:9:47:13 | super | main.rs:1:1:873:2 | SourceFile |
|
||||
| main.rs:47:9:47:17 | ...::m1 | main.rs:20:1:44:1 | mod m1 |
|
||||
| main.rs:47:9:47:21 | ...::m2 | main.rs:25:5:43:5 | mod m2 |
|
||||
| main.rs:47:9:47:24 | ...::g | main.rs:30:9:34:9 | fn g |
|
||||
@@ -87,7 +88,7 @@ resolvePath
|
||||
| main.rs:68:17:68:19 | Foo | main.rs:66:9:66:21 | struct Foo |
|
||||
| main.rs:71:13:71:15 | Foo | main.rs:60:5:60:17 | struct Foo |
|
||||
| main.rs:73:5:73:5 | f | main.rs:62:5:69:5 | fn f |
|
||||
| main.rs:75:5:75:8 | self | main.rs:1:1:829:2 | SourceFile |
|
||||
| main.rs:75:5:75:8 | self | main.rs:1:1:873:2 | SourceFile |
|
||||
| main.rs:75:5:75:11 | ...::i | main.rs:78:1:90:1 | fn i |
|
||||
| main.rs:79:5:79:11 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| main.rs:81:13:81:15 | Foo | main.rs:55:1:55:13 | struct Foo |
|
||||
@@ -109,7 +110,7 @@ resolvePath
|
||||
| main.rs:112:9:112:15 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| main.rs:118:9:118:15 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| main.rs:122:9:122:15 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| main.rs:125:13:125:17 | super | main.rs:1:1:829:2 | SourceFile |
|
||||
| main.rs:125:13:125:17 | super | main.rs:1:1:873:2 | SourceFile |
|
||||
| main.rs:125:13:125:21 | ...::m5 | main.rs:110:1:114:1 | mod m5 |
|
||||
| main.rs:126:9:126:9 | f | main.rs:111:5:113:5 | fn f |
|
||||
| main.rs:126:9:126:9 | f | main.rs:117:5:119:5 | fn f |
|
||||
@@ -397,77 +398,94 @@ resolvePath
|
||||
| main.rs:781:21:781:23 | i64 | {EXTERNAL LOCATION} | struct i64 |
|
||||
| main.rs:783:11:783:13 | i64 | {EXTERNAL LOCATION} | struct i64 |
|
||||
| main.rs:789:17:789:19 | Foo | main.rs:774:5:774:15 | struct Foo |
|
||||
| main.rs:794:5:794:6 | my | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:794:5:794:14 | ...::nested | my.rs:1:1:1:15 | mod nested |
|
||||
| main.rs:794:5:794:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |
|
||||
| main.rs:794:5:794:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |
|
||||
| main.rs:794:5:794:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |
|
||||
| main.rs:795:5:795:6 | my | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:795:5:795:9 | ...::f | my.rs:5:1:7:1 | fn f |
|
||||
| main.rs:796:5:796:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
|
||||
| main.rs:796:5:796:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
|
||||
| main.rs:796:5:796:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
|
||||
| main.rs:796:5:796:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:797:5:797:5 | f | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:798:5:798:5 | g | my2/nested2.rs:7:9:9:9 | fn g |
|
||||
| main.rs:799:5:799:9 | crate | main.rs:0:0:0:0 | Crate(main@0.0.1) |
|
||||
| main.rs:799:5:799:12 | ...::h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:800:5:800:6 | m1 | main.rs:20:1:44:1 | mod m1 |
|
||||
| main.rs:800:5:800:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |
|
||||
| main.rs:800:5:800:13 | ...::g | main.rs:30:9:34:9 | fn g |
|
||||
| main.rs:801:5:801:6 | m1 | main.rs:20:1:44:1 | mod m1 |
|
||||
| main.rs:801:5:801:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |
|
||||
| main.rs:801:5:801:14 | ...::m3 | main.rs:36:9:42:9 | mod m3 |
|
||||
| main.rs:801:5:801:17 | ...::h | main.rs:37:27:41:13 | fn h |
|
||||
| main.rs:802:5:802:6 | m4 | main.rs:46:1:53:1 | mod m4 |
|
||||
| main.rs:802:5:802:9 | ...::i | main.rs:49:5:52:5 | fn i |
|
||||
| main.rs:803:5:803:5 | h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:804:5:804:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:805:5:805:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |
|
||||
| main.rs:806:5:806:5 | j | main.rs:104:1:108:1 | fn j |
|
||||
| main.rs:807:5:807:6 | m6 | main.rs:116:1:128:1 | mod m6 |
|
||||
| main.rs:807:5:807:9 | ...::g | main.rs:121:5:127:5 | fn g |
|
||||
| main.rs:808:5:808:6 | m7 | main.rs:130:1:149:1 | mod m7 |
|
||||
| main.rs:808:5:808:9 | ...::f | main.rs:141:5:148:5 | fn f |
|
||||
| main.rs:809:5:809:6 | m8 | main.rs:151:1:205:1 | mod m8 |
|
||||
| main.rs:809:5:809:9 | ...::g | main.rs:189:5:204:5 | fn g |
|
||||
| main.rs:810:5:810:6 | m9 | main.rs:207:1:215:1 | mod m9 |
|
||||
| main.rs:810:5:810:9 | ...::f | main.rs:210:5:214:5 | fn f |
|
||||
| main.rs:811:5:811:7 | m11 | main.rs:238:1:275:1 | mod m11 |
|
||||
| main.rs:811:5:811:10 | ...::f | main.rs:243:5:246:5 | fn f |
|
||||
| main.rs:812:5:812:7 | m15 | main.rs:306:1:375:1 | mod m15 |
|
||||
| main.rs:812:5:812:10 | ...::f | main.rs:362:5:374:5 | fn f |
|
||||
| main.rs:813:5:813:7 | m16 | main.rs:377:1:469:1 | mod m16 |
|
||||
| main.rs:813:5:813:10 | ...::f | main.rs:444:5:468:5 | fn f |
|
||||
| main.rs:814:5:814:20 | trait_visibility | main.rs:471:1:521:1 | mod trait_visibility |
|
||||
| main.rs:814:5:814:23 | ...::f | main.rs:498:5:520:5 | fn f |
|
||||
| main.rs:815:5:815:7 | m17 | main.rs:523:1:553:1 | mod m17 |
|
||||
| main.rs:815:5:815:10 | ...::f | main.rs:547:5:552:5 | fn f |
|
||||
| main.rs:816:5:816:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |
|
||||
| main.rs:816:5:816:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |
|
||||
| main.rs:817:5:817:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |
|
||||
| main.rs:817:5:817:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |
|
||||
| main.rs:818:5:818:7 | my3 | my2/mod.rs:20:1:20:12 | mod my3 |
|
||||
| main.rs:818:5:818:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |
|
||||
| main.rs:819:5:819:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
|
||||
| main.rs:820:5:820:12 | my_alias | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:820:5:820:22 | ...::nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
|
||||
| main.rs:821:5:821:7 | m18 | main.rs:555:1:573:1 | mod m18 |
|
||||
| main.rs:821:5:821:12 | ...::m19 | main.rs:560:5:572:5 | mod m19 |
|
||||
| main.rs:821:5:821:17 | ...::m20 | main.rs:565:9:571:9 | mod m20 |
|
||||
| main.rs:821:5:821:20 | ...::g | main.rs:566:13:570:13 | fn g |
|
||||
| main.rs:822:5:822:7 | m23 | main.rs:602:1:627:1 | mod m23 |
|
||||
| main.rs:822:5:822:10 | ...::f | main.rs:622:5:626:5 | fn f |
|
||||
| main.rs:823:5:823:7 | m24 | main.rs:629:1:697:1 | mod m24 |
|
||||
| main.rs:823:5:823:10 | ...::f | main.rs:683:5:696:5 | fn f |
|
||||
| main.rs:824:5:824:8 | zelf | main.rs:0:0:0:0 | Crate(main@0.0.1) |
|
||||
| main.rs:824:5:824:11 | ...::h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:825:5:825:13 | z_changed | main.rs:702:1:702:9 | fn z_changed |
|
||||
| main.rs:826:5:826:11 | AStruct | main.rs:704:1:704:17 | struct AStruct |
|
||||
| main.rs:826:5:826:22 | ...::z_on_type | main.rs:708:5:708:17 | fn z_on_type |
|
||||
| main.rs:827:5:827:11 | AStruct | main.rs:704:1:704:17 | struct AStruct |
|
||||
| main.rs:828:5:828:29 | impl_with_attribute_macro | main.rs:772:1:791:1 | mod impl_with_attribute_macro |
|
||||
| main.rs:828:5:828:35 | ...::test | main.rs:787:5:790:5 | fn test |
|
||||
| main.rs:795:22:795:32 | Option::<...> | {EXTERNAL LOCATION} | enum Option |
|
||||
| main.rs:795:29:795:31 | i32 | {EXTERNAL LOCATION} | struct i32 |
|
||||
| main.rs:796:17:796:20 | Some | {EXTERNAL LOCATION} | Some |
|
||||
| main.rs:797:17:797:27 | Option::<...> | {EXTERNAL LOCATION} | enum Option |
|
||||
| main.rs:797:24:797:26 | i32 | {EXTERNAL LOCATION} | struct i32 |
|
||||
| main.rs:798:13:798:16 | Some | {EXTERNAL LOCATION} | Some |
|
||||
| main.rs:799:17:799:20 | None | {EXTERNAL LOCATION} | None |
|
||||
| main.rs:802:17:802:20 | None | {EXTERNAL LOCATION} | None |
|
||||
| main.rs:811:19:811:29 | Option::<...> | {EXTERNAL LOCATION} | enum Option |
|
||||
| main.rs:811:26:811:28 | i32 | {EXTERNAL LOCATION} | struct i32 |
|
||||
| main.rs:812:26:812:29 | test | main.rs:794:5:808:5 | fn test |
|
||||
| main.rs:818:14:818:16 | i32 | {EXTERNAL LOCATION} | struct i32 |
|
||||
| main.rs:823:17:823:20 | Some | {EXTERNAL LOCATION} | Some |
|
||||
| main.rs:825:13:825:16 | Some | {EXTERNAL LOCATION} | Some |
|
||||
| main.rs:830:13:830:16 | Some | {EXTERNAL LOCATION} | Some |
|
||||
| main.rs:837:5:837:6 | my | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:837:5:837:14 | ...::nested | my.rs:1:1:1:15 | mod nested |
|
||||
| main.rs:837:5:837:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |
|
||||
| main.rs:837:5:837:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |
|
||||
| main.rs:837:5:837:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |
|
||||
| main.rs:838:5:838:6 | my | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:838:5:838:9 | ...::f | my.rs:5:1:7:1 | fn f |
|
||||
| main.rs:839:5:839:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
|
||||
| main.rs:839:5:839:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
|
||||
| main.rs:839:5:839:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
|
||||
| main.rs:839:5:839:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:840:5:840:5 | f | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:841:5:841:5 | g | my2/nested2.rs:7:9:9:9 | fn g |
|
||||
| main.rs:842:5:842:9 | crate | main.rs:0:0:0:0 | Crate(main@0.0.1) |
|
||||
| main.rs:842:5:842:12 | ...::h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:843:5:843:6 | m1 | main.rs:20:1:44:1 | mod m1 |
|
||||
| main.rs:843:5:843:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |
|
||||
| main.rs:843:5:843:13 | ...::g | main.rs:30:9:34:9 | fn g |
|
||||
| main.rs:844:5:844:6 | m1 | main.rs:20:1:44:1 | mod m1 |
|
||||
| main.rs:844:5:844:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |
|
||||
| main.rs:844:5:844:14 | ...::m3 | main.rs:36:9:42:9 | mod m3 |
|
||||
| main.rs:844:5:844:17 | ...::h | main.rs:37:27:41:13 | fn h |
|
||||
| main.rs:845:5:845:6 | m4 | main.rs:46:1:53:1 | mod m4 |
|
||||
| main.rs:845:5:845:9 | ...::i | main.rs:49:5:52:5 | fn i |
|
||||
| main.rs:846:5:846:5 | h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:847:5:847:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |
|
||||
| main.rs:848:5:848:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |
|
||||
| main.rs:849:5:849:5 | j | main.rs:104:1:108:1 | fn j |
|
||||
| main.rs:850:5:850:6 | m6 | main.rs:116:1:128:1 | mod m6 |
|
||||
| main.rs:850:5:850:9 | ...::g | main.rs:121:5:127:5 | fn g |
|
||||
| main.rs:851:5:851:6 | m7 | main.rs:130:1:149:1 | mod m7 |
|
||||
| main.rs:851:5:851:9 | ...::f | main.rs:141:5:148:5 | fn f |
|
||||
| main.rs:852:5:852:6 | m8 | main.rs:151:1:205:1 | mod m8 |
|
||||
| main.rs:852:5:852:9 | ...::g | main.rs:189:5:204:5 | fn g |
|
||||
| main.rs:853:5:853:6 | m9 | main.rs:207:1:215:1 | mod m9 |
|
||||
| main.rs:853:5:853:9 | ...::f | main.rs:210:5:214:5 | fn f |
|
||||
| main.rs:854:5:854:7 | m11 | main.rs:238:1:275:1 | mod m11 |
|
||||
| main.rs:854:5:854:10 | ...::f | main.rs:243:5:246:5 | fn f |
|
||||
| main.rs:855:5:855:7 | m15 | main.rs:306:1:375:1 | mod m15 |
|
||||
| main.rs:855:5:855:10 | ...::f | main.rs:362:5:374:5 | fn f |
|
||||
| main.rs:856:5:856:7 | m16 | main.rs:377:1:469:1 | mod m16 |
|
||||
| main.rs:856:5:856:10 | ...::f | main.rs:444:5:468:5 | fn f |
|
||||
| main.rs:857:5:857:20 | trait_visibility | main.rs:471:1:521:1 | mod trait_visibility |
|
||||
| main.rs:857:5:857:23 | ...::f | main.rs:498:5:520:5 | fn f |
|
||||
| main.rs:858:5:858:7 | m17 | main.rs:523:1:553:1 | mod m17 |
|
||||
| main.rs:858:5:858:10 | ...::f | main.rs:547:5:552:5 | fn f |
|
||||
| main.rs:859:5:859:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |
|
||||
| main.rs:859:5:859:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |
|
||||
| main.rs:860:5:860:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |
|
||||
| main.rs:860:5:860:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |
|
||||
| main.rs:861:5:861:7 | my3 | my2/mod.rs:20:1:20:12 | mod my3 |
|
||||
| main.rs:861:5:861:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |
|
||||
| main.rs:862:5:862:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
|
||||
| main.rs:863:5:863:12 | my_alias | main.rs:1:1:1:7 | mod my |
|
||||
| main.rs:863:5:863:22 | ...::nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
|
||||
| main.rs:864:5:864:7 | m18 | main.rs:555:1:573:1 | mod m18 |
|
||||
| main.rs:864:5:864:12 | ...::m19 | main.rs:560:5:572:5 | mod m19 |
|
||||
| main.rs:864:5:864:17 | ...::m20 | main.rs:565:9:571:9 | mod m20 |
|
||||
| main.rs:864:5:864:20 | ...::g | main.rs:566:13:570:13 | fn g |
|
||||
| main.rs:865:5:865:7 | m23 | main.rs:602:1:627:1 | mod m23 |
|
||||
| main.rs:865:5:865:10 | ...::f | main.rs:622:5:626:5 | fn f |
|
||||
| main.rs:866:5:866:7 | m24 | main.rs:629:1:697:1 | mod m24 |
|
||||
| main.rs:866:5:866:10 | ...::f | main.rs:683:5:696:5 | fn f |
|
||||
| main.rs:867:5:867:8 | zelf | main.rs:0:0:0:0 | Crate(main@0.0.1) |
|
||||
| main.rs:867:5:867:11 | ...::h | main.rs:57:1:76:1 | fn h |
|
||||
| main.rs:868:5:868:13 | z_changed | main.rs:702:1:702:9 | fn z_changed |
|
||||
| main.rs:869:5:869:11 | AStruct | main.rs:704:1:704:17 | struct AStruct |
|
||||
| main.rs:869:5:869:22 | ...::z_on_type | main.rs:708:5:708:17 | fn z_on_type |
|
||||
| main.rs:870:5:870:11 | AStruct | main.rs:704:1:704:17 | struct AStruct |
|
||||
| main.rs:871:5:871:29 | impl_with_attribute_macro | main.rs:772:1:791:1 | mod impl_with_attribute_macro |
|
||||
| main.rs:871:5:871:35 | ...::test | main.rs:787:5:790:5 | fn test |
|
||||
| main.rs:872:5:872:12 | patterns | main.rs:793:1:834:1 | mod patterns |
|
||||
| main.rs:872:5:872:18 | ...::test | main.rs:794:5:808:5 | fn test |
|
||||
| my2/mod.rs:4:5:4:11 | println | {EXTERNAL LOCATION} | MacroRules |
|
||||
| my2/mod.rs:5:5:5:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
|
||||
| my2/mod.rs:5:5:5:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
|
||||
@@ -493,7 +511,7 @@ resolvePath
|
||||
| my2/my3/mod.rs:3:5:3:5 | g | my2/mod.rs:3:1:6:1 | fn g |
|
||||
| my2/my3/mod.rs:4:5:4:5 | h | main.rs:57:1:76:1 | fn h |
|
||||
| my2/my3/mod.rs:7:5:7:9 | super | my2/mod.rs:1:1:25:34 | SourceFile |
|
||||
| my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:829:2 | SourceFile |
|
||||
| my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:873:2 | SourceFile |
|
||||
| my2/my3/mod.rs:7:5:7:19 | ...::h | main.rs:57:1:76:1 | fn h |
|
||||
| my2/my3/mod.rs:8:5:8:9 | super | my2/mod.rs:1:1:25:34 | SourceFile |
|
||||
| my2/my3/mod.rs:8:5:8:12 | ...::g | my2/mod.rs:3:1:6:1 | fn g |
|
||||
|
||||
@@ -1798,145 +1798,215 @@ edges
|
||||
| main.rs:753:5:753:16 | print_i64(...) | main.rs:744:18:754:1 | { ... } | |
|
||||
| main.rs:753:5:753:17 | ExprStmt | main.rs:753:5:753:13 | print_i64 | |
|
||||
| main.rs:753:15:753:15 | x | main.rs:753:5:753:16 | print_i64(...) | |
|
||||
| main.rs:756:1:800:1 | enter fn main | main.rs:757:5:757:25 | ExprStmt | |
|
||||
| main.rs:756:1:800:1 | exit fn main (normal) | main.rs:756:1:800:1 | exit fn main | |
|
||||
| main.rs:756:11:800:1 | { ... } | main.rs:756:1:800:1 | exit fn main (normal) | |
|
||||
| main.rs:757:5:757:22 | immutable_variable | main.rs:757:5:757:24 | immutable_variable(...) | |
|
||||
| main.rs:757:5:757:24 | immutable_variable(...) | main.rs:758:5:758:23 | ExprStmt | |
|
||||
| main.rs:757:5:757:25 | ExprStmt | main.rs:757:5:757:22 | immutable_variable | |
|
||||
| main.rs:758:5:758:20 | mutable_variable | main.rs:758:5:758:22 | mutable_variable(...) | |
|
||||
| main.rs:758:5:758:22 | mutable_variable(...) | main.rs:759:5:759:40 | ExprStmt | |
|
||||
| main.rs:758:5:758:23 | ExprStmt | main.rs:758:5:758:20 | mutable_variable | |
|
||||
| main.rs:759:5:759:37 | mutable_variable_immutable_borrow | main.rs:759:5:759:39 | mutable_variable_immutable_borrow(...) | |
|
||||
| main.rs:759:5:759:39 | mutable_variable_immutable_borrow(...) | main.rs:760:5:760:23 | ExprStmt | |
|
||||
| main.rs:759:5:759:40 | ExprStmt | main.rs:759:5:759:37 | mutable_variable_immutable_borrow | |
|
||||
| main.rs:760:5:760:20 | variable_shadow1 | main.rs:760:5:760:22 | variable_shadow1(...) | |
|
||||
| main.rs:760:5:760:22 | variable_shadow1(...) | main.rs:761:5:761:23 | ExprStmt | |
|
||||
| main.rs:760:5:760:23 | ExprStmt | main.rs:760:5:760:20 | variable_shadow1 | |
|
||||
| main.rs:761:5:761:20 | variable_shadow2 | main.rs:761:5:761:22 | variable_shadow2(...) | |
|
||||
| main.rs:761:5:761:22 | variable_shadow2(...) | main.rs:762:5:762:19 | ExprStmt | |
|
||||
| main.rs:761:5:761:23 | ExprStmt | main.rs:761:5:761:20 | variable_shadow2 | |
|
||||
| main.rs:762:5:762:16 | let_pattern1 | main.rs:762:5:762:18 | let_pattern1(...) | |
|
||||
| main.rs:762:5:762:18 | let_pattern1(...) | main.rs:763:5:763:19 | ExprStmt | |
|
||||
| main.rs:762:5:762:19 | ExprStmt | main.rs:762:5:762:16 | let_pattern1 | |
|
||||
| main.rs:763:5:763:16 | let_pattern2 | main.rs:763:5:763:18 | let_pattern2(...) | |
|
||||
| main.rs:763:5:763:18 | let_pattern2(...) | main.rs:764:5:764:19 | ExprStmt | |
|
||||
| main.rs:763:5:763:19 | ExprStmt | main.rs:763:5:763:16 | let_pattern2 | |
|
||||
| main.rs:764:5:764:16 | let_pattern3 | main.rs:764:5:764:18 | let_pattern3(...) | |
|
||||
| main.rs:764:5:764:18 | let_pattern3(...) | main.rs:765:5:765:19 | ExprStmt | |
|
||||
| main.rs:764:5:764:19 | ExprStmt | main.rs:764:5:764:16 | let_pattern3 | |
|
||||
| main.rs:765:5:765:16 | let_pattern4 | main.rs:765:5:765:18 | let_pattern4(...) | |
|
||||
| main.rs:765:5:765:18 | let_pattern4(...) | main.rs:766:5:766:21 | ExprStmt | |
|
||||
| main.rs:765:5:765:19 | ExprStmt | main.rs:765:5:765:16 | let_pattern4 | |
|
||||
| main.rs:766:5:766:18 | match_pattern1 | main.rs:766:5:766:20 | match_pattern1(...) | |
|
||||
| main.rs:766:5:766:20 | match_pattern1(...) | main.rs:767:5:767:21 | ExprStmt | |
|
||||
| main.rs:766:5:766:21 | ExprStmt | main.rs:766:5:766:18 | match_pattern1 | |
|
||||
| main.rs:767:5:767:18 | match_pattern2 | main.rs:767:5:767:20 | match_pattern2(...) | |
|
||||
| main.rs:767:5:767:20 | match_pattern2(...) | main.rs:768:5:768:21 | ExprStmt | |
|
||||
| main.rs:767:5:767:21 | ExprStmt | main.rs:767:5:767:18 | match_pattern2 | |
|
||||
| main.rs:768:5:768:18 | match_pattern3 | main.rs:768:5:768:20 | match_pattern3(...) | |
|
||||
| main.rs:768:5:768:20 | match_pattern3(...) | main.rs:769:5:769:21 | ExprStmt | |
|
||||
| main.rs:768:5:768:21 | ExprStmt | main.rs:768:5:768:18 | match_pattern3 | |
|
||||
| main.rs:769:5:769:18 | match_pattern4 | main.rs:769:5:769:20 | match_pattern4(...) | |
|
||||
| main.rs:769:5:769:20 | match_pattern4(...) | main.rs:770:5:770:21 | ExprStmt | |
|
||||
| main.rs:769:5:769:21 | ExprStmt | main.rs:769:5:769:18 | match_pattern4 | |
|
||||
| main.rs:770:5:770:18 | match_pattern5 | main.rs:770:5:770:20 | match_pattern5(...) | |
|
||||
| main.rs:770:5:770:20 | match_pattern5(...) | main.rs:771:5:771:21 | ExprStmt | |
|
||||
| main.rs:770:5:770:21 | ExprStmt | main.rs:770:5:770:18 | match_pattern5 | |
|
||||
| main.rs:771:5:771:18 | match_pattern6 | main.rs:771:5:771:20 | match_pattern6(...) | |
|
||||
| main.rs:771:5:771:20 | match_pattern6(...) | main.rs:772:5:772:21 | ExprStmt | |
|
||||
| main.rs:771:5:771:21 | ExprStmt | main.rs:771:5:771:18 | match_pattern6 | |
|
||||
| main.rs:772:5:772:18 | match_pattern7 | main.rs:772:5:772:20 | match_pattern7(...) | |
|
||||
| main.rs:772:5:772:20 | match_pattern7(...) | main.rs:773:5:773:21 | ExprStmt | |
|
||||
| main.rs:772:5:772:21 | ExprStmt | main.rs:772:5:772:18 | match_pattern7 | |
|
||||
| main.rs:773:5:773:18 | match_pattern8 | main.rs:773:5:773:20 | match_pattern8(...) | |
|
||||
| main.rs:773:5:773:20 | match_pattern8(...) | main.rs:774:5:774:21 | ExprStmt | |
|
||||
| main.rs:773:5:773:21 | ExprStmt | main.rs:773:5:773:18 | match_pattern8 | |
|
||||
| main.rs:774:5:774:18 | match_pattern9 | main.rs:774:5:774:20 | match_pattern9(...) | |
|
||||
| main.rs:774:5:774:20 | match_pattern9(...) | main.rs:775:5:775:22 | ExprStmt | |
|
||||
| main.rs:774:5:774:21 | ExprStmt | main.rs:774:5:774:18 | match_pattern9 | |
|
||||
| main.rs:775:5:775:19 | match_pattern10 | main.rs:775:5:775:21 | match_pattern10(...) | |
|
||||
| main.rs:775:5:775:21 | match_pattern10(...) | main.rs:776:5:776:22 | ExprStmt | |
|
||||
| main.rs:775:5:775:22 | ExprStmt | main.rs:775:5:775:19 | match_pattern10 | |
|
||||
| main.rs:776:5:776:19 | match_pattern11 | main.rs:776:5:776:21 | match_pattern11(...) | |
|
||||
| main.rs:776:5:776:21 | match_pattern11(...) | main.rs:777:5:777:22 | ExprStmt | |
|
||||
| main.rs:776:5:776:22 | ExprStmt | main.rs:776:5:776:19 | match_pattern11 | |
|
||||
| main.rs:777:5:777:19 | match_pattern12 | main.rs:777:5:777:21 | match_pattern12(...) | |
|
||||
| main.rs:777:5:777:21 | match_pattern12(...) | main.rs:778:5:778:22 | ExprStmt | |
|
||||
| main.rs:777:5:777:22 | ExprStmt | main.rs:777:5:777:19 | match_pattern12 | |
|
||||
| main.rs:778:5:778:19 | match_pattern13 | main.rs:778:5:778:21 | match_pattern13(...) | |
|
||||
| main.rs:778:5:778:21 | match_pattern13(...) | main.rs:779:5:779:22 | ExprStmt | |
|
||||
| main.rs:778:5:778:22 | ExprStmt | main.rs:778:5:778:19 | match_pattern13 | |
|
||||
| main.rs:779:5:779:19 | match_pattern14 | main.rs:779:5:779:21 | match_pattern14(...) | |
|
||||
| main.rs:779:5:779:21 | match_pattern14(...) | main.rs:780:5:780:22 | ExprStmt | |
|
||||
| main.rs:779:5:779:22 | ExprStmt | main.rs:779:5:779:19 | match_pattern14 | |
|
||||
| main.rs:780:5:780:19 | match_pattern15 | main.rs:780:5:780:21 | match_pattern15(...) | |
|
||||
| main.rs:780:5:780:21 | match_pattern15(...) | main.rs:781:5:781:22 | ExprStmt | |
|
||||
| main.rs:780:5:780:22 | ExprStmt | main.rs:780:5:780:19 | match_pattern15 | |
|
||||
| main.rs:781:5:781:19 | match_pattern16 | main.rs:781:5:781:21 | match_pattern16(...) | |
|
||||
| main.rs:781:5:781:21 | match_pattern16(...) | main.rs:782:5:782:36 | ExprStmt | |
|
||||
| main.rs:781:5:781:22 | ExprStmt | main.rs:781:5:781:19 | match_pattern16 | |
|
||||
| main.rs:782:5:782:18 | param_pattern1 | main.rs:782:20:782:22 | "a" | |
|
||||
| main.rs:782:5:782:35 | param_pattern1(...) | main.rs:783:5:783:37 | ExprStmt | |
|
||||
| main.rs:782:5:782:36 | ExprStmt | main.rs:782:5:782:18 | param_pattern1 | |
|
||||
| main.rs:782:20:782:22 | "a" | main.rs:782:26:782:28 | "b" | |
|
||||
| main.rs:782:25:782:34 | TupleExpr | main.rs:782:5:782:35 | param_pattern1(...) | |
|
||||
| main.rs:782:26:782:28 | "b" | main.rs:782:31:782:33 | "c" | |
|
||||
| main.rs:782:31:782:33 | "c" | main.rs:782:25:782:34 | TupleExpr | |
|
||||
| main.rs:783:5:783:18 | param_pattern2 | main.rs:783:20:783:31 | ...::Left | |
|
||||
| main.rs:783:5:783:36 | param_pattern2(...) | main.rs:784:5:784:26 | ExprStmt | |
|
||||
| main.rs:783:5:783:37 | ExprStmt | main.rs:783:5:783:18 | param_pattern2 | |
|
||||
| main.rs:783:20:783:31 | ...::Left | main.rs:783:33:783:34 | 45 | |
|
||||
| main.rs:783:20:783:35 | ...::Left(...) | main.rs:783:5:783:36 | param_pattern2(...) | |
|
||||
| main.rs:783:33:783:34 | 45 | main.rs:783:20:783:35 | ...::Left(...) | |
|
||||
| main.rs:784:5:784:23 | destruct_assignment | main.rs:784:5:784:25 | destruct_assignment(...) | |
|
||||
| main.rs:784:5:784:25 | destruct_assignment(...) | main.rs:785:5:785:23 | ExprStmt | |
|
||||
| main.rs:784:5:784:26 | ExprStmt | main.rs:784:5:784:23 | destruct_assignment | |
|
||||
| main.rs:785:5:785:20 | closure_variable | main.rs:785:5:785:22 | closure_variable(...) | |
|
||||
| main.rs:785:5:785:22 | closure_variable(...) | main.rs:786:5:786:22 | ExprStmt | |
|
||||
| main.rs:785:5:785:23 | ExprStmt | main.rs:785:5:785:20 | closure_variable | |
|
||||
| main.rs:786:5:786:19 | nested_function | main.rs:786:5:786:21 | nested_function(...) | |
|
||||
| main.rs:786:5:786:21 | nested_function(...) | main.rs:787:5:787:19 | ExprStmt | |
|
||||
| main.rs:786:5:786:22 | ExprStmt | main.rs:786:5:786:19 | nested_function | |
|
||||
| main.rs:787:5:787:16 | for_variable | main.rs:787:5:787:18 | for_variable(...) | |
|
||||
| main.rs:787:5:787:18 | for_variable(...) | main.rs:788:5:788:17 | ExprStmt | |
|
||||
| main.rs:787:5:787:19 | ExprStmt | main.rs:787:5:787:16 | for_variable | |
|
||||
| main.rs:788:5:788:14 | add_assign | main.rs:788:5:788:16 | add_assign(...) | |
|
||||
| main.rs:788:5:788:16 | add_assign(...) | main.rs:789:5:789:13 | ExprStmt | |
|
||||
| main.rs:788:5:788:17 | ExprStmt | main.rs:788:5:788:14 | add_assign | |
|
||||
| main.rs:789:5:789:10 | mutate | main.rs:789:5:789:12 | mutate(...) | |
|
||||
| main.rs:789:5:789:12 | mutate(...) | main.rs:790:5:790:17 | ExprStmt | |
|
||||
| main.rs:789:5:789:13 | ExprStmt | main.rs:789:5:789:10 | mutate | |
|
||||
| main.rs:790:5:790:14 | mutate_arg | main.rs:790:5:790:16 | mutate_arg(...) | |
|
||||
| main.rs:790:5:790:16 | mutate_arg(...) | main.rs:791:5:791:12 | ExprStmt | |
|
||||
| main.rs:790:5:790:17 | ExprStmt | main.rs:790:5:790:14 | mutate_arg | |
|
||||
| main.rs:791:5:791:9 | alias | main.rs:791:5:791:11 | alias(...) | |
|
||||
| main.rs:791:5:791:11 | alias(...) | main.rs:792:5:792:18 | ExprStmt | |
|
||||
| main.rs:791:5:791:12 | ExprStmt | main.rs:791:5:791:9 | alias | |
|
||||
| main.rs:792:5:792:15 | capture_mut | main.rs:792:5:792:17 | capture_mut(...) | |
|
||||
| main.rs:792:5:792:17 | capture_mut(...) | main.rs:793:5:793:20 | ExprStmt | |
|
||||
| main.rs:792:5:792:18 | ExprStmt | main.rs:792:5:792:15 | capture_mut | |
|
||||
| main.rs:793:5:793:17 | capture_immut | main.rs:793:5:793:19 | capture_immut(...) | |
|
||||
| main.rs:793:5:793:19 | capture_immut(...) | main.rs:794:5:794:26 | ExprStmt | |
|
||||
| main.rs:793:5:793:20 | ExprStmt | main.rs:793:5:793:17 | capture_immut | |
|
||||
| main.rs:794:5:794:23 | async_block_capture | main.rs:794:5:794:25 | async_block_capture(...) | |
|
||||
| main.rs:794:5:794:25 | async_block_capture(...) | main.rs:795:5:795:14 | ExprStmt | |
|
||||
| main.rs:794:5:794:26 | ExprStmt | main.rs:794:5:794:23 | async_block_capture | |
|
||||
| main.rs:795:5:795:11 | structs | main.rs:795:5:795:13 | structs(...) | |
|
||||
| main.rs:795:5:795:13 | structs(...) | main.rs:796:5:796:14 | ExprStmt | |
|
||||
| main.rs:795:5:795:14 | ExprStmt | main.rs:795:5:795:11 | structs | |
|
||||
| main.rs:796:5:796:11 | ref_arg | main.rs:796:5:796:13 | ref_arg(...) | |
|
||||
| main.rs:796:5:796:13 | ref_arg(...) | main.rs:797:5:797:30 | ExprStmt | |
|
||||
| main.rs:796:5:796:14 | ExprStmt | main.rs:796:5:796:11 | ref_arg | |
|
||||
| main.rs:797:5:797:27 | ref_methodcall_receiver | main.rs:797:5:797:29 | ref_methodcall_receiver(...) | |
|
||||
| main.rs:797:5:797:29 | ref_methodcall_receiver(...) | main.rs:798:5:798:23 | ExprStmt | |
|
||||
| main.rs:797:5:797:30 | ExprStmt | main.rs:797:5:797:27 | ref_methodcall_receiver | |
|
||||
| main.rs:798:5:798:20 | macro_invocation | main.rs:798:5:798:22 | macro_invocation(...) | |
|
||||
| main.rs:798:5:798:22 | macro_invocation(...) | main.rs:799:5:799:18 | ExprStmt | |
|
||||
| main.rs:798:5:798:23 | ExprStmt | main.rs:798:5:798:20 | macro_invocation | |
|
||||
| main.rs:799:5:799:15 | capture_phi | main.rs:799:5:799:17 | capture_phi(...) | |
|
||||
| main.rs:799:5:799:17 | capture_phi(...) | main.rs:756:11:800:1 | { ... } | |
|
||||
| main.rs:799:5:799:18 | ExprStmt | main.rs:799:5:799:15 | capture_phi | |
|
||||
| main.rs:757:5:772:5 | enter fn test | main.rs:759:9:759:25 | let ... = ... | |
|
||||
| main.rs:757:5:772:5 | exit fn test (normal) | main.rs:757:5:772:5 | exit fn test | |
|
||||
| main.rs:758:34:772:5 | { ... } | main.rs:757:5:772:5 | exit fn test (normal) | |
|
||||
| main.rs:759:9:759:25 | let ... = ... | main.rs:759:17:759:20 | Some | |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:13:759:13 | x | |
|
||||
| main.rs:759:13:759:13 | x | main.rs:760:9:767:10 | let ... = ... | match |
|
||||
| main.rs:759:17:759:20 | Some | main.rs:759:22:759:23 | 42 | |
|
||||
| main.rs:759:17:759:24 | Some(...) | main.rs:759:13:759:13 | x | |
|
||||
| main.rs:759:22:759:23 | 42 | main.rs:759:17:759:24 | Some(...) | |
|
||||
| main.rs:760:9:767:10 | let ... = ... | main.rs:761:19:761:19 | x | |
|
||||
| main.rs:760:13:760:13 | y | main.rs:760:13:760:13 | y | |
|
||||
| main.rs:760:13:760:13 | y | main.rs:768:15:768:15 | y | match |
|
||||
| main.rs:761:13:767:9 | match x { ... } | main.rs:760:13:760:13 | y | |
|
||||
| main.rs:761:19:761:19 | x | main.rs:762:13:762:19 | Some(...) | |
|
||||
| main.rs:762:13:762:19 | Some(...) | main.rs:762:18:762:18 | y | match |
|
||||
| main.rs:762:13:762:19 | Some(...) | main.rs:765:13:765:16 | None | no-match |
|
||||
| main.rs:762:18:762:18 | y | main.rs:762:18:762:18 | y | |
|
||||
| main.rs:762:18:762:18 | y | main.rs:763:17:763:20 | None | match |
|
||||
| main.rs:762:24:764:13 | { ... } | main.rs:761:13:767:9 | match x { ... } | |
|
||||
| main.rs:763:17:763:20 | None | main.rs:762:24:764:13 | { ... } | |
|
||||
| main.rs:765:13:765:16 | None | main.rs:765:13:765:16 | None | |
|
||||
| main.rs:765:13:765:16 | None | main.rs:766:17:766:20 | None | match |
|
||||
| main.rs:766:17:766:20 | None | main.rs:761:13:767:9 | match x { ... } | |
|
||||
| main.rs:768:9:771:9 | match y { ... } | main.rs:758:34:772:5 | { ... } | |
|
||||
| main.rs:768:15:768:15 | y | main.rs:769:13:769:16 | N0ne | |
|
||||
| main.rs:769:13:769:16 | N0ne | main.rs:769:13:769:16 | N0ne | |
|
||||
| main.rs:769:13:769:16 | N0ne | main.rs:770:17:770:20 | N0ne | match |
|
||||
| main.rs:770:17:770:20 | N0ne | main.rs:768:9:771:9 | match y { ... } | |
|
||||
| main.rs:774:5:781:5 | enter fn test2 | main.rs:776:9:777:17 | let ... = test | |
|
||||
| main.rs:774:5:781:5 | exit fn test2 (normal) | main.rs:774:5:781:5 | exit fn test2 | |
|
||||
| main.rs:775:31:781:5 | { ... } | main.rs:774:5:781:5 | exit fn test2 (normal) | |
|
||||
| main.rs:776:9:777:17 | let ... = test | main.rs:777:13:777:16 | test | |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:776:13:776:22 | test_alias | |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:778:9:779:25 | let ... = ... | match |
|
||||
| main.rs:777:13:777:16 | test | main.rs:776:13:776:22 | test_alias | |
|
||||
| main.rs:778:9:779:25 | let ... = ... | main.rs:779:13:779:22 | test_alias | |
|
||||
| main.rs:778:13:778:16 | test | main.rs:778:13:778:16 | test | |
|
||||
| main.rs:778:13:778:16 | test | main.rs:780:9:780:12 | test | match |
|
||||
| main.rs:779:13:779:22 | test_alias | main.rs:779:13:779:24 | test_alias(...) | |
|
||||
| main.rs:779:13:779:24 | test_alias(...) | main.rs:778:13:778:16 | test | |
|
||||
| main.rs:780:9:780:12 | test | main.rs:775:31:781:5 | { ... } | |
|
||||
| main.rs:785:5:798:5 | enter fn test3 | main.rs:787:9:787:24 | let ... = ... | |
|
||||
| main.rs:785:5:798:5 | exit fn test3 (normal) | main.rs:785:5:798:5 | exit fn test3 | |
|
||||
| main.rs:786:16:798:5 | { ... } | main.rs:785:5:798:5 | exit fn test3 (normal) | |
|
||||
| main.rs:787:9:787:24 | let ... = ... | main.rs:787:17:787:20 | Some | |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x | |
|
||||
| main.rs:787:13:787:13 | x | main.rs:788:9:792:10 | ExprStmt | match |
|
||||
| main.rs:787:17:787:20 | Some | main.rs:787:22:787:22 | 0 | |
|
||||
| main.rs:787:17:787:23 | Some(...) | main.rs:787:13:787:13 | x | |
|
||||
| main.rs:787:22:787:22 | 0 | main.rs:787:17:787:23 | Some(...) | |
|
||||
| main.rs:788:9:792:9 | match x { ... } | main.rs:793:9:797:10 | ExprStmt | |
|
||||
| main.rs:788:9:792:10 | ExprStmt | main.rs:788:15:788:15 | x | |
|
||||
| main.rs:788:15:788:15 | x | main.rs:789:13:789:19 | Some(...) | |
|
||||
| main.rs:789:13:789:19 | Some(...) | main.rs:789:18:789:18 | x | match |
|
||||
| main.rs:789:13:789:19 | Some(...) | main.rs:791:13:791:13 | _ | no-match |
|
||||
| main.rs:789:18:789:18 | x | main.rs:789:18:789:18 | x | |
|
||||
| main.rs:789:18:789:18 | x | main.rs:790:20:790:20 | x | match |
|
||||
| main.rs:790:20:790:20 | x | main.rs:788:9:792:9 | match x { ... } | |
|
||||
| main.rs:791:13:791:13 | _ | main.rs:791:18:791:18 | 0 | match |
|
||||
| main.rs:791:18:791:18 | 0 | main.rs:788:9:792:9 | match x { ... } | |
|
||||
| main.rs:793:9:797:9 | match x { ... } | main.rs:786:16:798:5 | { ... } | |
|
||||
| main.rs:793:9:797:10 | ExprStmt | main.rs:793:15:793:15 | x | |
|
||||
| main.rs:793:15:793:15 | x | main.rs:794:13:794:19 | Some(...) | |
|
||||
| main.rs:794:13:794:19 | Some(...) | main.rs:794:18:794:18 | z | match |
|
||||
| main.rs:794:13:794:19 | Some(...) | main.rs:796:13:796:13 | _ | no-match |
|
||||
| main.rs:794:18:794:18 | z | main.rs:794:18:794:18 | z | |
|
||||
| main.rs:794:18:794:18 | z | main.rs:795:17:795:17 | z | match |
|
||||
| main.rs:795:17:795:17 | z | main.rs:793:9:797:9 | match x { ... } | |
|
||||
| main.rs:796:13:796:13 | _ | main.rs:796:18:796:18 | 0 | match |
|
||||
| main.rs:796:18:796:18 | 0 | main.rs:793:9:797:9 | match x { ... } | |
|
||||
| main.rs:801:1:845:1 | enter fn main | main.rs:802:5:802:25 | ExprStmt | |
|
||||
| main.rs:801:1:845:1 | exit fn main (normal) | main.rs:801:1:845:1 | exit fn main | |
|
||||
| main.rs:801:11:845:1 | { ... } | main.rs:801:1:845:1 | exit fn main (normal) | |
|
||||
| main.rs:802:5:802:22 | immutable_variable | main.rs:802:5:802:24 | immutable_variable(...) | |
|
||||
| main.rs:802:5:802:24 | immutable_variable(...) | main.rs:803:5:803:23 | ExprStmt | |
|
||||
| main.rs:802:5:802:25 | ExprStmt | main.rs:802:5:802:22 | immutable_variable | |
|
||||
| main.rs:803:5:803:20 | mutable_variable | main.rs:803:5:803:22 | mutable_variable(...) | |
|
||||
| main.rs:803:5:803:22 | mutable_variable(...) | main.rs:804:5:804:40 | ExprStmt | |
|
||||
| main.rs:803:5:803:23 | ExprStmt | main.rs:803:5:803:20 | mutable_variable | |
|
||||
| main.rs:804:5:804:37 | mutable_variable_immutable_borrow | main.rs:804:5:804:39 | mutable_variable_immutable_borrow(...) | |
|
||||
| main.rs:804:5:804:39 | mutable_variable_immutable_borrow(...) | main.rs:805:5:805:23 | ExprStmt | |
|
||||
| main.rs:804:5:804:40 | ExprStmt | main.rs:804:5:804:37 | mutable_variable_immutable_borrow | |
|
||||
| main.rs:805:5:805:20 | variable_shadow1 | main.rs:805:5:805:22 | variable_shadow1(...) | |
|
||||
| main.rs:805:5:805:22 | variable_shadow1(...) | main.rs:806:5:806:23 | ExprStmt | |
|
||||
| main.rs:805:5:805:23 | ExprStmt | main.rs:805:5:805:20 | variable_shadow1 | |
|
||||
| main.rs:806:5:806:20 | variable_shadow2 | main.rs:806:5:806:22 | variable_shadow2(...) | |
|
||||
| main.rs:806:5:806:22 | variable_shadow2(...) | main.rs:807:5:807:19 | ExprStmt | |
|
||||
| main.rs:806:5:806:23 | ExprStmt | main.rs:806:5:806:20 | variable_shadow2 | |
|
||||
| main.rs:807:5:807:16 | let_pattern1 | main.rs:807:5:807:18 | let_pattern1(...) | |
|
||||
| main.rs:807:5:807:18 | let_pattern1(...) | main.rs:808:5:808:19 | ExprStmt | |
|
||||
| main.rs:807:5:807:19 | ExprStmt | main.rs:807:5:807:16 | let_pattern1 | |
|
||||
| main.rs:808:5:808:16 | let_pattern2 | main.rs:808:5:808:18 | let_pattern2(...) | |
|
||||
| main.rs:808:5:808:18 | let_pattern2(...) | main.rs:809:5:809:19 | ExprStmt | |
|
||||
| main.rs:808:5:808:19 | ExprStmt | main.rs:808:5:808:16 | let_pattern2 | |
|
||||
| main.rs:809:5:809:16 | let_pattern3 | main.rs:809:5:809:18 | let_pattern3(...) | |
|
||||
| main.rs:809:5:809:18 | let_pattern3(...) | main.rs:810:5:810:19 | ExprStmt | |
|
||||
| main.rs:809:5:809:19 | ExprStmt | main.rs:809:5:809:16 | let_pattern3 | |
|
||||
| main.rs:810:5:810:16 | let_pattern4 | main.rs:810:5:810:18 | let_pattern4(...) | |
|
||||
| main.rs:810:5:810:18 | let_pattern4(...) | main.rs:811:5:811:21 | ExprStmt | |
|
||||
| main.rs:810:5:810:19 | ExprStmt | main.rs:810:5:810:16 | let_pattern4 | |
|
||||
| main.rs:811:5:811:18 | match_pattern1 | main.rs:811:5:811:20 | match_pattern1(...) | |
|
||||
| main.rs:811:5:811:20 | match_pattern1(...) | main.rs:812:5:812:21 | ExprStmt | |
|
||||
| main.rs:811:5:811:21 | ExprStmt | main.rs:811:5:811:18 | match_pattern1 | |
|
||||
| main.rs:812:5:812:18 | match_pattern2 | main.rs:812:5:812:20 | match_pattern2(...) | |
|
||||
| main.rs:812:5:812:20 | match_pattern2(...) | main.rs:813:5:813:21 | ExprStmt | |
|
||||
| main.rs:812:5:812:21 | ExprStmt | main.rs:812:5:812:18 | match_pattern2 | |
|
||||
| main.rs:813:5:813:18 | match_pattern3 | main.rs:813:5:813:20 | match_pattern3(...) | |
|
||||
| main.rs:813:5:813:20 | match_pattern3(...) | main.rs:814:5:814:21 | ExprStmt | |
|
||||
| main.rs:813:5:813:21 | ExprStmt | main.rs:813:5:813:18 | match_pattern3 | |
|
||||
| main.rs:814:5:814:18 | match_pattern4 | main.rs:814:5:814:20 | match_pattern4(...) | |
|
||||
| main.rs:814:5:814:20 | match_pattern4(...) | main.rs:815:5:815:21 | ExprStmt | |
|
||||
| main.rs:814:5:814:21 | ExprStmt | main.rs:814:5:814:18 | match_pattern4 | |
|
||||
| main.rs:815:5:815:18 | match_pattern5 | main.rs:815:5:815:20 | match_pattern5(...) | |
|
||||
| main.rs:815:5:815:20 | match_pattern5(...) | main.rs:816:5:816:21 | ExprStmt | |
|
||||
| main.rs:815:5:815:21 | ExprStmt | main.rs:815:5:815:18 | match_pattern5 | |
|
||||
| main.rs:816:5:816:18 | match_pattern6 | main.rs:816:5:816:20 | match_pattern6(...) | |
|
||||
| main.rs:816:5:816:20 | match_pattern6(...) | main.rs:817:5:817:21 | ExprStmt | |
|
||||
| main.rs:816:5:816:21 | ExprStmt | main.rs:816:5:816:18 | match_pattern6 | |
|
||||
| main.rs:817:5:817:18 | match_pattern7 | main.rs:817:5:817:20 | match_pattern7(...) | |
|
||||
| main.rs:817:5:817:20 | match_pattern7(...) | main.rs:818:5:818:21 | ExprStmt | |
|
||||
| main.rs:817:5:817:21 | ExprStmt | main.rs:817:5:817:18 | match_pattern7 | |
|
||||
| main.rs:818:5:818:18 | match_pattern8 | main.rs:818:5:818:20 | match_pattern8(...) | |
|
||||
| main.rs:818:5:818:20 | match_pattern8(...) | main.rs:819:5:819:21 | ExprStmt | |
|
||||
| main.rs:818:5:818:21 | ExprStmt | main.rs:818:5:818:18 | match_pattern8 | |
|
||||
| main.rs:819:5:819:18 | match_pattern9 | main.rs:819:5:819:20 | match_pattern9(...) | |
|
||||
| main.rs:819:5:819:20 | match_pattern9(...) | main.rs:820:5:820:22 | ExprStmt | |
|
||||
| main.rs:819:5:819:21 | ExprStmt | main.rs:819:5:819:18 | match_pattern9 | |
|
||||
| main.rs:820:5:820:19 | match_pattern10 | main.rs:820:5:820:21 | match_pattern10(...) | |
|
||||
| main.rs:820:5:820:21 | match_pattern10(...) | main.rs:821:5:821:22 | ExprStmt | |
|
||||
| main.rs:820:5:820:22 | ExprStmt | main.rs:820:5:820:19 | match_pattern10 | |
|
||||
| main.rs:821:5:821:19 | match_pattern11 | main.rs:821:5:821:21 | match_pattern11(...) | |
|
||||
| main.rs:821:5:821:21 | match_pattern11(...) | main.rs:822:5:822:22 | ExprStmt | |
|
||||
| main.rs:821:5:821:22 | ExprStmt | main.rs:821:5:821:19 | match_pattern11 | |
|
||||
| main.rs:822:5:822:19 | match_pattern12 | main.rs:822:5:822:21 | match_pattern12(...) | |
|
||||
| main.rs:822:5:822:21 | match_pattern12(...) | main.rs:823:5:823:22 | ExprStmt | |
|
||||
| main.rs:822:5:822:22 | ExprStmt | main.rs:822:5:822:19 | match_pattern12 | |
|
||||
| main.rs:823:5:823:19 | match_pattern13 | main.rs:823:5:823:21 | match_pattern13(...) | |
|
||||
| main.rs:823:5:823:21 | match_pattern13(...) | main.rs:824:5:824:22 | ExprStmt | |
|
||||
| main.rs:823:5:823:22 | ExprStmt | main.rs:823:5:823:19 | match_pattern13 | |
|
||||
| main.rs:824:5:824:19 | match_pattern14 | main.rs:824:5:824:21 | match_pattern14(...) | |
|
||||
| main.rs:824:5:824:21 | match_pattern14(...) | main.rs:825:5:825:22 | ExprStmt | |
|
||||
| main.rs:824:5:824:22 | ExprStmt | main.rs:824:5:824:19 | match_pattern14 | |
|
||||
| main.rs:825:5:825:19 | match_pattern15 | main.rs:825:5:825:21 | match_pattern15(...) | |
|
||||
| main.rs:825:5:825:21 | match_pattern15(...) | main.rs:826:5:826:22 | ExprStmt | |
|
||||
| main.rs:825:5:825:22 | ExprStmt | main.rs:825:5:825:19 | match_pattern15 | |
|
||||
| main.rs:826:5:826:19 | match_pattern16 | main.rs:826:5:826:21 | match_pattern16(...) | |
|
||||
| main.rs:826:5:826:21 | match_pattern16(...) | main.rs:827:5:827:36 | ExprStmt | |
|
||||
| main.rs:826:5:826:22 | ExprStmt | main.rs:826:5:826:19 | match_pattern16 | |
|
||||
| main.rs:827:5:827:18 | param_pattern1 | main.rs:827:20:827:22 | "a" | |
|
||||
| main.rs:827:5:827:35 | param_pattern1(...) | main.rs:828:5:828:37 | ExprStmt | |
|
||||
| main.rs:827:5:827:36 | ExprStmt | main.rs:827:5:827:18 | param_pattern1 | |
|
||||
| main.rs:827:20:827:22 | "a" | main.rs:827:26:827:28 | "b" | |
|
||||
| main.rs:827:25:827:34 | TupleExpr | main.rs:827:5:827:35 | param_pattern1(...) | |
|
||||
| main.rs:827:26:827:28 | "b" | main.rs:827:31:827:33 | "c" | |
|
||||
| main.rs:827:31:827:33 | "c" | main.rs:827:25:827:34 | TupleExpr | |
|
||||
| main.rs:828:5:828:18 | param_pattern2 | main.rs:828:20:828:31 | ...::Left | |
|
||||
| main.rs:828:5:828:36 | param_pattern2(...) | main.rs:829:5:829:26 | ExprStmt | |
|
||||
| main.rs:828:5:828:37 | ExprStmt | main.rs:828:5:828:18 | param_pattern2 | |
|
||||
| main.rs:828:20:828:31 | ...::Left | main.rs:828:33:828:34 | 45 | |
|
||||
| main.rs:828:20:828:35 | ...::Left(...) | main.rs:828:5:828:36 | param_pattern2(...) | |
|
||||
| main.rs:828:33:828:34 | 45 | main.rs:828:20:828:35 | ...::Left(...) | |
|
||||
| main.rs:829:5:829:23 | destruct_assignment | main.rs:829:5:829:25 | destruct_assignment(...) | |
|
||||
| main.rs:829:5:829:25 | destruct_assignment(...) | main.rs:830:5:830:23 | ExprStmt | |
|
||||
| main.rs:829:5:829:26 | ExprStmt | main.rs:829:5:829:23 | destruct_assignment | |
|
||||
| main.rs:830:5:830:20 | closure_variable | main.rs:830:5:830:22 | closure_variable(...) | |
|
||||
| main.rs:830:5:830:22 | closure_variable(...) | main.rs:831:5:831:22 | ExprStmt | |
|
||||
| main.rs:830:5:830:23 | ExprStmt | main.rs:830:5:830:20 | closure_variable | |
|
||||
| main.rs:831:5:831:19 | nested_function | main.rs:831:5:831:21 | nested_function(...) | |
|
||||
| main.rs:831:5:831:21 | nested_function(...) | main.rs:832:5:832:19 | ExprStmt | |
|
||||
| main.rs:831:5:831:22 | ExprStmt | main.rs:831:5:831:19 | nested_function | |
|
||||
| main.rs:832:5:832:16 | for_variable | main.rs:832:5:832:18 | for_variable(...) | |
|
||||
| main.rs:832:5:832:18 | for_variable(...) | main.rs:833:5:833:17 | ExprStmt | |
|
||||
| main.rs:832:5:832:19 | ExprStmt | main.rs:832:5:832:16 | for_variable | |
|
||||
| main.rs:833:5:833:14 | add_assign | main.rs:833:5:833:16 | add_assign(...) | |
|
||||
| main.rs:833:5:833:16 | add_assign(...) | main.rs:834:5:834:13 | ExprStmt | |
|
||||
| main.rs:833:5:833:17 | ExprStmt | main.rs:833:5:833:14 | add_assign | |
|
||||
| main.rs:834:5:834:10 | mutate | main.rs:834:5:834:12 | mutate(...) | |
|
||||
| main.rs:834:5:834:12 | mutate(...) | main.rs:835:5:835:17 | ExprStmt | |
|
||||
| main.rs:834:5:834:13 | ExprStmt | main.rs:834:5:834:10 | mutate | |
|
||||
| main.rs:835:5:835:14 | mutate_arg | main.rs:835:5:835:16 | mutate_arg(...) | |
|
||||
| main.rs:835:5:835:16 | mutate_arg(...) | main.rs:836:5:836:12 | ExprStmt | |
|
||||
| main.rs:835:5:835:17 | ExprStmt | main.rs:835:5:835:14 | mutate_arg | |
|
||||
| main.rs:836:5:836:9 | alias | main.rs:836:5:836:11 | alias(...) | |
|
||||
| main.rs:836:5:836:11 | alias(...) | main.rs:837:5:837:18 | ExprStmt | |
|
||||
| main.rs:836:5:836:12 | ExprStmt | main.rs:836:5:836:9 | alias | |
|
||||
| main.rs:837:5:837:15 | capture_mut | main.rs:837:5:837:17 | capture_mut(...) | |
|
||||
| main.rs:837:5:837:17 | capture_mut(...) | main.rs:838:5:838:20 | ExprStmt | |
|
||||
| main.rs:837:5:837:18 | ExprStmt | main.rs:837:5:837:15 | capture_mut | |
|
||||
| main.rs:838:5:838:17 | capture_immut | main.rs:838:5:838:19 | capture_immut(...) | |
|
||||
| main.rs:838:5:838:19 | capture_immut(...) | main.rs:839:5:839:26 | ExprStmt | |
|
||||
| main.rs:838:5:838:20 | ExprStmt | main.rs:838:5:838:17 | capture_immut | |
|
||||
| main.rs:839:5:839:23 | async_block_capture | main.rs:839:5:839:25 | async_block_capture(...) | |
|
||||
| main.rs:839:5:839:25 | async_block_capture(...) | main.rs:840:5:840:14 | ExprStmt | |
|
||||
| main.rs:839:5:839:26 | ExprStmt | main.rs:839:5:839:23 | async_block_capture | |
|
||||
| main.rs:840:5:840:11 | structs | main.rs:840:5:840:13 | structs(...) | |
|
||||
| main.rs:840:5:840:13 | structs(...) | main.rs:841:5:841:14 | ExprStmt | |
|
||||
| main.rs:840:5:840:14 | ExprStmt | main.rs:840:5:840:11 | structs | |
|
||||
| main.rs:841:5:841:11 | ref_arg | main.rs:841:5:841:13 | ref_arg(...) | |
|
||||
| main.rs:841:5:841:13 | ref_arg(...) | main.rs:842:5:842:30 | ExprStmt | |
|
||||
| main.rs:841:5:841:14 | ExprStmt | main.rs:841:5:841:11 | ref_arg | |
|
||||
| main.rs:842:5:842:27 | ref_methodcall_receiver | main.rs:842:5:842:29 | ref_methodcall_receiver(...) | |
|
||||
| main.rs:842:5:842:29 | ref_methodcall_receiver(...) | main.rs:843:5:843:23 | ExprStmt | |
|
||||
| main.rs:842:5:842:30 | ExprStmt | main.rs:842:5:842:27 | ref_methodcall_receiver | |
|
||||
| main.rs:843:5:843:20 | macro_invocation | main.rs:843:5:843:22 | macro_invocation(...) | |
|
||||
| main.rs:843:5:843:22 | macro_invocation(...) | main.rs:844:5:844:18 | ExprStmt | |
|
||||
| main.rs:843:5:843:23 | ExprStmt | main.rs:843:5:843:20 | macro_invocation | |
|
||||
| main.rs:844:5:844:15 | capture_phi | main.rs:844:5:844:17 | capture_phi(...) | |
|
||||
| main.rs:844:5:844:17 | capture_phi(...) | main.rs:801:11:845:1 | { ... } | |
|
||||
| main.rs:844:5:844:18 | ExprStmt | main.rs:844:5:844:15 | capture_phi | |
|
||||
breakTarget
|
||||
| main.rs:326:9:326:13 | break | main.rs:317:5:327:5 | while ... { ... } |
|
||||
continueTarget
|
||||
|
||||
@@ -196,6 +196,13 @@ definition
|
||||
| main.rs:748:17:750:9 | SSA phi(x) | main.rs:745:13:745:13 | x |
|
||||
| main.rs:749:13:749:13 | x | main.rs:745:13:745:13 | x |
|
||||
| main.rs:752:5:752:13 | <captured exit> x | main.rs:745:13:745:13 | x |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:13:759:13 | x |
|
||||
| main.rs:760:13:760:13 | y | main.rs:760:13:760:13 | y |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:776:13:776:22 | test_alias |
|
||||
| main.rs:778:13:778:16 | test | main.rs:778:13:778:16 | test |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x |
|
||||
| main.rs:789:18:789:18 | x | main.rs:789:18:789:18 | x |
|
||||
| main.rs:794:18:794:18 | z | main.rs:794:18:794:18 | z |
|
||||
read
|
||||
| main.rs:5:14:5:14 | s | main.rs:5:14:5:14 | s | main.rs:7:20:7:20 | s |
|
||||
| main.rs:10:14:10:14 | i | main.rs:10:14:10:14 | i | main.rs:12:20:12:20 | i |
|
||||
@@ -404,6 +411,14 @@ read
|
||||
| main.rs:746:13:746:15 | cap | main.rs:746:13:746:15 | cap | main.rs:752:5:752:7 | cap |
|
||||
| main.rs:746:20:746:20 | b | main.rs:746:20:746:20 | b | main.rs:748:20:748:20 | b |
|
||||
| main.rs:752:5:752:13 | <captured exit> x | main.rs:745:13:745:13 | x | main.rs:753:15:753:15 | x |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:13:759:13 | x | main.rs:761:19:761:19 | x |
|
||||
| main.rs:760:13:760:13 | y | main.rs:760:13:760:13 | y | main.rs:768:15:768:15 | y |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:776:13:776:22 | test_alias | main.rs:779:13:779:22 | test_alias |
|
||||
| main.rs:778:13:778:16 | test | main.rs:778:13:778:16 | test | main.rs:780:9:780:12 | test |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x | main.rs:788:15:788:15 | x |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x | main.rs:793:15:793:15 | x |
|
||||
| main.rs:789:18:789:18 | x | main.rs:789:18:789:18 | x | main.rs:790:20:790:20 | x |
|
||||
| main.rs:794:18:794:18 | z | main.rs:794:18:794:18 | z | main.rs:795:17:795:17 | z |
|
||||
firstRead
|
||||
| main.rs:5:14:5:14 | s | main.rs:5:14:5:14 | s | main.rs:7:20:7:20 | s |
|
||||
| main.rs:10:14:10:14 | i | main.rs:10:14:10:14 | i | main.rs:12:20:12:20 | i |
|
||||
@@ -570,6 +585,13 @@ firstRead
|
||||
| main.rs:746:13:746:15 | cap | main.rs:746:13:746:15 | cap | main.rs:752:5:752:7 | cap |
|
||||
| main.rs:746:20:746:20 | b | main.rs:746:20:746:20 | b | main.rs:748:20:748:20 | b |
|
||||
| main.rs:752:5:752:13 | <captured exit> x | main.rs:745:13:745:13 | x | main.rs:753:15:753:15 | x |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:13:759:13 | x | main.rs:761:19:761:19 | x |
|
||||
| main.rs:760:13:760:13 | y | main.rs:760:13:760:13 | y | main.rs:768:15:768:15 | y |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:776:13:776:22 | test_alias | main.rs:779:13:779:22 | test_alias |
|
||||
| main.rs:778:13:778:16 | test | main.rs:778:13:778:16 | test | main.rs:780:9:780:12 | test |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x | main.rs:788:15:788:15 | x |
|
||||
| main.rs:789:18:789:18 | x | main.rs:789:18:789:18 | x | main.rs:790:20:790:20 | x |
|
||||
| main.rs:794:18:794:18 | z | main.rs:794:18:794:18 | z | main.rs:795:17:795:17 | z |
|
||||
adjacentReads
|
||||
| main.rs:27:5:27:6 | x2 | main.rs:25:13:25:14 | x2 | main.rs:28:15:28:16 | x2 | main.rs:29:10:29:11 | x2 |
|
||||
| main.rs:41:9:41:10 | x3 | main.rs:41:9:41:10 | x3 | main.rs:42:15:42:16 | x3 | main.rs:44:9:44:10 | x3 |
|
||||
@@ -616,6 +638,7 @@ adjacentReads
|
||||
| main.rs:676:13:676:13 | a | main.rs:676:13:676:13 | a | main.rs:677:15:677:15 | a | main.rs:678:5:678:5 | a |
|
||||
| main.rs:676:13:676:13 | a | main.rs:676:13:676:13 | a | main.rs:678:5:678:5 | a | main.rs:679:15:679:15 | a |
|
||||
| main.rs:685:9:685:9 | x | main.rs:685:9:685:9 | x | main.rs:686:20:686:20 | x | main.rs:687:15:687:15 | x |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:13:787:13 | x | main.rs:788:15:788:15 | x | main.rs:793:15:793:15 | x |
|
||||
phi
|
||||
| main.rs:210:9:210:44 | SSA phi(a3) | main.rs:210:9:210:44 | a3 | main.rs:210:22:210:23 | a3 |
|
||||
| main.rs:210:9:210:44 | SSA phi(a3) | main.rs:210:9:210:44 | a3 | main.rs:210:42:210:43 | a3 |
|
||||
@@ -773,3 +796,8 @@ assigns
|
||||
| main.rs:745:13:745:13 | x | main.rs:745:17:745:19 | 100 |
|
||||
| main.rs:746:13:746:15 | cap | main.rs:746:19:751:5 | \|...\| ... |
|
||||
| main.rs:749:13:749:13 | x | main.rs:749:17:749:19 | 200 |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:17:759:24 | Some(...) |
|
||||
| main.rs:760:13:760:13 | y | main.rs:761:13:767:9 | match x { ... } |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:777:13:777:16 | test |
|
||||
| main.rs:778:13:778:16 | test | main.rs:779:13:779:24 | test_alias(...) |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:17:787:23 | Some(...) |
|
||||
|
||||
@@ -753,6 +753,51 @@ fn capture_phi() {
|
||||
print_i64(x); // $ read_access=x
|
||||
}
|
||||
|
||||
mod patterns {
|
||||
#[rustfmt::skip]
|
||||
pub fn test() -> Option<i32> {
|
||||
let x = Some(42); // x
|
||||
let y : Option<i32> = // y1
|
||||
match x { // $ read_access=x
|
||||
Some(y) => { // y2
|
||||
None
|
||||
}
|
||||
None =>
|
||||
None
|
||||
};
|
||||
match y { // $ read_access=y1
|
||||
N0ne => // n0ne
|
||||
N0ne // $ MISSING: read_access=n0ne
|
||||
}
|
||||
}
|
||||
|
||||
#[rustfmt::skip]
|
||||
fn test2() -> Option<i32> {
|
||||
let test_alias = // test_alias
|
||||
test;
|
||||
let test = // test
|
||||
test_alias(); // $ read_access=test_alias
|
||||
test // $ read_access=test
|
||||
}
|
||||
|
||||
const z: i32 = 0;
|
||||
|
||||
#[rustfmt::skip]
|
||||
fn test3() {
|
||||
let x = Some(0); // x1
|
||||
match x { // $ read_access=x1
|
||||
Some(x) // x2
|
||||
=> x, // $ read_access=x2
|
||||
_ => 0
|
||||
};
|
||||
match x { // $ read_access=x1
|
||||
Some(z) =>
|
||||
z, // $ SPURIOUS: read_access=z
|
||||
_ => 0
|
||||
};
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
immutable_variable();
|
||||
mutable_variable();
|
||||
|
||||
@@ -142,6 +142,14 @@ variable
|
||||
| main.rs:745:13:745:13 | x |
|
||||
| main.rs:746:13:746:15 | cap |
|
||||
| main.rs:746:20:746:20 | b |
|
||||
| main.rs:759:13:759:13 | x |
|
||||
| main.rs:760:13:760:13 | y |
|
||||
| main.rs:762:18:762:18 | y |
|
||||
| main.rs:776:13:776:22 | test_alias |
|
||||
| main.rs:778:13:778:16 | test |
|
||||
| main.rs:787:13:787:13 | x |
|
||||
| main.rs:789:18:789:18 | x |
|
||||
| main.rs:794:18:794:18 | z |
|
||||
variableAccess
|
||||
| main.rs:7:20:7:20 | s | main.rs:5:14:5:14 | s |
|
||||
| main.rs:12:20:12:20 | i | main.rs:10:14:10:14 | i |
|
||||
@@ -364,6 +372,14 @@ variableAccess
|
||||
| main.rs:749:13:749:13 | x | main.rs:745:13:745:13 | x |
|
||||
| main.rs:752:5:752:7 | cap | main.rs:746:13:746:15 | cap |
|
||||
| main.rs:753:15:753:15 | x | main.rs:745:13:745:13 | x |
|
||||
| main.rs:761:19:761:19 | x | main.rs:759:13:759:13 | x |
|
||||
| main.rs:768:15:768:15 | y | main.rs:760:13:760:13 | y |
|
||||
| main.rs:779:13:779:22 | test_alias | main.rs:776:13:776:22 | test_alias |
|
||||
| main.rs:780:9:780:12 | test | main.rs:778:13:778:16 | test |
|
||||
| main.rs:788:15:788:15 | x | main.rs:787:13:787:13 | x |
|
||||
| main.rs:790:20:790:20 | x | main.rs:789:18:789:18 | x |
|
||||
| main.rs:793:15:793:15 | x | main.rs:787:13:787:13 | x |
|
||||
| main.rs:795:17:795:17 | z | main.rs:794:18:794:18 | z |
|
||||
variableWriteAccess
|
||||
| main.rs:27:5:27:6 | x2 | main.rs:25:13:25:14 | x2 |
|
||||
| main.rs:29:5:29:6 | x2 | main.rs:25:13:25:14 | x2 |
|
||||
@@ -576,6 +592,14 @@ variableReadAccess
|
||||
| main.rs:748:20:748:20 | b | main.rs:746:20:746:20 | b |
|
||||
| main.rs:752:5:752:7 | cap | main.rs:746:13:746:15 | cap |
|
||||
| main.rs:753:15:753:15 | x | main.rs:745:13:745:13 | x |
|
||||
| main.rs:761:19:761:19 | x | main.rs:759:13:759:13 | x |
|
||||
| main.rs:768:15:768:15 | y | main.rs:760:13:760:13 | y |
|
||||
| main.rs:779:13:779:22 | test_alias | main.rs:776:13:776:22 | test_alias |
|
||||
| main.rs:780:9:780:12 | test | main.rs:778:13:778:16 | test |
|
||||
| main.rs:788:15:788:15 | x | main.rs:787:13:787:13 | x |
|
||||
| main.rs:790:20:790:20 | x | main.rs:789:18:789:18 | x |
|
||||
| main.rs:793:15:793:15 | x | main.rs:787:13:787:13 | x |
|
||||
| main.rs:795:17:795:17 | z | main.rs:794:18:794:18 | z |
|
||||
variableInitializer
|
||||
| main.rs:20:9:20:10 | x1 | main.rs:20:14:20:16 | "a" |
|
||||
| main.rs:25:13:25:14 | x2 | main.rs:25:18:25:18 | 4 |
|
||||
@@ -649,6 +673,11 @@ variableInitializer
|
||||
| main.rs:734:15:734:28 | var_in_macro | main.rs:734:15:734:28 | 0 |
|
||||
| main.rs:745:13:745:13 | x | main.rs:745:17:745:19 | 100 |
|
||||
| main.rs:746:13:746:15 | cap | main.rs:746:19:751:5 | \|...\| ... |
|
||||
| main.rs:759:13:759:13 | x | main.rs:759:17:759:24 | Some(...) |
|
||||
| main.rs:760:13:760:13 | y | main.rs:761:13:767:9 | match x { ... } |
|
||||
| main.rs:776:13:776:22 | test_alias | main.rs:777:13:777:16 | test |
|
||||
| main.rs:778:13:778:16 | test | main.rs:779:13:779:24 | test_alias(...) |
|
||||
| main.rs:787:13:787:13 | x | main.rs:787:17:787:23 | Some(...) |
|
||||
capturedVariable
|
||||
| main.rs:557:9:557:9 | x |
|
||||
| main.rs:568:13:568:13 | x |
|
||||
|
||||
Reference in New Issue
Block a user