[all-commits] [llvm/llvm-project] c4ba11: [flang] Extension to distinguish specific procedures

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c4ba1108dd6065dd3cce5edafcebbb6fe4fb3a0e
      https://github.com/llvm/llvm-project/commit/c4ba1108dd6065dd3cce5edafcebbb6fe4fb3a0e
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-10-22 (Fri, 22 Oct 2021)

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

  Log Message:
  -----------
  [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