1  type :: t1
2  end type
3  type, extends(t1) :: t2
4  end type
5  class(t1), pointer :: a
6lab1: select type (a)
7  end select lab1
8lab1: select type (a)		! { dg-error "Duplicate construct label" }
9  end select lab1		! { dg-error "Expecting END PROGRAM statement" }
10end
11