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

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