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

   1 digraph block {
   2     N0[label="entry"];
   3     N1[label="exit"];
   4     N2[label="expr 23"];
   5     N3[label="local mut x"];
   6     N4[label="stmt let mut x = 23;"];
   7     N5[label="expr 23"];
   8     N6[label="local mut y"];
   9     N7[label="stmt let mut y = 23;"];
  10     N8[label="expr 23"];
  11     N9[label="local mut z"];
  12     N10[label="stmt let mut z = 23;"];
  13     N11[label="(dummy_node)"];
  14     N12[label="expr while x > 0 {\l    x -= 1;\l    while y > 0 {\l        y -= 1;\l        while z > 0 { z -= 1; }\l        if x > 10 { return; \"unreachable\"; }\l    }\l}\l"];
  15     N13[label="expr x"];
  16     N14[label="expr 0"];
  17     N15[label="expr x > 0"];
  18     N16[label="expr 1"];
  19     N17[label="expr x"];
  20     N18[label="expr x -= 1"];
  21     N19[label="stmt x -= 1;"];
  22     N20[label="(dummy_node)"];
  23     N21[label="expr while y > 0 {\l    y -= 1;\l    while z > 0 { z -= 1; }\l    if x > 10 { return; \"unreachable\"; }\l}\l"];
  24     N22[label="expr y"];
  25     N23[label="expr 0"];
  26     N24[label="expr y > 0"];
  27     N25[label="expr 1"];
  28     N26[label="expr y"];
  29     N27[label="expr y -= 1"];
  30     N28[label="stmt y -= 1;"];
  31     N29[label="(dummy_node)"];
  32     N30[label="expr while z > 0 { z -= 1; }"];
  33     N31[label="expr z"];
  34     N32[label="expr 0"];
  35     N33[label="expr z > 0"];
  36     N34[label="expr 1"];
  37     N35[label="expr z"];
  38     N36[label="expr z -= 1"];
  39     N37[label="stmt z -= 1;"];
  40     N38[label="block { z -= 1; }"];
  41     N39[label="stmt while z > 0 { z -= 1; }"];
  42     N40[label="expr x"];
  43     N41[label="expr 10"];
  44     N42[label="expr x > 10"];
  45     N43[label="expr return"];
  46     N44[label="(dummy_node)"];
  47     N45[label="stmt return;"];
  48     N46[label="expr \"unreachable\""];
  49     N47[label="stmt \"unreachable\";"];
  50     N48[label="block { return; \"unreachable\"; }"];
  51     N49[label="expr if x > 10 { return; \"unreachable\"; }"];
  52     N50[label="block { y -= 1; while z > 0 { z -= 1; } if x > 10 { return; \"unreachable\"; } }"];
  53     N51[label="block {\l    x -= 1;\l    while y > 0 {\l        y -= 1;\l        while z > 0 { z -= 1; }\l        if x > 10 { return; \"unreachable\"; }\l    }\l}\l"];
  54     N52[label="block {\l    let mut x = 23;\l    let mut y = 23;\l    let mut z = 23;\l    while x > 0 {\l        x -= 1;\l        while y > 0 {\l            y -= 1;\l            while z > 0 { z -= 1; }\l            if x > 10 { return; \"unreachable\"; }\l        }\l    }\l}\l"];
  55     N53[label="expr {\l    let mut x = 23;\l    let mut y = 23;\l    let mut z = 23;\l    while x > 0 {\l        x -= 1;\l        while y > 0 {\l            y -= 1;\l            while z > 0 { z -= 1; }\l            if x > 10 { return; \"unreachable\"; }\l        }\l    }\l}\l"];
  56     N0 -> N2;
  57     N2 -> N3;
  58     N3 -> N4;
  59     N4 -> N5;
  60     N5 -> N6;
  61     N6 -> N7;
  62     N7 -> N8;
  63     N8 -> N9;
  64     N9 -> N10;
  65     N10 -> N11;
  66     N11 -> N13;
  67     N13 -> N14;
  68     N14 -> N15;
  69     N15 -> N12;
  70     N15 -> N16;
  71     N16 -> N17;
  72     N17 -> N18;
  73     N18 -> N19;
  74     N19 -> N20;
  75     N20 -> N22;
  76     N22 -> N23;
  77     N23 -> N24;
  78     N24 -> N21;
  79     N24 -> N25;
  80     N25 -> N26;
  81     N26 -> N27;
  82     N27 -> N28;
  83     N28 -> N29;
  84     N29 -> N31;
  85     N31 -> N32;
  86     N32 -> N33;
  87     N33 -> N30;
  88     N33 -> N34;
  89     N34 -> N35;
  90     N35 -> N36;
  91     N36 -> N37;
  92     N37 -> N38;
  93     N38 -> N29;
  94     N30 -> N39;
  95     N39 -> N40;
  96     N40 -> N41;
  97     N41 -> N42;
  98     N42 -> N43;
  99     N43 -> N1;
 100     N44 -> N45;
 101     N45 -> N46;
 102     N46 -> N47;
 103     N47 -> N48;
 104     N42 -> N49;
 105     N48 -> N49;
 106     N49 -> N50;
 107     N50 -> N20;
 108     N21 -> N51;
 109     N51 -> N11;
 110     N12 -> N52;
 111     N52 -> N53;
 112     N53 -> N1;
 113 }