[llvm] [DA] Check if the multiplication overflows in strong SIV test (PR #164704)

[Nikita Popov 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
----------------
nikic wrote:

And then I'd also suggest pre-committing the test changes, so that this PR shows the diff.

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