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