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

[Ryotaro Kasuga via llvm-commits]

================
@@ -512,3 +528,45 @@ for.body:                                         ; preds = %entry, %for.body
 for.end:                                          ; preds = %for.body
   ret void
 }
+
+
+;;  for (long unsigned i = 0; i < 9223372036854775806; i++)
+;;    for (long unsigned j = 0; j < 2147483640; j++)
+;;      if (i < 3000000000)
+;;        A[i] = 0;
+;
+; FIXME: DependenceAnalysis fails to detect the dependency between A[i] and
+; itself, while Strong SIV has been able to prove it.
----------------
kasuga-fj wrote:

I think this comment also needs to be fixed, as Strong SIV doesn't prove the dependency.

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