The allocation status of an allocatable array is one of the following during program execution:
In Fortran 95, the allocation status of an allocatable array that is declared in the scope of a module is processor dependent if it does not have the SAVE attribute and was currently allocated when execution of a RETURN or END statement resulted in no executing scoping units referencing the module.
In XL Fortran, the allocation status of such an array remains currently allocated.
If the allocation status of an allocatable array is currently allocated, the array may be referenced and defined. An allocatable array that is not currently allocated must not be referenced or defined. If the allocation status of an allocatable array is undefined, the array must not be referenced, defined, allocated, or deallocated.