[flang] Correct a predicate around a semantic check
authorPeter Klausler <pklausler@nvidia.com>
Mon, 24 Oct 2022 19:06:56 +0000 (12:06 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Sun, 30 Oct 2022 20:48:09 +0000 (13:48 -0700)
commitd9f85656a641d94b1ff05bb40fa925ce35e7a21c
tree45e93ea430214248bcdd26c245f0981966823bf1
parent1f1fb208dae8490e7847a6107778de97175a2557
[flang] Correct a predicate around a semantic check

When a dummy argument is a procedure pointer without INTENT(IN),
any actual argument must also be a procedure pointer, whether the
dummy procedure pointer's interface is explicit or not.

Differential Revision: https://reviews.llvm.org/D136989
flang/lib/Semantics/check-call.cpp
flang/test/Semantics/call09.f90