Skip to content

Commit 64e7a84

Browse files
committed
Do not flood if state is empty.
1 parent b04a787 commit 64e7a84

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

compiler/rustc_mir_transform/src/jump_threading.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -350,6 +350,9 @@ impl<'a, 'tcx> TOFinder<'a, 'tcx> {
350350
extra_elem: Option<TrackElem>,
351351
state: &mut ConditionSet<'a>,
352352
) {
353+
if state.is_empty() {
354+
return;
355+
}
353356
let mut places_to_exclude = FxHashSet::default();
354357
self.map.for_each_aliasing_place(place.as_ref(), extra_elem, &mut |vi| {
355358
places_to_exclude.insert(vi);

0 commit comments

Comments
 (0)