[J3] 15.5.2.5 Allocatable and pointer dummy variables

[Vipul Parekh]

On Thu, Sep 3, 2020 at 7:49 AM José Rui Faustino de Sousa via J3 <
j3 at mailman.j3-fortran.org> wrote:

> ..
> I thought that auto-targetting was defined by 15.5.2.7p2:
>
> "[...] the actual argument shall be a pointer or a valid target for the
> dummy pointer in a pointer assignment statement."
>
> Can you point me in the right direction in the standard?
>

Hello José Rui,

See section C.10.4 Pointers and targets as arguments (15.5.2.4, 15.5.2.6,
15.5.2.7) under Annex C (informative) Extended Notes.

Per my understanding, what you refer to as "auto-targetting" (a term I do
not find in the standard) applies to the scenario where the dummy argument
has the TARGET attribute whereas the actual argument does NOT i..e, the
actual argument is a *nonpointer* variable without the TARGET attribute.

So look for phrases in the standard along the lines of "a nonpointer dummy
argument has the TARGET attribute and the corresponding actual argument
does not" as in, say, paragraph 5 of C.10.4.

By the way, you may be aware of a site for any discourse involving Fortran
at https://fortran-lang.discourse.group/ as well as a GitHub site for
Fortran issues and proposals at
https://github.com/j3-fortran/fortran_proposals.  You can use these too to
discuss any aspects related to the language, particularly as they may apply
to any *actual program* under your consideration involving polymorphic
objects of derived types with POINTER/TARGET attribute.

Best Regards,
Vipul Parekh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20200903/0d0e446a/attachment.htm>