]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | digraph block { |
2 | N0[label="entry"]; | |
3 | N1[label="exit"]; | |
85aaf69f | 4 | N2[label="expr 15"]; |
1a4d82fc | 5 | N3[label="local mut x"]; |
85aaf69f SL |
6 | N4[label="stmt let mut x = 15;"]; |
7 | N5[label="expr 151"]; | |
1a4d82fc | 8 | N6[label="local mut y"]; |
85aaf69f | 9 | N7[label="stmt let mut y = 151;"]; |
1a4d82fc | 10 | N8[label="(dummy_node)"]; |
85aaf69f | 11 | N9[label="expr \'outer:\l loop {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l }\l"]; |
1a4d82fc | 12 | N10[label="(dummy_node)"]; |
85aaf69f | 13 | N11[label="expr \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l"]; |
1a4d82fc | 14 | N12[label="expr x"]; |
85aaf69f SL |
15 | N13[label="expr 1"]; |
16 | N14[label="expr x == 1"]; | |
1a4d82fc JJ |
17 | N15[label="expr break \'outer"]; |
18 | N16[label="(dummy_node)"]; | |
19 | N17[label="stmt break \'outer ;"]; | |
20 | N18[label="expr \"unreachable\""]; | |
21 | N19[label="stmt \"unreachable\";"]; | |
22 | N20[label="block { break \'outer ; \"unreachable\"; }"]; | |
85aaf69f SL |
23 | N21[label="expr if x == 1 { break \'outer ; \"unreachable\"; }"]; |
24 | N22[label="stmt if x == 1 { break \'outer ; \"unreachable\"; }"]; | |
1a4d82fc | 25 | N23[label="expr y"]; |
85aaf69f SL |
26 | N24[label="expr 2"]; |
27 | N25[label="expr y >= 2"]; | |
1a4d82fc JJ |
28 | N26[label="expr return"]; |
29 | N27[label="(dummy_node)"]; | |
30 | N28[label="stmt return;"]; | |
31 | N29[label="expr \"unreachable\""]; | |
32 | N30[label="stmt \"unreachable\";"]; | |
33 | N31[label="block { return; \"unreachable\"; }"]; | |
85aaf69f SL |
34 | N32[label="expr if y >= 2 { return; \"unreachable\"; }"]; |
35 | N33[label="stmt if y >= 2 { return; \"unreachable\"; }"]; | |
36 | N34[label="expr 3"]; | |
1a4d82fc | 37 | N35[label="expr y"]; |
85aaf69f SL |
38 | N36[label="expr y -= 3"]; |
39 | N37[label="stmt y -= 3;"]; | |
40 | N38[label="expr 5"]; | |
1a4d82fc | 41 | N39[label="expr x"]; |
85aaf69f SL |
42 | N40[label="expr x -= 5"]; |
43 | N41[label="stmt x -= 5;"]; | |
44 | N42[label="block {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l}\l"]; | |
45 | N43[label="stmt \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l"]; | |
1a4d82fc JJ |
46 | N44[label="expr \"unreachable\""]; |
47 | N45[label="stmt \"unreachable\";"]; | |
85aaf69f SL |
48 | N46[label="block {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l}\l"]; |
49 | N47[label="block {\l let mut x = 15;\l let mut y = 151;\l \'outer:\l loop {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l }\l}\l"]; | |
476ff2be | 50 | N48[label="expr {\l let mut x = 15;\l let mut y = 151;\l \'outer:\l loop {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l }\l}\l"]; |
1a4d82fc JJ |
51 | N0 -> N2; |
52 | N2 -> N3; | |
53 | N3 -> N4; | |
54 | N4 -> N5; | |
55 | N5 -> N6; | |
56 | N6 -> N7; | |
57 | N7 -> N8; | |
58 | N8 -> N10; | |
59 | N10 -> N12; | |
60 | N12 -> N13; | |
61 | N13 -> N14; | |
62 | N14 -> N15; | |
85aaf69f | 63 | N15 -> N9; |
1a4d82fc JJ |
64 | N16 -> N17; |
65 | N17 -> N18; | |
66 | N18 -> N19; | |
67 | N19 -> N20; | |
68 | N14 -> N21; | |
69 | N20 -> N21; | |
70 | N21 -> N22; | |
71 | N22 -> N23; | |
72 | N23 -> N24; | |
73 | N24 -> N25; | |
74 | N25 -> N26; | |
85aaf69f | 75 | N26 -> N1; |
1a4d82fc JJ |
76 | N27 -> N28; |
77 | N28 -> N29; | |
78 | N29 -> N30; | |
79 | N30 -> N31; | |
80 | N25 -> N32; | |
81 | N31 -> N32; | |
82 | N32 -> N33; | |
83 | N33 -> N34; | |
84 | N34 -> N35; | |
85 | N35 -> N36; | |
86 | N36 -> N37; | |
87 | N37 -> N38; | |
88 | N38 -> N39; | |
89 | N39 -> N40; | |
90 | N40 -> N41; | |
91 | N41 -> N42; | |
92 | N42 -> N10; | |
93 | N11 -> N43; | |
94 | N43 -> N44; | |
95 | N44 -> N45; | |
96 | N45 -> N46; | |
97 | N46 -> N8; | |
98 | N9 -> N47; | |
476ff2be SL |
99 | N47 -> N48; |
100 | N48 -> N1; | |
1a4d82fc | 101 | } |