(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