[all-commits] [llvm/llvm-project] 21a406: [flang] Improve runtime SAME_TYPE_AS() (#135670)

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 21a406c92c6cd79116a03443bccc47c1700d73db
      https://github.com/llvm/llvm-project/commit/21a406c92c6cd79116a03443bccc47c1700d73db
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2025-04-18 (Fri, 18 Apr 2025)

  Changed paths:
    M flang-rt/include/flang-rt/runtime/type-info.h
    M flang-rt/lib/runtime/derived-api.cpp
    M flang/lib/Semantics/runtime-type-info.cpp
    M flang/test/Semantics/typeinfo01.f90

  Log Message:
  -----------
  [flang] Improve runtime SAME_TYPE_AS() (#135670)

The present implementation of the intrinsic function SAME_TYPE_AS()
yields false positive .TRUE. results for distinct derived types that
happen to have the same name.

Replace with an implementation that can now depend on derived type
information records being the same type if and only if they are at the
same location, or are PDT instantiations of the same uninstantiated
derived type. And ensure that the derived type information includes
references from instantiated PDTs to their original types. (The derived
type information format supports these references already, but they were
not being set, perhaps because the current faulty SAME_TYPE_AS
implementation didn't need them, and nothing else does.)

Fixes https://github.com/llvm/llvm-project/issues/135580.



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