[all-commits] [llvm/llvm-project] bbd0dc: [flang] Ensure pointer function results are accept...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bbd0dc3d6506542ac53b171c982eab84d8e7cef0
      https://github.com/llvm/llvm-project/commit/bbd0dc3d6506542ac53b171c982eab84d8e7cef0
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-03-12 (Fri, 12 Mar 2021)

  Changed paths:
    M flang/include/flang/Evaluate/tools.h
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/check-io.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/call02.f90
    M flang/test/Semantics/call09.f90
    A flang/test/Semantics/call18.f90
    M flang/test/Semantics/modifiable01.f90

  Log Message:
  -----------
  [flang] Ensure pointer function results are acceptable variables

Fortran permits a reference to a function whose result is a pointer
to be used as a definable variable in any context where a
designator could appear.  This patch wrings out remaining bugs
with such usage and adds more testing.

The utility predicate IsProcedurePointer(expr) had a misleading
name which has been corrected to IsProcedurePointerTarget(expr).

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