bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix handling of dead unwinds in backward analyses

Browse source 
Dead unwinds set contains a head of an unreachable unwind edge.
This commit is contained in:
Tomasz Miąsko 2023-01-02 00:00:00 +00:00
parent 23b1cc197a
commit 357c3cf72c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_mir_dataflow/src/framework/direction.rs
View file

@ -287,7 +287,7 @@ impl Direction for Backward {
| mir::TerminatorKind::InlineAsm { cleanup: Some(unwind), .. } | mir::TerminatorKind::InlineAsm { cleanup: Some(unwind), .. }
if unwind == bb => 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); propagate(pred, exit_state);
} }
} }