blob: fb7d2ad97bd5f553277f80ae09dfcba4cbd3f1bd (
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
41
42
43
44
45
46
47
48
49
50
51
52
|
digraph block {
N0[label="entry"];
N1[label="exit"];
N2[label="expr E13::E13b"];
N3[label="expr 13"];
N4[label="expr E13::E13b(13)"];
N5[label="local x"];
N6[label="stmt let x = E13::E13b(13);"];
N7[label="local _y"];
N8[label="stmt let _y;"];
N9[label="expr x"];
N10[label="expr match x { E13::E13a => _y = 1, E13::E13b(v) => _y = v + 1, }"];
N11[label="(dummy_node)"];
N12[label="pat E13::E13a"];
N13[label="expr 1"];
N14[label="expr _y"];
N15[label="expr _y = 1"];
N16[label="(dummy_node)"];
N17[label="local v"];
N18[label="pat E13::E13b(v)"];
N19[label="expr v"];
N20[label="expr 1"];
N21[label="expr v + 1"];
N22[label="expr _y"];
N23[label="expr _y = v + 1"];
N24[label="block {\l let x = E13::E13b(13);\l let _y;\l match x { E13::E13a => _y = 1, E13::E13b(v) => _y = v + 1, }\l}\l"];
N0 -> N2;
N2 -> N3;
N3 -> N4;
N4 -> N5;
N5 -> N6;
N6 -> N7;
N7 -> N8;
N8 -> N9;
N9 -> N12;
N12 -> N11;
N11 -> N13;
N13 -> N14;
N14 -> N15;
N15 -> N10;
N9 -> N17;
N17 -> N18;
N18 -> N16;
N16 -> N19;
N19 -> N20;
N20 -> N21;
N21 -> N22;
N22 -> N23;
N23 -> N10;
N10 -> N24;
N24 -> N1;
}
|
