SIZE does not return 0 after DEALLOCATE

Why does the following program not indicate siez=0 in the third row of output? (The smiley face in line 3, seems to be an error, the code is written as ( : ) without the spaces.)

PROGRAM p IMPLICIT NONE INTEGER, DIMENSION(:), ALLOCATABLE :: i INTEGER :: ios ! WRITE (UNIT=,FMT=) ALLOCATED(i),SIZE(i) ALLOCATE (i(5),STAT=ios) WRITE (UNIT=,FMT=) ALLOCATED(i),SIZE(i) DEALLOCATE (i) WRITE (UNIT=,FMT=) ALLOCATED(i),SIZE(i) ! END PROGRAM p

The Fortran 95 Standard says that SIZE must not be used when the array has not be allocated. So this is essentially a programming error that is difficult for FTN95 to trap.

When I tested with /checkmate the result was zero but you may not be able depend on this.