https://github.com/antoniofrighetto commented: Looks reasonable to me, I suspect with the same issues of mul nsw ranges when checking w/ `CheckNonSignWrappedOnly` here. https://github.com/llvm/llvm-project/pull/100594