[Mlir-commits] [mlir] [mlir][dataflow] Fix for integer range analysis propagation bug (PR #93199)

[Felix Schneider]

ubfx wrote:

I agree that the control flow issue you have laid out is a problem. But to me it seems like assigning "fake" ranges to non-Integer values might lead to other problems down the line. 

Maybe we should think about this check? Why don't we do `setAllToEntryStates()` on the Operation's results when any of the operands are unitialized?
https://github.com/llvm/llvm-project/blob/main/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp#L76

https://github.com/llvm/llvm-project/pull/93199