[PATCH] D113706: [flang] Allow implicit procedure pointers to associate with explicit procedures

[Peter Klausler via Phabricator via llvm-commits]

klausler added a comment.

In D113706#3125870 <https://reviews.llvm.org/D113706#3125870>, @PeteSteinfeld wrote:

> In D113706#3125573 <https://reviews.llvm.org/D113706#3125573>, @klausler wrote:
>
>> We should not allow a procedure pointer with an implicit interface to be associated with a procedure that must be called only via on explicit interface, though.  Use characteristics::Procedure::CanBeCalledViaImplicitInterface() to be sure.
>
> So we already know that the right hand side has an explicit interface.  I'm having trouble constructing a test case where a procedure has an explicit interface and also can't be called via an implicit interface.  @klausler, do you have an example?

See 15.4.2.2 items (3)-(5).  A good simple test case is a procedure with an assumed-shape dummy argument, or any other kind of dummy argument that requires the use of a descriptor.  Calls to implicit interfaces never pass descriptors.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D113706/new/

https://reviews.llvm.org/D113706