Fix int_set when unbounded

apache · Jul 10, 2020 · 0b16f80 · 0b16f80
1 parent 523f334
commit 0b16f80
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/arith/int_set.cc b/src/arith/int_set.cc
@@ -609,6 +609,7 @@ bool IntSet::MatchRange(const Range& b) const {
   const IntSet& a = *this;
   const IntervalSetNode* a_int = a.as<IntervalSetNode>();
   if (!a_int) return false;
+  if (!a_int->HasUpperBound() || !a_int->HasLowerBound()) return false;
   Analyzer ana;
   return ProveEqual(&ana, a_int->min_value, b->min) &&
          ProveEqual(&ana, a_int->max_value, b->extent + b->min - 1);