(tvm) branch main updated: Revert "[ARITH] Fix InternalError: Check failed: (eval_vec_) is false" (#18542)

[mshr]

This is an automated email from the ASF dual-hosted git repository.

mshr pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


The following commit(s) were added to refs/heads/main by this push:
     new ed97234b25 Revert "[ARITH] Fix InternalError: Check failed: 
(eval_vec_) is false" (#18542)
ed97234b25 is described below

commit ed97234b25a155bc66198ab5cd9e372a4772acec
Author: Shushi Hong <820958...@qq.com>
AuthorDate: Wed Dec 3 20:22:59 2025 -0500

    Revert "[ARITH] Fix InternalError: Check failed: (eval_vec_) is false" 
(#18542)
    
    Reverts apache/tvm#18536
---
 src/arith/int_set.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/arith/int_set.cc b/src/arith/int_set.cc
index 1e87bc086c..1433ceb70f 100644
--- a/src/arith/int_set.cc
+++ b/src/arith/int_set.cc
@@ -532,10 +532,7 @@ class IntervalSetEvaluator : public 
ExprFunctor<IntervalSet(const PrimExpr&)> {
   }
 
   IntervalSet VisitExpr_(const BroadcastNode* op) final {
-    if (!eval_vec_) {
-      DLOG(WARNING) << "cannot evaluate set on expression " << 
ffi::GetRef<PrimExpr>(op);
-      return IntervalSet::Everything();
-    }
+    ICHECK(eval_vec_);
     return VisitExpr(op->value);
   }