[flang-commits] [PATCH] D112237: [flang] Extension to distinguish specific procedures

[Peter Klausler via Phabricator via flang-commits]

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

Allocatable dummy arguments can be used to distinguish
two specific procedures in a generic interface when
it is the case that exactly one of them is polymorphic
or exactly one of them is unlimited polymorphic.  The
standard requires that an actual argument corresponding
to an (unlimited) polymorphic allocatable dummy argument
must also be an (unlimited) polymorphic allocatable, so an
actual argument that's acceptable to one procedure must
necessarily be a bad match for the other.


https://reviews.llvm.org/D112237

Files:
  flang/docs/Extensions.md
  flang/include/flang/Common/Fortran-features.h
  flang/include/flang/Evaluate/characteristics.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/test/Semantics/resolve53.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112237.381315.patch
Type: text/x-patch
Size: 16272 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20211021/f00ecf0a/attachment.bin>