[llvm] [SCEV] Check correct value for UB (PR #124302)

[Antonio Frighetto via llvm-commits]

antoniofrighetto wrote:

I was able to take a look deeply at this only this afternoon unfortunately, and took a while, but I was just about to submit a quite similar patch, after realizing that the urem is modelled as just a UDivExpr, and the shifted value may have had UB as well. I'll take this as a remainder to look at these issues earlier next time.

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