[all-commits] [llvm/llvm-project] f025e4: [flang] Accept pointer-valued function results as ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f025e411747ea18fb5c2928103438de98a438c68
      https://github.com/llvm/llvm-project/commit/f025e411747ea18fb5c2928103438de98a438c68
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2023-09-18 (Mon, 18 Sep 2023)

  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/fold-complex.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Lower/ConvertCall.cpp
    M flang/lib/Lower/ConvertExpr.cpp
    M flang/lib/Lower/ConvertVariable.cpp
    M flang/lib/Lower/CustomIntrinsicCall.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/test/Semantics/associate01.f90
    M flang/test/Semantics/associated.f90
    M flang/test/Semantics/call09.f90
    M flang/test/Semantics/call24.f90

  Log Message:
  -----------
  [flang] Accept pointer-valued function results as ASSOCIATED() arguments (#66238)

The POINTER= and TARGET= arguments to the intrinsic function
ASSOCIATED() can be the results of references to functions that return
object pointers or procedure pointers. NULL() was working well but not
program-defined pointer-valued functions. Correct the validation of
ASSOCIATED() and extend the infrastructure used to detect and
characterize procedures and pointers.