[flang-commits] [flang] [flang] Adding a couple of tests to the alias analysis (PR #125917)

[Joel E. Denny via flang-commits]

================
@@ -47,6 +47,14 @@
 // CHECK-DAG: arg2.load#0 <-> arg2.addr#0: MustAlias
 // CHECK-DAG: boxp1.addr#0 <-> arg2.addr#0: MayAlias
 
+// TODO: Can the address in a pointer alias the address of a pointer, even when the
+// pointer has no box. Should this be NoAlias?
+// T3: CHECK-DAG: p1.addr#0 <-> p1.tgt#0: MayAlias
----------------
jdenny-ornl wrote:

Do we want "T3" and "T4" to appear in comments when landing upstream?

I wrote those just to guide discussion of #117785.

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