[Mlir-commits] [mlir] [mlir] fix IntegerRangeAnalysis::staticallyNonNegative (PR #134003)

[Maksim Levental]

https://github.com/makslevental updated https://github.com/llvm/llvm-project/pull/134003

>From cd698a4b5d3f54b3098c45ae6590615629a7cdc3 Mon Sep 17 00:00:00 2001
From: Maksim Levental <maksim.levental at gmail.com>
Date: Tue, 1 Apr 2025 19:09:30 -0400
Subject: [PATCH] [mlir] fix IntegerRangeAnalysis::staticallyNonNegative

---
 mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp b/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
index c7a950d9a8871..4a43def3fca87 100644
--- a/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
+++ b/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
@@ -43,6 +43,9 @@ LogicalResult staticallyNonNegative(DataFlowSolver &solver, Value v) {
   if (!result || result->getValue().isUninitialized())
     return failure();
   const ConstantIntRanges &range = result->getValue().getValue();
+  if (!range.umin().getBitWidth() || !range.umax().getBitWidth() ||
+      !range.smin().getBitWidth() || !range.smax().getBitWidth())
+    return false;
   return success(range.smin().isNonNegative());
 }