================ @@ -406,7 +406,7 @@ AliasAnalysis::Source AliasAnalysis::getSource(mlir::Value v) { attributes.set(Attribute::Pointer); } - if (type == SourceKind::Global) + if (type == SourceKind::Global || type == SourceKind::Direct) ---------------- Renaud-K wrote:
No, they would not alias unless they have target/pointer attributes. I will be looking into the example and spend more time on this today. https://github.com/llvm/llvm-project/pull/68727 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits