[flang-commits] [PATCH] D145110: [flang] Stricter interface compatibility checking for TBP overrides

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: PeteSteinfeld.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

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.


https://reviews.llvm.org/D145110

Files:
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/test/Semantics/bindings04.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D145110.501638.patch
Type: text/x-patch
Size: 3203 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230301/e738b830/attachment.bin>