blob: e6f273d0864174a2a1f9765ffd8aa83e5ef2fc0b [file] [log] [blame] [edit]
- // MIR for `match_option2_mut` before MatchBranchSimplification
+ // MIR for `match_option2_mut` after MatchBranchSimplification
fn match_option2_mut(_1: &mut Option2<i32>) -> Option2<i32> {
let mut _0: Option2<i32>;
let mut _2: isize;
bb0: {
_2 = discriminant((*_1));
switchInt(copy _2) -> [0: bb1, 1: bb2, 2: bb3, otherwise: bb4];
}
bb1: {
(*_1) = Option2::<i32>::None2;
_0 = Option2::<i32>::None1;
goto -> bb5;
}
bb2: {
(*_1) = Option2::<i32>::None2;
_0 = Option2::<i32>::None2;
goto -> bb5;
}
bb3: {
(*_1) = Option2::<i32>::None2;
_0 = copy (*_1);
goto -> bb5;
}
bb4: {
unreachable;
}
bb5: {
return;
}
}