(j3.2006) Pointer undefinition

[Van Snyder]

10.2.2.3p2 says that if the pointer target in a pointer assignment
statement is allocatable, it shall be allocated.

19.5.2.5 is silent concerning the event that the target is allocatable
but not allocated.  Should it be in the list of events that cause the
association status of pointers to become undefined?  I assume it ought
not to be an event that causes the pointer to become disassociated (it's
not in that list either).