[flang] Check for elemental finalizer when defined object has vector subscript
authorPeter Klausler <pklausler@nvidia.com>
Fri, 16 Dec 2022 17:48:51 +0000 (09:48 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Fri, 16 Dec 2022 17:52:45 +0000 (09:52 -0800)
commit7bd2eace7d58883b87324a9fbdcc6217673282bb
treeacf2a57a9d3f5fff884bd61cf0cc4cf52d1ce20f
parent08f16a8217c1024e74c0af79120713f04af1230a
[flang] Check for elemental finalizer when defined object has vector subscript

When a defined object is an array with a vector subscript, and it has a
finalizable type, it may have a final subroutine with a matching or
assumed rank dummy argument that cannot be called.  Unless there is
also a suitable elemental final subroutine, diagnose such a case
with an error message.

Differential Revision: https://reviews.llvm.org/D140131
flang/lib/Semantics/definable.cpp
flang/test/Semantics/definable02.f90 [new file with mode: 0644]