* Introduce some changes by Angus Lees

[rustc.git] / src / test / run-make / graphviz-flowgraph / f21.dot-expected.dot

digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="expr 15is"];
    N3[label="local mut x"];
    N4[label="stmt let mut x = 15is;"];
    N5[label="expr 151is"];
    N6[label="local mut y"];
    N7[label="stmt let mut y = 151is;"];
    N8[label="(dummy_node)"];
    N9[label="expr \'outer:\l    loop  {\l        \'inner:\l            loop  {\l                if x == 1is { break \'outer ; \"unreachable\"; }\l                if y >= 2is { return; \"unreachable\"; }\l                y -= 3is;\l                x -= 5is;\l            }\l        \"unreachable\";\l    }\l"];
    N10[label="(dummy_node)"];
    N11[label="expr \'inner:\l    loop  {\l        if x == 1is { break \'outer ; \"unreachable\"; }\l        if y >= 2is { return; \"unreachable\"; }\l        y -= 3is;\l        x -= 5is;\l    }\l"];
    N12[label="expr x"];
    N13[label="expr 1is"];
    N14[label="expr x == 1is"];
    N15[label="expr break \'outer"];
    N16[label="(dummy_node)"];
    N17[label="stmt break \'outer ;"];
    N18[label="expr \"unreachable\""];
    N19[label="stmt \"unreachable\";"];
    N20[label="block { break \'outer ; \"unreachable\"; }"];
    N21[label="expr if x == 1is { break \'outer ; \"unreachable\"; }"];
    N22[label="stmt if x == 1is { break \'outer ; \"unreachable\"; }"];
    N23[label="expr y"];
    N24[label="expr 2is"];
    N25[label="expr y >= 2is"];
    N26[label="expr return"];
    N27[label="(dummy_node)"];
    N28[label="stmt return;"];
    N29[label="expr \"unreachable\""];
    N30[label="stmt \"unreachable\";"];
    N31[label="block { return; \"unreachable\"; }"];
    N32[label="expr if y >= 2is { return; \"unreachable\"; }"];
    N33[label="stmt if y >= 2is { return; \"unreachable\"; }"];
    N34[label="expr 3is"];
    N35[label="expr y"];
    N36[label="expr y -= 3is"];
    N37[label="stmt y -= 3is;"];
    N38[label="expr 5is"];
    N39[label="expr x"];
    N40[label="expr x -= 5is"];
    N41[label="stmt x -= 5is;"];
    N42[label="block {\l    if x == 1is { break \'outer ; \"unreachable\"; }\l    if y >= 2is { return; \"unreachable\"; }\l    y -= 3is;\l    x -= 5is;\l}\l"];
    N43[label="stmt \'inner:\l    loop  {\l        if x == 1is { break \'outer ; \"unreachable\"; }\l        if y >= 2is { return; \"unreachable\"; }\l        y -= 3is;\l        x -= 5is;\l    }\l"];
    N44[label="expr \"unreachable\""];
    N45[label="stmt \"unreachable\";"];
    N46[label="block {\l    \'inner:\l        loop  {\l            if x == 1is { break \'outer ; \"unreachable\"; }\l            if y >= 2is { return; \"unreachable\"; }\l            y -= 3is;\l            x -= 5is;\l        }\l    \"unreachable\";\l}\l"];
    N47[label="block {\l    let mut x = 15is;\l    let mut y = 151is;\l    \'outer:\l        loop  {\l            \'inner:\l                loop  {\l                    if x == 1is { break \'outer ; \"unreachable\"; }\l                    if y >= 2is { return; \"unreachable\"; }\l                    y -= 3is;\l                    x -= 5is;\l                }\l            \"unreachable\";\l        }\l}\l"];
    N0 -> N2;
    N2 -> N3;
    N3 -> N4;
    N4 -> N5;
    N5 -> N6;
    N6 -> N7;
    N7 -> N8;
    N8 -> N10;
    N10 -> N12;
    N12 -> N13;
    N13 -> N14;
    N14 -> N15;
    N15 -> N9[label="exiting scope_0 expr break \'outer,\lexiting scope_1 stmt break \'outer ;,\lexiting scope_2 block { break \'outer ; \"unreachable\"; },\lexiting scope_3 expr if x == 1is { break \'outer ; \"unreachable\"; },\lexiting scope_4 stmt if x == 1is { break \'outer ; \"unreachable\"; },\lexiting scope_5 block {\l    if x == 1is { break \'outer ; \"unreachable\"; }\l    if y >= 2is { return; \"unreachable\"; }\l    y -= 3is;\l    x -= 5is;\l}\l,\lexiting scope_6 expr \'inner:\l    loop  {\l        if x == 1is { break \'outer ; \"unreachable\"; }\l        if y >= 2is { return; \"unreachable\"; }\l        y -= 3is;\l        x -= 5is;\l    }\l,\lexiting scope_7 stmt \'inner:\l    loop  {\l        if x == 1is { break \'outer ; \"unreachable\"; }\l        if y >= 2is { return; \"unreachable\"; }\l        y -= 3is;\l        x -= 5is;\l    }\l,\lexiting scope_8 block {\l    \'inner:\l        loop  {\l            if x == 1is { break \'outer ; \"unreachable\"; }\l            if y >= 2is { return; \"unreachable\"; }\l            y -= 3is;\l            x -= 5is;\l        }\l    \"unreachable\";\l}\l"];
    N16 -> N17;
    N17 -> N18;
    N18 -> N19;
    N19 -> N20;
    N14 -> N21;
    N20 -> N21;
    N21 -> N22;
    N22 -> N23;
    N23 -> N24;
    N24 -> N25;
    N25 -> N26;
    N26 -> N1[label="exiting scope_0 expr \'inner:\l    loop  {\l        if x == 1is { break \'outer ; \"unreachable\"; }\l        if y >= 2is { return; \"unreachable\"; }\l        y -= 3is;\l        x -= 5is;\l    }\l,\lexiting scope_1 expr \'outer:\l    loop  {\l        \'inner:\l            loop  {\l                if x == 1is { break \'outer ; \"unreachable\"; }\l                if y >= 2is { return; \"unreachable\"; }\l                y -= 3is;\l                x -= 5is;\l            }\l        \"unreachable\";\l    }\l"];
    N27 -> N28;
    N28 -> N29;
    N29 -> N30;
    N30 -> N31;
    N25 -> N32;
    N31 -> N32;
    N32 -> N33;
    N33 -> N34;
    N34 -> N35;
    N35 -> N36;
    N36 -> N37;
    N37 -> N38;
    N38 -> N39;
    N39 -> N40;
    N40 -> N41;
    N41 -> N42;
    N42 -> N10;
    N11 -> N43;
    N43 -> N44;
    N44 -> N45;
    N45 -> N46;
    N46 -> N8;
    N9 -> N47;
    N47 -> N1;
}