From 310bb82fc4b1a67332ea289642d9c57d4d2ff8ba Mon Sep 17 00:00:00 2001
From: cchung100m <cchung100m@users.noreply.github.com>
Date: Mon, 1 Dec 2025 21:10:34 +0800
Subject: [PATCH] [#17936] Fix InternalError: Check failed: (eval_vec_) is
 false

---
 src/arith/int_set.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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