@0⦊fn main() ⦉@0{
let @0⦊mut countdown = 0;
if true⦉@0 @1,3⦊{
countdown = 10;
}⦉@1,3@2⦊‸⦉@2
const B: u32 = 100;
let @25⦊x⦉@25 = if @4⦊countdown > 7⦉@4 {
@5,7,8⦊countdown -= 4;
B⦉@5,7,8
} else if @6⦊countdown > 2⦉@6 {
if @9,11⦊countdown < 1⦉@9,11 || @18⦊countdown > 5⦉@18 || @14⦊countdown != 9⦉@14 @20,22⦊{
countdown = 0;
}⦉@20,22@21⦊‸⦉@21
@23,24⦊countdown -= 5;
countdown⦉@23,24
} else {
@10⦊return⦉@10;
};
let @25⦊mut countdown = 0;
if true⦉@25 @26,28⦊{
countdown = 10;
}⦉@26,28@27⦊‸⦉@27
if @29⦊countdown > 7⦉@29 @30,32,33⦊{
countdown -= 4;
}⦉@30,32,33 else if @31⦊countdown > 2⦉@31 {
if @34,36⦊countdown < 1⦉@34,36 || @43⦊countdown > 5⦉@43 || @39⦊countdown != 9⦉@39 @45,47⦊{
countdown = 0;
}⦉@45,47@46⦊‸⦉@46
@48,49⦊countdown -= 5⦉@48,49;
} else {
@35⦊return⦉@35;
}
if @50⦊true⦉@50 {
let @51,53⦊mut countdown = 0;
if true⦉@51,53 @54,56⦊{
countdown = 10;
}⦉@54,56@55⦊‸⦉@55
if @57⦊countdown > 7⦉@57 @58,60,61⦊{
countdown -= 4;
}⦉@58,60,61
else if @59⦊countdown > 2⦉@59 {
if @62,64⦊countdown < 1⦉@62,64 || @71⦊countdown > 5⦉@71 || @67⦊countdown != 9⦉@67 @73,75⦊{
countdown = 0;
}⦉@73,75@74⦊‸⦉@74
@76,77⦊countdown -= 5⦉@76,77;
} else {
@63⦊return⦉@63;
}
}@52⦊‸⦉@52 // Note: closing brace shows uncovered (vs. `0` for implicit else) because condition literal
// `true` was const-evaluated. The compiler knows the `if` block will be executed.
let @79⦊mut countdown = 0;
if true⦉@79 @80,82⦊{
countdown = 1;
}⦉@80,82@81⦊‸⦉@81
let @106⦊z⦉@106 = if @83⦊countdown > 7⦉@83 @84,86,87⦊{
countdown -= 4;
}⦉@84,86,87 else if @85⦊countdown > 2⦉@85 {
if @88,90⦊countdown < 1⦉@88,90 || @97⦊countdown > 5⦉@97 || @93⦊countdown != 9⦉@93 @99,101⦊{
countdown = 0;
}⦉@99,101@100⦊‸⦉@100
@102,103⦊countdown -= 5⦉@102,103;
} else {
let @89,104,105⦊should_be_reachable = countdown;
println!("reached");
return⦉@89,104,105;
};
let @127⦊w⦉@127 = if @106⦊countdown > 7⦉@106 @107,109,110⦊{
countdown -= 4;
}⦉@107,109,110 else if @108⦊countdown > 2⦉@108 {
if @111,113⦊countdown < 1⦉@111,113 || @120⦊countdown > 5⦉@120 || @116⦊countdown != 9⦉@116 @122,124⦊{
countdown = 0;
}⦉@122,124@123⦊‸⦉@123
@125,126⦊countdown -= 5⦉@125,126;
} else {
@112⦊return⦉@112;
};
}@131⦊‸⦉@131