[clang] [flang] add tbaa tags to global variables (PR #68727)

Kiran Chandramohan via cfe-commits cfe-commits at lists.llvm.org
Wed Oct 11 07:12:28 PDT 2023


================
@@ -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)
----------------
kiranchandramohan wrote:

That could be because `glbl` can be passed as one of the arguments to the subroutine `func` and hence alias.

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


More information about the cfe-commits mailing list