More efficient intersection handling

model-checking · Jul 29, 2024 · c5d25ed · c5d25ed
1 parent ba56f12
commit c5d25ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/delayed_ub/instrumentation_visitor.rs b/kani-compiler/src/kani_middle/transform/check_uninit/delayed_ub/instrumentation_visitor.rs
@@ -105,8 +105,8 @@ impl<'a, 'tcx> MirVisitor for InstrumentationVisitor<'a, 'tcx> {
  .points_to
  .follow_from_place(rustc_internal::internal(self.tcx, place), self.current_def_id)
  .intersection(&self.analysis_targets)
- .count()
- != 0
+ .next()
+ .is_some()
  {
  // If we are mutating the place, initialize it.
  if ptx.is_mutating() {