(j3.2006) allocatable and pointer actual arguments to intrinsic functions

[Robert Corbett]

One of the engineers on Oracle's Fortran team asked me today
if an unallocated allocatable variable or an unassociated
pointer variable could be passed to the DIM dummy argument of
an intrinsic array reduction function.  I checked the standard,
and I found no prohibition against it.  Section 13.32.4 of
09-007r3 prohibits passing an optional dummy argument to the
DIM dummy argument of an intrinsic array reduction function,
but I did not find such a prohibition against passing an
unallocated allocatable variable or an unassociated pointer
variable.  Is there a prohibition along those lines that I
missed?  Is there intended to be such a prohibition?

Robert Corbett