[llvm] [DA] Add overflow check in ExactSIV (PR #157086)

[Michael Kruse via llvm-commits]

================
@@ -815,8 +815,8 @@ for.end:                                          ; preds = %for.body
 ;;     A[3*i - 2] = 1;
 ;; }
 ;;
-;; FIXME: DependencyAnalsysis currently detects no dependency between
-;; `A[-6*i + INT64_MAX]` and `A[3*i - 2]`, but it does exist. For example,
+;; There exists dependency between `A[-6*i + INT64_MAX]` and `A[3*i - 2]`.
+;; For example,
----------------
Meinersbur wrote:

It seems to be the same change as in https://github.com/llvm/llvm-project/commit/32203e64455a722b89e1813e9d56870bb0a8dcf5, before my request to adjust the comment

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