blob: be49df5547c571dc56a08063c67dedd7adc307b4 [file] [log] [blame]
! RUN: %S/test_errors.sh %s %t %flang_fc1
! C703 (R702) The derived-type-spec shall not specify an abstract type (7.5.7).
! This constraint refers to the derived-type-spec in a type-spec. A type-spec
! can appear in an ALLOCATE statement, an ac-spec for an array constructor, and
! in the type specifier of a TYPE GUARD statement
!
! C706 TYPE(derived-type-spec) shall not specify an abstract type (7.5.7).
! This is for a declaration-type-spec
!
! C796 (R756) The derived-type-spec shall not specify an abstract type (7.5.7).
!
! C705 (R703) In a declaration-type-spec that uses the CLASS keyword,
! derived-type-spec shall specify an extensible type (7.5.7).
subroutine s()
type, abstract :: abstractType
end type abstractType
type, extends(abstractType) :: concreteType
end type concreteType
! declaration-type-spec
!ERROR: ABSTRACT derived type may not be used here
type (abstractType), allocatable :: abstractVar
! ac-spec for an array constructor
!ERROR: ABSTRACT derived type may not be used here
!ERROR: ABSTRACT derived type may not be used here
type (abstractType), parameter :: abstractArray(*) = (/ abstractType :: /)
class(*), allocatable :: selector
! Structure constructor
!ERROR: ABSTRACT derived type may not be used here
!ERROR: ABSTRACT derived type 'abstracttype' may not be used in a structure constructor
type (abstractType) :: abstractVar1 = abstractType()
! Allocate statement
!ERROR: ABSTRACT derived type may not be used here
allocate(abstractType :: abstractVar)
select type(selector)
! Type specifier for a type guard statement
!ERROR: ABSTRACT derived type may not be used here
type is (abstractType)
end select
end subroutine s
subroutine s1()
type :: extensible
end type
type, bind(c) :: inextensible
end type
! This one's OK
class(extensible), allocatable :: y
!ERROR: Non-extensible derived type 'inextensible' may not be used with CLASS keyword
class(inextensible), allocatable :: x
end subroutine s1
subroutine s2()
type t
integer i
end type t
type, extends(t) :: t2
real x
end type t2
contains
function f1(dummy)
class(*) dummy
type(t) f1(1)
!ERROR: Cannot have an unlimited polymorphic value in an array constructor
f1 = [ (dummy) ]
end function f1
end subroutine s2