[llvm] [DA] Check for overflow in strong SIV test (PR #166223)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> h #159846 and #164246 by proving the dependency.

IIRC, we don't prove dependency. We just return unknown dependence. Is this correct?

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