! RUN: %python %S/test_errors.py %s %flang_fc1
! Forward references to derived types (error cases)
! C732 A parent-type-name shall be the name of a previously defined
! extensible type (7.5.7).
!ERROR: The derived type 'undef' was forward-referenced but not defined
type(undef) function f1()
call sub1(f1)
end function
!ERROR: The derived type 'undef' was forward-referenced but not defined
type(undef) function f2() result(r)
call sub2(r)
end function
!ERROR: The derived type 'undefpdt' was forward-referenced but not defined
type(undefpdt(1)) function f3()
call sub3(f3)
end function
!ERROR: The derived type 'undefpdt' was forward-referenced but not defined
type(undefpdt(1)) function f4() result(r)
call sub4(f4)
end function
!ERROR: 'bad' is not the name of a parameter for derived type 'pdt'
type(pdt(bad=1)) function f5()
type :: pdt(good)
integer, kind :: good = kind(0)
integer(kind=good) :: n
end type
end function
subroutine s1(q1)
!ERROR: The derived type 'undef' was forward-referenced but not defined
implicit type(undef)(q)
end subroutine
subroutine s2(q1)
!ERROR: The derived type 'undefpdt' was forward-referenced but not defined
implicit type(undefpdt(1))(q)
end subroutine
subroutine s3
type :: t1
!ERROR: Derived type 'undef' not found
type(undef) :: x
end type
end subroutine
subroutine s4
type :: t1
!ERROR: Derived type 'undefpdt' not found
type(undefpdt(1)) :: x
end type
end subroutine
subroutine s5(x)
!ERROR: Derived type 'undef' not found
type(undef) :: x
end subroutine
subroutine s6(x)
!ERROR: Derived type 'undefpdt' not found
type(undefpdt(1)) :: x
end subroutine
subroutine s7(x)
!ERROR: Derived type 'undef' not found
type, extends(undef) :: t
end type
end subroutine
subroutine s8
implicit type(t2)(x)
!ERROR: Cannot construct value for derived type 't2' before it is defined
parameter(y=t2(12.3))
type t2
!ERROR: Cannot construct value for derived type 't2' before it is defined
real :: c = transfer(t2(),0.)
end type
end subroutine
subroutine s9
type con
Type(t(3)), pointer :: y
end type
Integer :: nn = Size(Transfer(t(3)(666),[0]))
type :: t(n)
integer, kind :: n = 3
end type
end subroutine s9
subroutine s10
type t
!ERROR: The derived type 'undef' has not been defined
type(undef), pointer :: y
end type
end subroutine s10