| ! 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 sub(f1) |
| end function |
| |
| !ERROR: The derived type 'undef' was forward-referenced but not defined |
| type(undef) function f2() result(r) |
| call sub(r) |
| end function |
| |
| !ERROR: The derived type 'undefpdt' was forward-referenced but not defined |
| type(undefpdt(1)) function f3() |
| call sub(f3) |
| end function |
| |
| !ERROR: The derived type 'undefpdt' was forward-referenced but not defined |
| type(undefpdt(1)) function f4() result(r) |
| call sub(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 |
| real :: c |
| end type |
| end subroutine |
| |
| subroutine s9 |
| type con |
| Type(t(3)), pointer :: y |
| end type |
| !ERROR: Cannot construct value for derived type 't' before it is defined |
| 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 |