[llvm-branch-commits] [llvm] [DA] Add overflow check in BanerjeeMIVtest (PR #190469)

[Ryotaro Kasuga via llvm-branch-commits]

https://github.com/kasuga-fj commented:

Some context about the Banerjee MIV test: Different from other dependence tests, the necessary condition for the Banerjee MIV test to be sound is still unclear, so it will be disabled by default (see #174733). Hence we (at least I) have neglected the issues in the Benerjee MIV test. Although this fix seems to be reasonable to me, but please keep in mind that AFAIK the ideal fixes for other parts of the Banerjee MIV test are still unknown.

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