[all-commits] [llvm/llvm-project] dc7832: [flang] Extension: associating polymorphic pointer...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dc78329dbbf5b9988b02cab9092ccca32c6517bc
      https://github.com/llvm/llvm-project/commit/dc78329dbbf5b9988b02cab9092ccca32c6517bc
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2024-05-23 (Thu, 23 May 2024)

  Changed paths:
    M flang/docs/Extensions.md
    M flang/include/flang/Common/Fortran-features.h
    M flang/lib/Semantics/check-call.cpp
    M flang/test/Semantics/call05.f90

  Log Message:
  -----------
  [flang] Extension: associating polymorphic pointer/allocatable actual… (#93211)

… with monomorphic dummy

The relevant standard requires (F'2023 15.5.2.6 p2) that when a pointer
or allocatable actual argument is associated with an
identically-attributed dummy argument, either both are polymorphic or
neither is. We already relax this requirement in the case of an
INTENT(IN) dummy argument, since a change of type cannot occur. Further,
like other compilers do, we can also relax this requirement in the case
of a limited polymorphic actual argument being associated with a
monomorphic dummy, as our implementation always passes a reference to
the actual descriptor, where any change of type that occurs during the
call due to reallocation will be properly recorded.



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