This commit is contained in:
Dylan MacKenzie 2022-03-27 10:58:55 -07:00 committed by GitHub
parent 37ebd47ddb
commit 241ec5b3b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -279,9 +279,7 @@ impl Direction for Backward {
analysis.apply_switch_int_edge_effects(pred, discr, &mut applier); analysis.apply_switch_int_edge_effects(pred, discr, &mut applier);
let BackwardSwitchIntEdgeEffectsApplier { effects_applied, .. } = applier; if !applier.effects_applied {
if !effects_applied {
propagate(pred, exit_state) propagate(pred, exit_state)
} }
} }