[flang-commits] [flang] [flang] AliasAnalysis: More formally define and distinguish between data and non-data (PR #91020)

[Joel E. Denny via flang-commits]

================
@@ -141,14 +143,14 @@ func.func @_QFPtest2(%arg0: !fir.ref<f32> {fir.bindc_name = "v1", fir.target}, %
 // alias with the wrapped scalar _QFEvar2. We meant box_addr of _QMpointersEp 
 // CHECK-DAG: p#0 <-> box.addr#0: NoAlias
 
-// TODO: Still need to handle more gracefully the difference between !fir.ref<!fir.box<>> and !fir.box<> 
-// CHECK-DAG: box.addr#0 <-> func.region0#0: MayAlias
+// Now handling more gracefully the difference between !fir.ref<!fir.box<>> and !fir.box<> 
----------------
jdenny-ornl wrote:

```suggestion
// Handling gracefully the difference between !fir.ref<!fir.box<>> and !fir.box<> 
```

For someone else reading this in the future, it might not be obvious that "Now handling more" is meant to contrast with earlier versions of the code rather than earlier code in this file.

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