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

[Renaud Kauffmann 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
----------------
Renaud-K wrote:

Yes. I will comment this more, since you are all supportive of the idea. Thank you for that by the way.

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