[llvm] Signed integer overflow in Constraint Elimination pass (PR #133903)

[Nikita Popov via llvm-commits]

=?utf-8?b?6buD5ZyL5bqt?=,=?utf-8?b?6buD5ZyL5bqt?=,=?utf-8?b?6buD5ZyL5bqt?=,
=?utf-8?b?6buD5ZyL5bqt?Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/133903 at github.com>


nikic wrote:

What makes you think that MulOverflow does not handle INT_MIN * -1 correctly? There is a test for it here: https://github.com/llvm/llvm-project/blob/48441cb8a2fa3b3f9502ba4ba1242746615841cb/llvm/unittests/Support/MathExtrasTest.cpp#L667-L672

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