[all-commits] [llvm/llvm-project] 3cc5d4: [flang] Fix generic/specific procedure confusion

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3cc5d4ff8e4e59cc45f370655c7762e36b223d1d
      https://github.com/llvm/llvm-project/commit/3cc5d4ff8e4e59cc45f370655c7762e36b223d1d
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-06-25 (Fri, 25 Jun 2021)

  Changed paths:
    M flang/include/flang/Parser/parse-tree.h
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Evaluate/fold-reduction.h
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/runtime/type-info.h

  Log Message:
  -----------
  [flang] Fix generic/specific procedure confusion

A recent change that extended semantic analysis for actual arguments
that associate with procedure dummy arguments exposed some bugs in
regression test suites due to points of confusion in symbol table
handling in situations where a generic interface contains a specific
procedure of the same name.  When passing that name as an actual
argument, for example, it's necessary to take this possibility into
account because the symbol for the generic interface shadows the
symbol of the same name for the specific procedure, which is
what needs to be checked.  So add a small utility that bypasses
the symbol for a generic interface in this case, and use it
where needed.

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