[all-commits] [llvm/llvm-project] 17f32b: [flang] Fix checking of TBP bindings

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 17f32bdd37363c1b1f14a263b160345d4a0804bd
      https://github.com/llvm/llvm-project/commit/17f32bdd37363c1b1f14a263b160345d4a0804bd
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-03-10 (Fri, 10 Mar 2023)

  Changed paths:
    M flang/include/flang/Semantics/symbol.h
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/resolve32.f90

  Log Message:
  -----------
  [flang] Fix checking of TBP bindings

Non-DEFERRED procedure binding checking can't blindly accept
all procedures defined in modules -- they can't be ABSTRACT
interfaces.  And GetUltimate() must be used rather than
FindSubprogram(); the latter will resolve to a procedure's
interface in the case of "procedure(interface) :: external",
not "external".

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