[Mlir-commits] [mlir] [mlir] [presburger] Add IntegerRelation::rangeProduct (PR #148092)

[llvmlistbot at llvm.org]

Xinlong-Wu wrote:

I think it seems alright. what you need to do should be **add more test case** and **format the code** before commit

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