http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59065
--- Comment #7 from Vittorio Zecca <zeccav at gmail dot com> --- I believe most times a code knows if and when the size of an array must be nonzero, so a zerosize array would raise suspicions in those cases. Anyway in my opinion gfortran run time should detect when an unallocated/unassociated array is referenced and should raise an error situation, except for allocated intrinsic function. Only if that were impossible or too much time consuming I would suggest to force it as a zerosize array with one as lower bound and zero as upper bound for each dimension. A clever code should detect that something is wrong and take the right action (crashing?).