[flang] Correct disambiguation of possible statement function definitions
authorPeter Klausler <pklausler@nvidia.com>
Mon, 17 Jul 2023 16:38:55 +0000 (09:38 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Mon, 17 Jul 2023 19:25:27 +0000 (12:25 -0700)
commit8b2904826782b29187a757bfe2d1b97bbc4fabb8
tree7b89083d2d0b37a2ed3a46023618be7ec93812a8
parent22ed61ed87ef7134825c01960d8b1a78c87a36c7
[flang] Correct disambiguation of possible statement function definitions

The statement "A(J) = expr" could be an assignment to an element of an
array A, an assignment to the target of a pointer-valued function A, or
the definition of a new statement function in the local scope named A,
depending on whether it appears in (what might still be) the specification
part of a program or subprogram and what other declarations and definitions
for A might exist in the local scope or have been imported into it.

The standard requires that the name of a statement function appear in
an earlier type declaration statement if it is also the name of an
entity in the enclosing scope.  Some other Fortran compilers mistakenly
enforce that rule in the case of an assignment to the target of a
pointer-valued function in the containing scope, after misinterpreting
the assignment as a new local statement function definition.

This patch cleans up the handling of the various possibilities and
resolves what was a crash in the case of a statement function definition
whose name was the same as that of a procedure in the outer scope whose
result is *not* a pointer.

Differential Revision: https://reviews.llvm.org/D155493
flang/include/flang/Semantics/tools.h
flang/lib/Semantics/resolve-names.cpp
flang/lib/Semantics/tools.cpp
flang/test/Semantics/resolve08.f90
flang/test/Semantics/stmt-func02.f90 [new file with mode: 0644]