blob: 9c0f25d5bece5eb8617ab57ddebf595bbfd8f2d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
digraph block {
N0[label="entry"];
N1[label="exit"];
N2[label="expr 12"];
N3[label="local mut x"];
N4[label="(dummy_node)"];
N5[label="expr loop { x -= 1; if x == 2 { break ; \"unreachable\"; } }"];
N6[label="expr 1"];
N7[label="expr x"];
N8[label="expr x -= 1"];
N9[label="expr x"];
N10[label="expr 2"];
N11[label="expr x == 2"];
N12[label="expr break"];
N13[label="(dummy_node)"];
N14[label="expr \"unreachable\""];
N15[label="block { break ; \"unreachable\"; }"];
N16[label="expr if x == 2 { break ; \"unreachable\"; }"];
N17[label="block { x -= 1; if x == 2 { break ; \"unreachable\"; } }"];
N18[label="block { let mut x = 12; loop { x -= 1; if x == 2 { break ; \"unreachable\"; } } }"];
N0 -> N2;
N2 -> N3;
N3 -> N4;
N4 -> N6;
N6 -> N7;
N7 -> N8;
N8 -> N9;
N9 -> N10;
N10 -> N11;
N11 -> N12;
N12 -> N5[label="exiting scope_0 expr break,\lexiting scope_1 stmt break ;,\lexiting scope_2 block { break ; \"unreachable\"; },\lexiting scope_3 expr if x == 2 { break ; \"unreachable\"; },\lexiting scope_4 block { x -= 1; if x == 2 { break ; \"unreachable\"; } }"];
N13 -> N14;
N14 -> N15;
N11 -> N16;
N15 -> N16;
N16 -> N17;
N17 -> N4;
N5 -> N18;
N18 -> N1;
}
|
