[all-commits] [llvm/llvm-project] d38765: [flang] Forward references to COMMON from specific...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d38765604f9372dab74a82b573302bd6401c6698
      https://github.com/llvm/llvm-project/commit/d38765604f9372dab74a82b573302bd6401c6698
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-03-10 (Fri, 10 Mar 2023)

  Changed paths:
    M flang/docs/Extensions.md
    M flang/include/flang/Common/Fortran-features.h
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/implicit11.f90
    M flang/test/Semantics/resolve103.f90

  Log Message:
  -----------
  [flang] Forward references to COMMON from specification expr under IMPLICIT NONE

As a near-universal extension, Fortran compilers permit forward references
to dummy arguments and variables in COMMON blocks from specification expressions
before an explicit type-declaration-stmt appears for those variables
under IMPLICIT NONE, so long as those variables are later explicitly typed
with the types that regular implicit typing rules would have given them
(usually default INTEGER).

F18 implemented this extension for dummy arguments, but not variables in
COMMON blocks.  Extend the extension to also accept variables in COMMON.

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