Auto merge of #106382 - tmiasko:sdniwnu-daed, r=wesleywiser

Fix handling of dead unwinds in backward analyses

Dead unwinds set contains a head of an unreachable unwind edge.
This commit is contained in:
bors 2023-01-04 15:48:47 +00:00
commit b7cdb635c4

View File

@ -287,7 +287,7 @@ impl Direction for Backward {
| mir::TerminatorKind::InlineAsm { cleanup: Some(unwind), .. }
if unwind == bb =>
{
if dead_unwinds.map_or(true, |dead| !dead.contains(bb)) {
if dead_unwinds.map_or(true, |dead| !dead.contains(pred)) {
propagate(pred, exit_state);
}
}