src/test/run-make/graphviz-flowgraph/f11.dot-expected.dot


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

digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="expr 11"];
    N3[label="local mut _x"];
    N4[label="(dummy_node)"];
    N5[label="expr loop  { _x -= 1; }"];
    N6[label="expr 1"];
    N7[label="expr _x"];
    N8[label="expr _x -= 1"];
    N9[label="block { _x -= 1; }"];
    N10[label="expr \"unreachable\""];
    N11[label="block { let mut _x = 11; loop  { _x -= 1; } \"unreachable\"; }"];
    N0 -> N2;
    N2 -> N3;
    N3 -> N4;
    N4 -> N6;
    N6 -> N7;
    N7 -> N8;
    N8 -> N9;
    N9 -> N4;
    N5 -> N10;
    N10 -> N11;
    N11 -> N1;
}