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

[Alireza Torabian via llvm-commits]

================
@@ -1,6 +1,8 @@
 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
 ; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
 ; RUN: | FileCheck %s
+; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa -da-enable-dependence-test=strong-siv 2>&1 \
+; RUN: | FileCheck %s --check-prefix=CHECK-STRONG-SIV
----------------
1997alireza wrote:

Thanks. I used the prefixes to avoid the redundant checks. I also added a pre commit to include the test case only, so now in the final commit we can see what has been changed in the test case. Let me know if it looks good to you.

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