[all-commits] [llvm/llvm-project] 8594b0: [flang] Accept POINTER followed by INTERFACE

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8594b051fb40312e991d94f0c7eb09accd8ac822
      https://github.com/llvm/llvm-project/commit/8594b051fb40312e991d94f0c7eb09accd8ac822
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-05-09 (Mon, 09 May 2022)

  Changed paths:
    M flang/include/flang/Semantics/symbol.h
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Lower/ConvertType.cpp
    M flang/lib/Semantics/check-nullify.cpp
    M flang/lib/Semantics/data-to-inits.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/nullify02.f90
    M flang/test/Semantics/procinterface01.f90

  Log Message:
  -----------
  [flang] Accept POINTER followed by INTERFACE

As is already supported for dummy procedures, we need to also accept
declarations of procedure pointers that consist of a POINTER attribute
statement followed by an INTERFACE block.  (The case of an INTERFACE
block followed by a POINTER statement already works.)

While cleaning this case up, adjust the utility predicate IsProcedurePointer()
to recognize it (namely a SubprogramDetails symbol with Attr::POINTER)
and delete IsProcName().  Extend tests, and add better comments to
symbol.h to document the two ways in which procedure pointers are
represented.

Differential Revision: https://reviews.llvm.org/D125139