digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="expr 12i"];
    N3[label="local mut x"];
    N4[label="(dummy_node)"];
    N5[label="expr loop  { x -= 1i; if x == 2i { break ; \"unreachable\"; } }"];
    N6[label="expr 1i"];
    N7[label="expr x"];
    N8[label="expr x -= 1i"];
    N9[label="expr x"];
    N10[label="expr 2i"];
    N11[label="expr x == 2i"];
    N12[label="expr break"];
    N13[label="(dummy_node)"];
    N14[label="expr \"unreachable\""];
    N15[label="block { break ; \"unreachable\"; }"];
    N16[label="expr if x == 2i { break ; \"unreachable\"; }"];
    N17[label="block { x -= 1i; if x == 2i { break ; \"unreachable\"; } }"];
    N18[label="block { let mut x = 12i; loop  { x -= 1i; if x == 2i { 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 == 2i { break ; \"unreachable\"; },\lexiting scope_4 block { x -= 1i; if x == 2i { break ; \"unreachable\"; } }"];
    N13 -> N14;
    N14 -> N15;
    N11 -> N16;
    N15 -> N16;
    N16 -> N17;
    N17 -> N4;
    N5 -> N18;
    N18 -> N1;
}