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

[Alireza Torabian 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.
----------------
1997alireza wrote:

Strong SIV is proving the dependency after the fix by this patch. The output of Strong SIV is `consistent output [0 S]!`.

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