Inquire status of (non)allocatable arrays

Thanks very much! If I understand you right, by using your module the compiler will be able to distinguish allocatable arrays and pointers (and calls the respective subroutine), but it won’t be able to distinguish between allocatable arrays and non-allocatable ones. Is it because arrays don’t have an attribute that labels them as allocatable or non-allocatable?