http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55207
--- Comment #13 from janus at gcc dot gnu.org --- Test case from PR 57306 comment 7 (see also http://gcc.gnu.org/ml/fortran/2013-07/msg00103.html): type :: c end type c type(c), target :: x class(c), pointer :: px => x if (.not. associated(px)) call abort() end