flang/test/Semantics/resolve44.f90

   1 ! RUN: %S/test_errors.sh %s %t %flang_fc1
   2 ! REQUIRES: shell
   3 ! Error tests for recursive use of derived types.
   4 ! C744 If neither the POINTER nor the ALLOCATABLE attribute is specified, the
   5 ! declaration-type-spec in the component-def-stmt shall specify an intrinsic
   6 ! type or a previously defined derived type.
   7
   8 program main
   9   type :: recursive1
  10     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  11     type(recursive1) :: bad1
  12     type(recursive1), pointer :: ok1
  13     type(recursive1), allocatable :: ok2
  14     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  15     !ERROR: CLASS entity 'bad2' must be a dummy argument or have ALLOCATABLE or POINTER attribute
  16     class(recursive1) :: bad2
  17     class(recursive1), pointer :: ok3
  18     class(recursive1), allocatable :: ok4
  19   end type recursive1
  20   type :: recursive2(kind,len)
  21     integer, kind :: kind
  22     integer, len :: len
  23     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  24     type(recursive2(kind,len)) :: bad1
  25     type(recursive2(kind,len)), pointer :: ok1
  26     type(recursive2(kind,len)), allocatable :: ok2
  27     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  28     !ERROR: CLASS entity 'bad2' must be a dummy argument or have ALLOCATABLE or POINTER attribute
  29     class(recursive2(kind,len)) :: bad2
  30     class(recursive2(kind,len)), pointer :: ok3
  31     class(recursive2(kind,len)), allocatable :: ok4
  32   end type recursive2
  33   type :: recursive3(kind,len)
  34     integer, kind :: kind = 1
  35     integer, len :: len = 2
  36     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  37     type(recursive3) :: bad1
  38     type(recursive3), pointer :: ok1
  39     type(recursive3), allocatable :: ok2
  40     !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
  41     !ERROR: CLASS entity 'bad2' must be a dummy argument or have ALLOCATABLE or POINTER attribute
  42     class(recursive3) :: bad2
  43     class(recursive3), pointer :: ok3
  44     class(recursive3), allocatable :: ok4
  45   end type recursive3
  46   !ERROR: Derived type 'recursive4' cannot extend itself
  47   type, extends(recursive4) :: recursive4
  48   end type recursive4
  49 end program main