| digraph block { |
| N0[label="entry"]; |
| N1[label="exit"]; |
| N2[label="expr 15"]; |
| N3[label="local mut x"]; |
| N4[label="stmt let mut x = 15;"]; |
| N5[label="expr 151"]; |
| N6[label="local mut y"]; |
| N7[label="stmt let mut y = 151;"]; |
| N8[label="(dummy_node)"]; |
| N9[label="expr \'outer:\l loop {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l }\l"]; |
| N10[label="(dummy_node)"]; |
| N11[label="expr \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l"]; |
| N12[label="expr x"]; |
| N13[label="expr 1"]; |
| N14[label="expr x == 1"]; |
| N15[label="expr break \'outer"]; |
| N16[label="(dummy_node)"]; |
| N17[label="stmt break \'outer ;"]; |
| N18[label="expr \"unreachable\""]; |
| N19[label="stmt \"unreachable\";"]; |
| N20[label="block { break \'outer ; \"unreachable\"; }"]; |
| N21[label="expr if x == 1 { break \'outer ; \"unreachable\"; }"]; |
| N22[label="stmt if x == 1 { break \'outer ; \"unreachable\"; }"]; |
| N23[label="expr y"]; |
| N24[label="expr 2"]; |
| N25[label="expr y >= 2"]; |
| N26[label="expr return"]; |
| N27[label="(dummy_node)"]; |
| N28[label="stmt return;"]; |
| N29[label="expr \"unreachable\""]; |
| N30[label="stmt \"unreachable\";"]; |
| N31[label="block { return; \"unreachable\"; }"]; |
| N32[label="expr if y >= 2 { return; \"unreachable\"; }"]; |
| N33[label="stmt if y >= 2 { return; \"unreachable\"; }"]; |
| N34[label="expr 3"]; |
| N35[label="expr y"]; |
| N36[label="expr y -= 3"]; |
| N37[label="stmt y -= 3;"]; |
| N38[label="expr 5"]; |
| N39[label="expr x"]; |
| N40[label="expr x -= 5"]; |
| N41[label="stmt x -= 5;"]; |
| N42[label="block {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l}\l"]; |
| N43[label="stmt \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l"]; |
| N44[label="expr \"unreachable\""]; |
| N45[label="stmt \"unreachable\";"]; |
| N46[label="block {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l}\l"]; |
| N47[label="block {\l let mut x = 15;\l let mut y = 151;\l \'outer:\l loop {\l \'inner:\l loop {\l if x == 1 { break \'outer ; \"unreachable\"; }\l if y >= 2 { return; \"unreachable\"; }\l y -= 3;\l x -= 5;\l }\l \"unreachable\";\l }\l}\l"]; |
| N0 -> N2; |
| N2 -> N3; |
| N3 -> N4; |
| N4 -> N5; |
| N5 -> N6; |
| N6 -> N7; |
| N7 -> N8; |
| N8 -> N10; |
| N10 -> N12; |
| N12 -> N13; |
| N13 -> N14; |
| N14 -> N15; |
| N15 -> N9; |
| N16 -> N17; |
| N17 -> N18; |
| N18 -> N19; |
| N19 -> N20; |
| N14 -> N21; |
| N20 -> N21; |
| N21 -> N22; |
| N22 -> N23; |
| N23 -> N24; |
| N24 -> N25; |
| N25 -> N26; |
| N26 -> N1; |
| N27 -> N28; |
| N28 -> N29; |
| N29 -> N30; |
| N30 -> N31; |
| N25 -> N32; |
| N31 -> N32; |
| N32 -> N33; |
| N33 -> N34; |
| N34 -> N35; |
| N35 -> N36; |
| N36 -> N37; |
| N37 -> N38; |
| N38 -> N39; |
| N39 -> N40; |
| N40 -> N41; |
| N41 -> N42; |
| N42 -> N10; |
| N11 -> N43; |
| N43 -> N44; |
| N44 -> N45; |
| N45 -> N46; |
| N46 -> N8; |
| N9 -> N47; |
| N47 -> N1; |
| } |