[llvm] [SimplifyCFG] Deduce paths unreachable if they cause div/rem UB (PR #109008)

[Bill Wendling via llvm-commits]

bwendling wrote:

This patch is causing major issues with Linux where it silently generates bad code. In the reported case, it's falling into the next function.

I don't think this patch works, because unlike floating point math, there's no way to tell the compiler to accept divide by zero or shifting by a negative number.


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