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

Renaud Kauffmann via flang-commits flang-commits at lists.llvm.org
Tue Jan 21 13:47:24 PST 2025


================
@@ -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
----------------
Renaud-K wrote:

It would have to be addressed in a separate MR. 

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


More information about the flang-commits mailing list