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

[Maksim Levental]

makslevental wrote:

> Uninitialized is different than "I don't know". 

Agreed but currently we have no model for "I don't know" right? This zero bit width thing is now playing the role but 

1) there are no checks upstream for this "I don't know" state 

2) it's not a great model since a priori zero bit width isn't synonymous with "I don't know"

3) what's good for the goose is good for the gander: if this reasoning holds (and I think it does), this is actually about all `AnalysisState`s


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