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