[flang-commits] [PATCH] D131105: [flang] Extend characterization & checking for procedure bindings

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: jeanPerier.
klausler added a project: Flang.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
klausler requested review of this revision.

Procedure bindings with explicit interfaces don't work when the
interface is shadowed by a generic interface of the same name,
and can produce spurious semantic error messages.  Extend the
characterization and checking code for such things, and the utility
functionns on which they depend, to dig through generics when they
occlude interface-defining subprograms.  This is done on demand in
checking code, not once during name resolution, because the
procedures in question may also be forward-referenced.


https://reviews.llvm.org/D131105

Files:
  flang/include/flang/Semantics/symbol.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/resolve-names.cpp
  flang/lib/Semantics/tools.cpp
  flang/test/Semantics/resolve20.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D131105.449758.patch
Type: text/x-patch
Size: 5971 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20220803/26a1c6b9/attachment.bin>