. . . "If the standard says that this thing is not allowed/valid, then my code should never work but, instead, it works ok with gfortran and it woks with ifort in most cases (when x is a pointer or a simple variable) except when x is an allocatable." .