From 509c5dc2fd1d6c3c24d2d7b54ea85d9c13ec4cc9 Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Sun, 9 May 2021 01:14:03 -0700
Subject: [PATCH] Remove sanity-check logic in range summary construction --
 zero-length ranges make this somewhat fickle to verify, and fuzzing will
 catch any issues.

---
 src/ion/mod.rs | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/src/ion/mod.rs b/src/ion/mod.rs
index 9d9c3c2..1bc48bd 100644
--- a/src/ion/mod.rs
+++ b/src/ion/mod.rs
@@ -2994,24 +2994,6 @@ impl<'a, F: Function> Env<'a, F> {
             ProgPoint::from_index(0)
         };
         bundledata.range_summary.bound = CodeRange { from, to };
-
-        #[cfg(debug_assertions)]
-        {
-            // Sanity check: ensure that ranges returned by the range
-            // summary correspond to actual ranges.
-            let mut iter = self.bundles[bundle.index()].first_range;
-            let mut summary_iter = self.bundles[bundle.index()]
-                .range_summary
-                .iter(&self.range_ranges[..]);
-            while iter.is_valid() {
-                assert_eq!(
-                    summary_iter.next(),
-                    Some(self.ranges_hot[iter.index()].range)
-                );
-                iter = self.ranges_hot[iter.index()].next_in_bundle;
-            }
-            assert_eq!(summary_iter.next(), None);
-        }
     }
 
     fn process_bundle(&mut self, bundle: LiveBundleIndex) {