Stop marking locals as dead in ConstProp.

This commit is contained in:
Camille GILLOT 2023-05-21 13:33:56 +00:00
parent 70e04bd88d
commit cc4d1e581e

View File

@ -886,13 +886,7 @@ impl<'tcx> MutVisitor<'tcx> for ConstPropagator<'_, 'tcx> {
}
}
StatementKind::StorageLive(local) => {
let frame = self.ecx.frame_mut();
frame.locals[local].value =
LocalValue::Live(interpret::Operand::Immediate(interpret::Immediate::Uninit));
}
StatementKind::StorageDead(local) => {
let frame = self.ecx.frame_mut();
frame.locals[local].value = LocalValue::Dead;
Self::remove_const(&mut self.ecx, local);
}
_ => {}
}