[all-commits] [llvm/llvm-project] 7bd2ea: [flang] Check for elemental finalizer when defined...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7bd2eace7d58883b87324a9fbdcc6217673282bb
      https://github.com/llvm/llvm-project/commit/7bd2eace7d58883b87324a9fbdcc6217673282bb
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-12-16 (Fri, 16 Dec 2022)

  Changed paths:
    M flang/lib/Semantics/definable.cpp
    A flang/test/Semantics/definable02.f90

  Log Message:
  -----------
  [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