(j3.2006) finalizing undefined entities

[Michael Ingrassia]

>I would expect to 
>see statements that begin IF (ALLOCATED( ... or IF (ASSOCIATED ( pretty 
>often in a robust final routine.

But  ASSOCIATED(X) has no semantics if the pointer association status
of X is undefined, right?  So it can't be used for this purpose.

I agree that ALLOCATED( ... can, but does that mean that programmers
are limited to finalizing  
allocatable entities if they want robust finalizers?
 
 
 	--Michael I.