[all-commits] [llvm/llvm-project] 21971a: [flang] Stricter scrutiny of deferred type paramet...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 21971af236355ae324de7982841e41d47fc7edc7
      https://github.com/llvm/llvm-project/commit/21971af236355ae324de7982841e41d47fc7edc7
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-10-29 (Sat, 29 Oct 2022)

  Changed paths:
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/resolve69.f90

  Log Message:
  -----------
  [flang] Stricter scrutiny of deferred type parameters (C702)

Semantics checks C702, which disallows deferred type parameters for
any entity that is neither an allocatable nor a pointer, only during
name resolution of type declaration statements.  This check needs to
be broader, since Fortran entities can have their types specified in
other ways.  Rewrite the check and move it to the general declaration
checking pass.

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