[llvm] [ConstraintElim] Do not allow overflows in `Decomposition` (PR #140541)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

Thanks for updating the code to consistently check for overlfow!

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