[llvm] [DA] Add overflow check before calculating absolute value (PR #201964)

[Ehsan Amiri via llvm-commits]

================
@@ -0,0 +1,60 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
+
+; for (i = 0; i < 3; i++)
+;   A[6*i] = 0;
+;
+; for (j = 0; j < 2; j++) {
+;   if (INT_MIN*j + 6 >= 0)
+;     A[INT_MIN*j + 6] = 1;
+; }
+;
+;
----------------
amehsan wrote:

unneccsary empty line?

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