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

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