(j3.2006) Constraint C835: SELECT TYPE selector must be anamed variable
Malcolm Cohen
malcolm
Thu Nov 6 19:41:14 EST 2014
Reinhold opines:
<<<
Actually, upon re-reading 16.5.1.6 of 10-007r1, I would feel more confident
about what I said if that
section contained a sentence like
If the selector is allocatable, it shall be allocated and shall not be
deallocated during execution of the block;
instead of simply
If the selector is allocatable, it shall be allocated;
(and similar for the POINTER case). Perhaps a glitch that needs fixing in the
standard?
>>>
This is completely covered by 6.7.3.2
"An allocatable variable shall not be deallocated if it or any subobject of it
is argument associated with a dummy argument or construct associated with an
associate name."
Similarly in 6.7.3.3 for pointers.
Damian wonders:
>It would be great if there were some language to explain what is meant by
>?named variable?.
I am puzzled as to what is confusing or ambiguous about "named"... but then
we've been using the term "named" to mean "has a name" for many decades now...
Cheers,
--
................................Malcolm Cohen, Nihon NAG, Tokyo.
More information about the J3
mailing list