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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr 25"];
   5     N3[label="local mut x"];
   6     N4[label="stmt let mut x = 25;"];
   7     N5[label="expr 25"];
   8     N6[label="local mut y"];
   9     N7[label="stmt let mut y = 25;"];
  10     N8[label="expr 25"];
  11     N9[label="local mut z"];
  12     N10[label="stmt let mut z = 25;"];
  13     N11[label="(dummy_node)"];
  14     N12[label="expr \'a:\l    loop  {\l        if x == 0 { break ; \"unreachable\"; }\l        x -= 1;\l        \'a:\l            loop  {\l                if y == 0 { break ; \"unreachable\"; }\l                y -= 1;\l                \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l                if x > 10 { continue \'a ; \"unreachable\"; }\l            }\l    }\l"];
  15     N13[label="expr x"];
  16     N14[label="expr 0"];
  17     N15[label="expr x == 0"];
  18     N16[label="expr break"];
  19     N17[label="(dummy_node)"];
  20     N18[label="stmt break ;"];
  21     N19[label="expr \"unreachable\""];
  22     N20[label="stmt \"unreachable\";"];
  23     N21[label="block { break ; \"unreachable\"; }"];
  24     N22[label="expr if x == 0 { break ; \"unreachable\"; }"];
  25     N23[label="stmt if x == 0 { break ; \"unreachable\"; }"];
  26     N24[label="expr 1"];
  27     N25[label="expr x"];
  28     N26[label="expr x -= 1"];
  29     N27[label="stmt x -= 1;"];
  30     N28[label="(dummy_node)"];
  31     N29[label="expr \'a:\l    loop  {\l        if y == 0 { break ; \"unreachable\"; }\l        y -= 1;\l        \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l        if x > 10 { continue \'a ; \"unreachable\"; }\l    }\l"];
  32     N30[label="expr y"];
  33     N31[label="expr 0"];
  34     N32[label="expr y == 0"];
  35     N33[label="expr break"];
  36     N34[label="(dummy_node)"];
  37     N35[label="stmt break ;"];
  38     N36[label="expr \"unreachable\""];
  39     N37[label="stmt \"unreachable\";"];
  40     N38[label="block { break ; \"unreachable\"; }"];
  41     N39[label="expr if y == 0 { break ; \"unreachable\"; }"];
  42     N40[label="stmt if y == 0 { break ; \"unreachable\"; }"];
  43     N41[label="expr 1"];
  44     N42[label="expr y"];
  45     N43[label="expr y -= 1"];
  46     N44[label="stmt y -= 1;"];
  47     N45[label="(dummy_node)"];
  48     N46[label="expr \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
  49     N47[label="expr z"];
  50     N48[label="expr 0"];
  51     N49[label="expr z == 0"];
  52     N50[label="expr break"];
  53     N51[label="(dummy_node)"];
  54     N52[label="stmt break ;"];
  55     N53[label="expr \"unreachable\""];
  56     N54[label="stmt \"unreachable\";"];
  57     N55[label="block { break ; \"unreachable\"; }"];
  58     N56[label="expr if z == 0 { break ; \"unreachable\"; }"];
  59     N57[label="stmt if z == 0 { break ; \"unreachable\"; }"];
  60     N58[label="expr 1"];
  61     N59[label="expr z"];
  62     N60[label="expr z -= 1"];
  63     N61[label="stmt z -= 1;"];
  64     N62[label="block { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
  65     N63[label="stmt \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
  66     N64[label="expr x"];
  67     N65[label="expr 10"];
  68     N66[label="expr x > 10"];
  69     N67[label="expr continue \'a"];
  70     N68[label="(dummy_node)"];
  71     N69[label="stmt continue \'a ;"];
  72     N70[label="expr \"unreachable\""];
  73     N71[label="stmt \"unreachable\";"];
  74     N72[label="block { continue \'a ; \"unreachable\"; }"];
  75     N73[label="expr if x > 10 { continue \'a ; \"unreachable\"; }"];
  76     N74[label="block {\l    if y == 0 { break ; \"unreachable\"; }\l    y -= 1;\l    \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l    if x > 10 { continue \'a ; \"unreachable\"; }\l}\l"];
  77     N75[label="block {\l    if x == 0 { break ; \"unreachable\"; }\l    x -= 1;\l    \'a:\l        loop  {\l            if y == 0 { break ; \"unreachable\"; }\l            y -= 1;\l            \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l            if x > 10 { continue \'a ; \"unreachable\"; }\l        }\l}\l"];
  78     N76[label="block {\l    let mut x = 25;\l    let mut y = 25;\l    let mut z = 25;\l    \'a:\l        loop  {\l            if x == 0 { break ; \"unreachable\"; }\l            x -= 1;\l            \'a:\l                loop  {\l                    if y == 0 { break ; \"unreachable\"; }\l                    y -= 1;\l                    \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l                    if x > 10 { continue \'a ; \"unreachable\"; }\l                }\l        }\l}\l"];
  79     N77[label="expr {\l    let mut x = 25;\l    let mut y = 25;\l    let mut z = 25;\l    \'a:\l        loop  {\l            if x == 0 { break ; \"unreachable\"; }\l            x -= 1;\l            \'a:\l                loop  {\l                    if y == 0 { break ; \"unreachable\"; }\l                    y -= 1;\l                    \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l                    if x > 10 { continue \'a ; \"unreachable\"; }\l                }\l        }\l}\l"];
  80     N0 -> N2;
  81     N2 -> N3;
  82     N3 -> N4;
  83     N4 -> N5;
  84     N5 -> N6;
  85     N6 -> N7;
  86     N7 -> N8;
  87     N8 -> N9;
  88     N9 -> N10;
  89     N10 -> N11;
  90     N11 -> N13;
  91     N13 -> N14;
  92     N14 -> N15;
  93     N15 -> N16;
  94     N16 -> N12;
  95     N17 -> N18;
  96     N18 -> N19;
  97     N19 -> N20;
  98     N20 -> N21;
  99     N15 -> N22;
 100     N21 -> N22;
 101     N22 -> N23;
 102     N23 -> N24;
 103     N24 -> N25;
 104     N25 -> N26;
 105     N26 -> N27;
 106     N27 -> N28;
 107     N28 -> N30;
 108     N30 -> N31;
 109     N31 -> N32;
 110     N32 -> N33;
 111     N33 -> N29;
 112     N34 -> N35;
 113     N35 -> N36;
 114     N36 -> N37;
 115     N37 -> N38;
 116     N32 -> N39;
 117     N38 -> N39;
 118     N39 -> N40;
 119     N40 -> N41;
 120     N41 -> N42;
 121     N42 -> N43;
 122     N43 -> N44;
 123     N44 -> N45;
 124     N45 -> N47;
 125     N47 -> N48;
 126     N48 -> N49;
 127     N49 -> N50;
 128     N50 -> N46;
 129     N51 -> N52;
 130     N52 -> N53;
 131     N53 -> N54;
 132     N54 -> N55;
 133     N49 -> N56;
 134     N55 -> N56;
 135     N56 -> N57;
 136     N57 -> N58;
 137     N58 -> N59;
 138     N59 -> N60;
 139     N60 -> N61;
 140     N61 -> N62;
 141     N62 -> N45;
 142     N46 -> N63;
 143     N63 -> N64;
 144     N64 -> N65;
 145     N65 -> N66;
 146     N66 -> N67;
 147     N67 -> N28;
 148     N68 -> N69;
 149     N69 -> N70;
 150     N70 -> N71;
 151     N71 -> N72;
 152     N66 -> N73;
 153     N72 -> N73;
 154     N73 -> N74;
 155     N74 -> N28;
 156     N29 -> N75;
 157     N75 -> N11;
 158     N12 -> N76;
 159     N76 -> N77;
 160     N77 -> N1;
 161 }