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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr 2u"];
   5     N3[label="expr 0u"];
   6     N4[label="expr 20u"];
   7     N5[label="expr [2u, 0u, 20u]"];
   8     N6[label="local v"];
   9     N7[label="stmt let v = [2u, 0u, 20u];"];
  10     N8[label="expr v"];
  11     N9[label="expr 20u"];
  12     N10[label="expr v[20u]"];
  13     N11[label="stmt v[20u];"];
  14     N12[label="block { let v = [2u, 0u, 20u]; v[20u]; }"];
  15     N0 -> N2;
  16     N2 -> N3;
  17     N3 -> N4;
  18     N4 -> N5;
  19     N5 -> N6;
  20     N6 -> N7;
  21     N7 -> N8;
  22     N8 -> N9;
  23     N9 -> N10;
  24     N10 -> N11;
  25     N11 -> N12;
  26     N12 -> N1;
  27 }