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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr 12is"];
   5     N3[label="local mut x"];
   6     N4[label="stmt let mut x = 12is;"];
   7     N5[label="(dummy_node)"];
   8     N6[label="expr loop  { x -= 1is; if x == 2is { break ; \"unreachable\"; } }"];
   9     N7[label="expr 1is"];
  10     N8[label="expr x"];
  11     N9[label="expr x -= 1is"];
  12     N10[label="stmt x -= 1is;"];
  13     N11[label="expr x"];
  14     N12[label="expr 2is"];
  15     N13[label="expr x == 2is"];
  16     N14[label="expr break"];
  17     N15[label="(dummy_node)"];
  18     N16[label="stmt break ;"];
  19     N17[label="expr \"unreachable\""];
  20     N18[label="stmt \"unreachable\";"];
  21     N19[label="block { break ; \"unreachable\"; }"];
  22     N20[label="expr if x == 2is { break ; \"unreachable\"; }"];
  23     N21[label="block { x -= 1is; if x == 2is { break ; \"unreachable\"; } }"];
  24     N22[label="block {\l    let mut x = 12is;\l    loop  { x -= 1is; if x == 2is { break ; \"unreachable\"; } }\l}\l"];
  25     N0 -> N2;
  26     N2 -> N3;
  27     N3 -> N4;
  28     N4 -> N5;
  29     N5 -> N7;
  30     N7 -> N8;
  31     N8 -> N9;
  32     N9 -> N10;
  33     N10 -> N11;
  34     N11 -> N12;
  35     N12 -> N13;
  36     N13 -> N14;
  37     N14 -> N6;
  38     N15 -> N16;
  39     N16 -> N17;
  40     N17 -> N18;
  41     N18 -> N19;
  42     N13 -> N20;
  43     N19 -> N20;
  44     N20 -> N21;
  45     N21 -> N5;
  46     N6 -> N22;
  47     N22 -> N1;
  48 }