[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:

Resolving [as discussed in the other conversation](https://github.com/llvm/llvm-project/pull/117785#discussion_r1953308159).

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