The following program compiled with ifort 13.0.1 20121010 returns "T F". Shouldn't the result be "F F"?

program assoc

  type :: abc
  end type abc

  class(abc), pointer :: p

  p => p_new()
  print *, associated(p), associated(p_new())

contains

  function p_new()
    type(abc), pointer :: p_new
    nullify(p_new)
  end function p_new

end program assoc

Best,
Paweł Biernat