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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr 14"];
   5     N3[label="local x"];
   6     N4[label="stmt let x = 14;"];
   7     N5[label="expr x"];
   8     N6[label="expr 1"];
   9     N7[label="expr x > 1"];
  10     N8[label="expr return"];
  11     N9[label="(dummy_node)"];
  12     N10[label="stmt return;"];
  13     N11[label="expr \"unreachable\""];
  14     N12[label="stmt \"unreachable\";"];
  15     N13[label="block { return; \"unreachable\"; }"];
  16     N14[label="expr if x > 1 { return; \"unreachable\"; }"];
  17     N15[label="block { let x = 14; if x > 1 { return; \"unreachable\"; } }"];
  18     N16[label="expr { let x = 14; if x > 1 { return; \"unreachable\"; } }"];
  19     N0 -> N2;
  20     N2 -> N3;
  21     N3 -> N4;
  22     N4 -> N5;
  23     N5 -> N6;
  24     N6 -> N7;
  25     N7 -> N8;
  26     N8 -> N1;
  27     N9 -> N10;
  28     N10 -> N11;
  29     N11 -> N12;
  30     N12 -> N13;
  31     N7 -> N14;
  32     N13 -> N14;
  33     N14 -> N15;
  34     N15 -> N16;
  35     N16 -> N1;
  36 }