[all-commits] [llvm/llvm-project] 7f7bbc: [flang] Correct overriding (or not) of inaccessibl...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7f7bbc73175d94f63cba905191a4ecc341b9fdba
      https://github.com/llvm/llvm-project/commit/7f7bbc73175d94f63cba905191a4ecc341b9fdba
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-05-16 (Tue, 16 May 2023)

  Changed paths:
    M flang/include/flang/Semantics/symbol.h
    M flang/lib/Lower/Bridge.cpp
    M flang/lib/Lower/ConvertCall.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/runtime-type-info.cpp
    M flang/lib/Semantics/symbol.cpp
    M flang/lib/Semantics/tools.cpp
    A flang/test/Semantics/bindings05.f90
    A flang/test/Semantics/bindings06.f90
    A flang/test/Semantics/bindings07.f90

  Log Message:
  -----------
  [flang] Correct overriding (or not) of inaccessible bindings

Fortran doesn't allow inaccessible procedure bindings to be
overridden, and this needs to apply to generic resolution.
When resolving a type-bound generic procedure from another
module, ensure only that the most extended override from its
module is used if it is PRIVATE, not a later apparent override
from another module.

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