[flang-commits] [flang] DRAFT: [flang][TBAA] refine TARGET/POINTER encoding (PR #169544)

Slava Zakharin via flang-commits flang-commits at lists.llvm.org
Tue Nov 25 17:56:03 PST 2025


================
@@ -776,9 +784,17 @@ void AddAliasTagsPass::runOnAliasInterface(fir::FirAliasTagOpInterface op,
       const char *name = glbl.getRootReference().data();
       LLVM_DEBUG(llvm::dbgs().indent(2) << "Found reference to direct " << name
                                         << " at " << *op << "\n");
+      // Pointer can alias with any pointer or target so that gets the root.
       if (source.isPointer())
         tag = state.getFuncTreeWithScope(func, scopeOp).targetDataTree.getTag();
+      // Targets could alias with any pointer but not with eachother so they get
----------------
vzakhari wrote:

```suggestion
      // Targets could alias with any pointer but not with each other so they get
```

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


More information about the flang-commits mailing list