[llvm] [DA] Dependence analysis does not handle array accesses of different sizes (PR #116630)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,15 @@
+; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
+; RUN: | FileCheck %s
+
+; The dependence test does not handle array accesses of different sizes: i32 and i64.
+; Bug 16183 - https://github.com/llvm/llvm-project/issues/16183
+; CHECK-LABEL: bug16183_alias
+; CHECK: da analyze - confused!
+
+define i64 @bug16183_alias(i32* nocapture %A) {
----------------
nikic wrote:

```suggestion
define i64 @bug16183_alias(ptr nocapture %A) {
```

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