[flang-commits] [flang] [flang] AliasAnalysis: Handle fir.load on fir.alloca (PR #117785)

[Joel E. Denny via flang-commits]

================
@@ -47,6 +50,14 @@
 // CHECK-DAG: arg2.load#0 <-> arg2.addr#0: MustAlias
 // CHECK-DAG: boxp1.addr#0 <-> arg2.addr#0: MayAlias
 
+// The address in a pointer cannot alias the address of a pointer, even when the
----------------
jdenny-ornl wrote:

C3 alone introduces regressions for these cases:

For T3:

- Without this PR: MayAlias
- With C1+C2: NoAlias (right)
- With C3 alone: MustAlias (wrong)

For T4:
- Without this PR: MayAlias
- With C1+C2: MayAlias
- With C3 alone: NoAlias (wrong)

If these case are important, we should fix them before landing this PR.

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