[all-commits] [llvm/llvm-project] 62d874: [flang] Refine semantic checks for procedure point...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 62d874f203078896b4f059f7aa4f106e8cbab4da
      https://github.com/llvm/llvm-project/commit/62d874f203078896b4f059f7aa4f106e8cbab4da
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-07-13 (Wed, 13 Jul 2022)

  Changed paths:
    M flang/include/flang/Evaluate/characteristics.h
    M flang/include/flang/Evaluate/tools.h
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/pointer-assignment.cpp
    M flang/test/Semantics/assign03.f90
    M flang/test/Semantics/associated.f90
    M flang/test/Semantics/call09.f90
    M flang/test/Semantics/call20.f90
    M flang/test/Semantics/null01.f90
    M flang/test/Semantics/resolve46.f90

  Log Message:
  -----------
  [flang] Refine semantic checks for procedure pointer assignment

Some procedure pointers and EXTERNAL procedures have neither
explicit interfaces nor result types; these procedures are obviously
not known to be functions, but they could be, so semantics must not
assume that they are necessarily subroutines.  Refine the procedure
pointer / dummy procedure compatibility check to handle these more
ambiguous cases and not elicit inappropriate error messages.

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