tree 99fa1f14d8b49144381d6434bbc18d939ee8ef8d
parent 17e5bc32b7a768f22f635b3136c2c484836d7edc
author peter klausler <pklausler@nvidia.com> 1634579079 -0700
committer Copybara-Service <copybara-worker@google.com> 1634931573 -0700

[flang] Extension to distinguish specific procedures

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.

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

GitOrigin-RevId: c4ba1108dd6065dd3cce5edafcebbb6fe4fb3a0e