It is absolutely a bug in IFORT/IFX that no error is given when a dummy argument has both POINTER and ALLOCATABLE. I have reported this to Intel as case 05752678.
F2008 allows an OPTIONAL dummy argument that is neither POINTER nor ALLOCATABLE to correspond to an actual argument that is an unallocated allocatable or disassociated pointer, in which case the argument is deemed to be “not present”.