[J3] 15.5.2.5 Allocatable and pointer dummy variables

[José Rui Faustino de Sousa]

On 02/09/20 21:28, Malcolm Cohen wrote:
> Well, pointer and allocatable differ in many ways. In particular, there 
> is no allocatable equivalent to pointer assignment, and thus there can 
> be no allocatable equivalent to “auto-targetting”.
> 

So my expectation that if there was to be different requirements for 
pointers and allocatables those requirements would need to be explicitly 
spelled out was wrong and there is no "symmetry" requirement implied by 
the wording.

Can I just additionally ask you if my interpretation of the 
auto-targetting feature is correct and if these two examples:

Subroutine sp1(p)
Class(t1), pointer, Intent(In) :: p
...

type(t3), pointer :: pt
...
call sp1(pt)

class(t3), pointer :: pc
...
call sp1(pc)

are correct or not?

Thank you very much for your time.

Best regards,
José Rui