[all-commits] [llvm/llvm-project] 9e56d0: [flang] Fixed TBAA tags for derived types with des...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9e56d0d2ab125377740245599e3cc950fcf406bc
      https://github.com/llvm/llvm-project/commit/9e56d0d2ab125377740245599e3cc950fcf406bc
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2025-07-14 (Mon, 14 Jul 2025)

  Changed paths:
    M flang/lib/Optimizer/Transforms/AddAliasTags.cpp
    A flang/test/Transforms/tbaa-derived-with-descriptor.fir

  Log Message:
  -----------
  [flang] Fixed TBAA tags for derived types with descriptors. (#148093)

We cannot attach any "data" or "descriptor" tag to accesses
of derived types that contain descriptors, because this
will make them non-aliasing with any generic "data" or "descriptor"
accesses, which is not correct. We have to skip TBAA tags attachment
for such accesses same way we do it for boxes.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications