missing poison check

Hardcode84 · Hardcode84 · commit 3534df99eefb · 2025-08-16T12:01:28.000+02:00
Signed-off-by: Ivan Butygin &lt;ivan.butygin@gmail.com&gt;
diff --git a/mlir/lib/Interfaces/Utils/InferIntRangeCommon.cpp b/mlir/lib/Interfaces/Utils/InferIntRangeCommon.cpp
@@ -135,7 +135,8 @@ mlir::intrange::inferIndexOp(const InferRangeFn &inferFn,
   }
   if (truncEqual)
     // Returing the 64-bit result preserves more information.
-    return sixtyFour;
+    return propagatePoison(sixtyFour, argRanges);
+
   ConstantIntRanges merged = sixtyFour.rangeUnion(thirtyTwoAsSixtyFour);
   return propagatePoison(merged, argRanges);
 }

Original file line number	Diff line number	Diff line change
`@@ -135,7 +135,8 @@ mlir::intrange::inferIndexOp(const InferRangeFn &inferFn,`
`135`	`135`	`}`
`136`	`136`	`if (truncEqual)`
`137`	`137`	`// Returing the 64-bit result preserves more information.`
`138`		`- return sixtyFour;`
	`138`	`+ return propagatePoison(sixtyFour, argRanges);`
	`139`	`+`
`139`	`140`	`ConstantIntRanges merged = sixtyFour.rangeUnion(thirtyTwoAsSixtyFour);`
`140`	`141`	`return propagatePoison(merged, argRanges);`
`141`	`142`	`}`