add interval constructor validation

bjjwwang · Jul 26, 2024 · 3d74b43 · 3d74b43
1 parent 4105178
commit 3d74b43
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/svf/include/AE/Core/IntervalValue.h b/svf/include/AE/Core/IntervalValue.h
@@ -108,7 +108,9 @@ class IntervalValue
     explicit IntervalValue(BoundedInt n) : IntervalValue(n, n) {}
 
     /// Create the IntervalValue [lb, ub]
-    explicit IntervalValue(BoundedInt lb, BoundedInt ub) : _lb(std::move(lb)), _ub(std::move(ub)) {}
+    explicit IntervalValue(BoundedInt lb, BoundedInt ub) : _lb(std::move(lb)), _ub(std::move(ub)) {
+        assert(_lb.leq(_ub) && "lower bound should be less than or equal to upper bound");
+    }
 
     explicit IntervalValue(s64_t lb, s64_t ub) : IntervalValue(BoundedInt(lb), BoundedInt(ub)) {}