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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr E13::E13b"];
   5     N3[label="expr 13"];
   6     N4[label="expr E13::E13b(13)"];
   7     N5[label="local x"];
   8     N6[label="stmt let x = E13::E13b(13);"];
   9     N7[label="local _y"];
  10     N8[label="stmt let _y;"];
  11     N9[label="expr x"];
  12     N10[label="expr match x { E13::E13a => _y = 1, E13::E13b(v) => _y = v + 1, }"];
  13     N11[label="(dummy_node)"];
  14     N12[label="pat E13::E13a"];
  15     N13[label="expr 1"];
  16     N14[label="expr _y"];
  17     N15[label="expr _y = 1"];
  18     N16[label="(dummy_node)"];
  19     N17[label="local v"];
  20     N18[label="pat E13::E13b(v)"];
  21     N19[label="expr v"];
  22     N20[label="expr 1"];
  23     N21[label="expr v + 1"];
  24     N22[label="expr _y"];
  25     N23[label="expr _y = v + 1"];
  26     N24[label="block {\l    let x = E13::E13b(13);\l    let _y;\l    match x { E13::E13a => _y = 1, E13::E13b(v) => _y = v + 1, }\l}\l"];
  27     N25[label="expr {\l    let x = E13::E13b(13);\l    let _y;\l    match x { E13::E13a => _y = 1, E13::E13b(v) => _y = v + 1, }\l}\l"];
  28     N0 -> N2;
  29     N2 -> N3;
  30     N3 -> N4;
  31     N4 -> N5;
  32     N5 -> N6;
  33     N6 -> N7;
  34     N7 -> N8;
  35     N8 -> N9;
  36     N9 -> N12;
  37     N12 -> N11;
  38     N11 -> N13;
  39     N13 -> N14;
  40     N14 -> N15;
  41     N15 -> N10;
  42     N9 -> N17;
  43     N17 -> N18;
  44     N18 -> N16;
  45     N16 -> N19;
  46     N19 -> N20;
  47     N20 -> N21;
  48     N21 -> N22;
  49     N22 -> N23;
  50     N23 -> N10;
  51     N10 -> N24;
  52     N24 -> N25;
  53     N25 -> N1;
  54 }