gcc/testsuite/gfortran.dg/bind_c_char_8.f90

   1 ! { dg-do compile }
   2 ! { dg-additional-options "-fimplicit-none" }
   3
   4 ! F2018 only permittes len=*, len=: or len=<const> as dummy argument
   5 ! but not len=<non-const-expr>
   6 ! Additionally, for allocatable/pointer, len=: is required.
   7
   8 ! Scalar, nonallocatable/nonpointer
   9
  10 subroutine val_s1(x1) bind(C)
  11   character(len=1), value :: x1
  12 end
  13
  14 subroutine val_s2(x2) bind(C) ! { dg-error "Character dummy argument 'x2' at .1. must be of length 1 as it has the VALUE attribute" }
  15   character(len=2), value :: x2
  16 end
  17
  18 subroutine s1 (x1) bind(C)
  19   character(len=1) :: x1
  20 end
  21
  22 subroutine s2 (x2) bind(C) ! { dg-error "Character dummy argument 'x2' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 's2' has the BIND\\(C\\) attribute" }
  23   character(len=2) :: x2
  24 end
  25
  26 subroutine s3 (xn, n) bind(C) ! { dg-error "Character dummy argument 'xn' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 's3' has the BIND\\(C\\) attribute" }
  27   integer :: n
  28   character(len=n) :: xn
  29 end
  30
  31 subroutine s4 (xstar) bind(C)
  32   character(len=*) :: xstar
  33 end
  34
  35 ! Assumed-shape array, nonallocatable/nonpointer
  36
  37 subroutine as1 (x1) bind(C)
  38   character(len=1) :: x1(:)
  39 end
  40
  41 subroutine as2 (x2) bind(C)
  42   character(len=2) :: x2(:,:)
  43 end
  44
  45 subroutine as3 (xn, n) bind(C)
  46   integer :: n
  47   character(len=n) :: xn(:,:,:)
  48 end
  49
  50 subroutine as4 (xstar) bind(C)
  51   character(len=*) :: xstar(:,:,:,:)
  52 end
  53
  54 ! Assumed-rank array, nonallocatable/nonpointer
  55
  56 subroutine ar1 (x1) bind(C)
  57   character(len=1) :: x1(..)
  58 end
  59
  60 subroutine ar2 (x2) bind(C)
  61   character(len=2) :: x2(..)
  62 end
  63
  64 subroutine ar3 (xn, n) bind(C)
  65   integer :: n
  66   character(len=n) :: xn(..)
  67 end
  68
  69 subroutine ar4 (xstar) bind(C)
  70   character(len=*) :: xstar(..)
  71 end
  72
  73 ! Assumed-size array, nonallocatable/nonpointer
  74
  75 subroutine az1 (x1) bind(C)
  76   character(len=1) :: x1(*)
  77 end
  78
  79 subroutine az2 (x2) bind(C) ! { dg-error "Character dummy argument 'x2' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 'az2' has the BIND\\(C\\) attribute" }
  80   character(len=2) :: x2(*)
  81 end
  82
  83 subroutine az3 (xn, n) bind(C) ! { dg-error "Character dummy argument 'xn' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 'az3' has the BIND\\(C\\) attribute" }
  84   integer :: n
  85   character(len=n) :: xn(*)
  86 end
  87
  88 subroutine az4 (xstar) bind(C)
  89   character(len=*) :: xstar(*)
  90 end
  91
  92 ! Explicit-size array, nonallocatable/nonpointer
  93
  94 subroutine ae1 (x1) bind(C)
  95   character(len=1) :: x1(5)
  96 end
  97
  98 subroutine ae2 (x2) bind(C) ! { dg-error "Character dummy argument 'x2' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 'ae2' has the BIND\\(C\\) attribute" }
  99   character(len=2) :: x2(7)
 100 end
 101
 102 subroutine ae3 (xn, n) bind(C) ! { dg-error "Character dummy argument 'xn' at .1. must be of constant length of one or assumed length, unless it has assumed shape or assumed rank, as procedure 'ae3' has the BIND\\(C\\) attribute" }
 103   integer :: n
 104   character(len=n) :: xn(9)
 105 end
 106
 107 subroutine ae4 (xstar) bind(C)
 108   character(len=*) :: xstar(3)
 109 end
 110
 111 ! ALLOCATABLE
 112 ! Scalar, allocatable
 113
 114 subroutine s1a (x1) bind(C) ! { dg-error "Allocatable character dummy argument 'x1' at .1. must have deferred length as procedure 's1a' is BIND\\(C\\)" }
 115   character(len=1), allocatable :: x1
 116 end
 117
 118 subroutine s2a (x2) bind(C) ! { dg-error "Allocatable character dummy argument 'x2' at .1. must have deferred length as procedure 's2a' is BIND\\(C\\)" }
 119   character(len=2), allocatable :: x2
 120 end
 121
 122 subroutine s3a (xn, n) bind(C) ! { dg-error "Allocatable character dummy argument 'xn' at .1. must have deferred length as procedure 's3a' is BIND\\(C\\)" }
 123   integer :: n
 124   character(len=n), allocatable :: xn
 125 end
 126
 127 subroutine s4a (xstar) bind(C) ! { dg-error "Allocatable character dummy argument 'xstar' at .1. must have deferred length as procedure 's4a' is BIND\\(C\\)" }
 128   character(len=*), allocatable :: xstar
 129 end
 130
 131 subroutine s5a (xcolon) bind(C)
 132   character(len=:), allocatable :: xcolon
 133 end
 134
 135 ! Assumed-shape array, allocatable
 136
 137 subroutine a1a (x1) bind(C) ! { dg-error "Allocatable character dummy argument 'x1' at .1. must have deferred length as procedure 'a1a' is BIND\\(C\\)" }
 138   character(len=1), allocatable :: x1(:)
 139 end
 140
 141 subroutine a2a (x2) bind(C) ! { dg-error "Allocatable character dummy argument 'x2' at .1. must have deferred length as procedure 'a2a' is BIND\\(C\\)" }
 142   character(len=2), allocatable :: x2(:,:)
 143 end
 144
 145 subroutine a3a (xn, n) bind(C) ! { dg-error "Allocatable character dummy argument 'xn' at .1. must have deferred length as procedure 'a3a' is BIND\\(C\\)" }
 146   integer :: n
 147   character(len=n), allocatable :: xn(:,:,:)
 148 end
 149
 150 subroutine a4a (xstar) bind(C) ! { dg-error "Allocatable character dummy argument 'xstar' at .1. must have deferred length as procedure 'a4a' is BIND\\(C\\)" }
 151   character(len=*), allocatable :: xstar(:,:,:,:)
 152 end
 153
 154 subroutine a5a (xcolon) bind(C)
 155   character(len=:), allocatable :: xcolon(:)
 156 end
 157
 158 ! Assumed-rank array, allocatable
 159
 160 subroutine a1ar (x1) bind(C) ! { dg-error "Allocatable character dummy argument 'x1' at .1. must have deferred length as procedure 'a1ar' is BIND\\(C\\)" }
 161   character(len=1), allocatable :: x1(..)
 162 end
 163
 164 subroutine a2ar (x2) bind(C) ! { dg-error "Allocatable character dummy argument 'x2' at .1. must have deferred length as procedure 'a2ar' is BIND\\(C\\)" }
 165   character(len=2), allocatable :: x2(..)
 166 end
 167
 168 subroutine a3ar (xn, n) bind(C) ! { dg-error "Allocatable character dummy argument 'xn' at .1. must have deferred length as procedure 'a3ar' is BIND\\(C\\)" }
 169   integer :: n
 170   character(len=n), allocatable :: xn(..)
 171 end
 172
 173 subroutine a4ar (xstar) bind(C) ! { dg-error "Allocatable character dummy argument 'xstar' at .1. must have deferred length as procedure 'a4ar' is BIND\\(C\\)" }
 174   character(len=*), allocatable :: xstar(..)
 175 end
 176
 177 subroutine a5ar (xcolon) bind(C)
 178   character(len=:), allocatable :: xcolon(..)
 179 end
 180
 181 ! POINTER
 182 ! Scalar, pointer
 183
 184 subroutine s1p (x1) bind(C) ! { dg-error "Pointer character dummy argument 'x1' at .1. must have deferred length as procedure 's1p' is BIND\\(C\\)" }
 185   character(len=1), pointer :: x1
 186 end
 187
 188 subroutine s2p (x2) bind(C) ! { dg-error "Pointer character dummy argument 'x2' at .1. must have deferred length as procedure 's2p' is BIND\\(C\\)" }
 189   character(len=2), pointer :: x2
 190 end
 191
 192 subroutine s3p (xn, n) bind(C) ! { dg-error "Pointer character dummy argument 'xn' at .1. must have deferred length as procedure 's3p' is BIND\\(C\\)" }
 193   integer :: n
 194   character(len=n), pointer :: xn
 195 end
 196
 197 subroutine s4p (xstar) bind(C) ! { dg-error "Pointer character dummy argument 'xstar' at .1. must have deferred length as procedure 's4p' is BIND\\(C\\)" }
 198   character(len=*), pointer :: xstar
 199 end
 200
 201 subroutine s5p (xcolon) bind(C)
 202   character(len=:), pointer :: xcolon
 203 end
 204
 205 ! Assumed-shape array, pointer
 206
 207 subroutine a1p (x1) bind(C) ! { dg-error "Pointer character dummy argument 'x1' at .1. must have deferred length as procedure 'a1p' is BIND\\(C\\)" }
 208   character(len=1), pointer :: x1(:)
 209 end
 210
 211 subroutine a2p (x2) bind(C) ! { dg-error "Pointer character dummy argument 'x2' at .1. must have deferred length as procedure 'a2p' is BIND\\(C\\)" }
 212   character(len=2), pointer :: x2(:,:)
 213 end
 214
 215 subroutine a3p (xn, n) bind(C) ! { dg-error "Pointer character dummy argument 'xn' at .1. must have deferred length as procedure 'a3p' is BIND\\(C\\)" }
 216   integer :: n
 217   character(len=n), pointer :: xn(:,:,:)
 218 end
 219
 220 subroutine a4p (xstar) bind(C) ! { dg-error "Pointer character dummy argument 'xstar' at .1. must have deferred length as procedure 'a4p' is BIND\\(C\\)" }
 221   character(len=*), pointer :: xstar(:,:,:,:)
 222 end
 223
 224 subroutine a5p (xcolon) bind(C)
 225   character(len=:), pointer :: xcolon(:)
 226 end
 227
 228 ! Assumed-rank array, pointer
 229
 230 subroutine a1pr (x1) bind(C)  ! { dg-error "Pointer character dummy argument 'x1' at .1. must have deferred length as procedure 'a1pr' is BIND\\(C\\)" }
 231   character(len=1), pointer :: x1(..)
 232 end
 233
 234 subroutine a2pr (x2) bind(C) ! { dg-error "Pointer character dummy argument 'x2' at .1. must have deferred length as procedure 'a2pr' is BIND\\(C\\)" }
 235   character(len=2), pointer :: x2(..)
 236 end
 237
 238 subroutine a3pr (xn, n) bind(C) ! { dg-error "Pointer character dummy argument 'xn' at .1. must have deferred length as procedure 'a3pr' is BIND\\(C\\)" }
 239   integer :: n
 240   character(len=n), pointer :: xn(..)
 241 end
 242
 243 subroutine a4pr (xstar) bind(C) ! { dg-error "Pointer character dummy argument 'xstar' at .1. must have deferred length as procedure 'a4pr' is BIND\\(C\\)" }
 244   character(len=*), pointer :: xstar(..)
 245 end
 246
 247 subroutine a5pr (xcolon) bind(C)
 248   character(len=:), pointer :: xcolon(..)
 249 end