[Mlir-commits] [mlir] [mlir][integer-range-analysis] expose helpers in header and fix ConstantIntRange print (PR #127888)

[Jakub Kuderski]

================
@@ -37,6 +37,24 @@
 using namespace mlir;
 using namespace mlir::dataflow;
 
+namespace mlir::dataflow {
+LogicalResult staticallyNonNegative(DataFlowSolver &solver, Value v) {
----------------
kuhar wrote:

I'd make this return a plain `bool` -- not sure if we gain anything from `LogicalResult`.

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