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

[Tom Eccles via flang-commits]

================
@@ -54,8 +50,16 @@ struct AliasAnalysis {
     using SourceUnion = llvm::PointerUnion<mlir::SymbolRefAttr, mlir::Value>;
     using Attributes = Fortran::common::EnumSet<Attribute, Attribute_enumSize>;
 
-    /// Source definition of a value.
-    SourceUnion u;
+    struct SourceOrigin {
+      /// Source definition of a value.
+      SourceUnion u;
+
+      /// Whether the source was reached following data or box reference
----------------
tblah wrote:

Please could you put a longer description here, maybe with the examples from the RFC

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