[all-commits] [llvm/llvm-project] a3c6a7: [flang] Stricter interface compatibility checking ...

[Peter Klausler via All-commits]

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

  Changed paths:
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Semantics/check-declarations.cpp
    A flang/test/Semantics/bindings04.f90

  Log Message:
  -----------
  [flang] Stricter interface compatibility checking for TBP overrides

The compiler currently ignores attributes for PASS dummy arguments that
are incompatible between a type-bound procedure in an extended type and
the binding of the same name that it overrides in an ancestor type,
if any.  Strengthen this checking so that discrepancies between attributes
and intents are caught, and add some tests.

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