Do not flood if state is empty.
This commit is contained in:
parent
d67e3e6c5a
commit
f12ab2790d
1 changed files with 3 additions and 0 deletions
|
|
@ -345,6 +345,9 @@ impl<'a, 'tcx> TOFinder<'a, 'tcx> {
|
|||
extra_elem: Option<TrackElem>,
|
||||
state: &mut ConditionSet<'a>,
|
||||
) {
|
||||
if state.is_empty() {
|
||||
return;
|
||||
}
|
||||
let mut places_to_exclude = FxHashSet::default();
|
||||
self.map.for_each_aliasing_place(place.as_ref(), extra_elem, &mut |vi| {
|
||||
places_to_exclude.insert(vi);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue