Hi Tobias, > Shouldn't there be also a testcase which triggers this run-time error?
The testcase is there, it simply has the wrong dg-foo: ! { dg-do compile } which should be ! { dg-do run } *-*-* There are certainly more cases which should insert checks but currently don't, like: subroutine p (mm) implicit none type :: m_t end type m_t type, extends (m_t) :: m2_t end type m2_t class(m_t), pointer :: mm select type (mm) type is (m2_t) print *, "m2_t" end select end We've still two or three weeks to solve this before 11-release! :-) Harald