flang/test/Semantics/resolve37.f90

   1 ! RUN: %python %S/test_errors.py %s %flang_fc1
   2 ! C701 The type-param-value for a kind type parameter shall be a constant
   3 ! expression.  This constraint looks like a mistake in the standard.
   4 integer, parameter :: k = 8
   5 real, parameter :: l = 8.0
   6 integer :: n = 2
   7 !ERROR: Must be a constant value
   8 parameter(m=n)
   9 integer(k) :: x
  10 ! C713 A scalar-int-constant-name shall be a named constant of type integer.
  11 !ERROR: Must have INTEGER type, but is REAL(4)
  12 integer(l) :: y
  13 !ERROR: Must be a constant value
  14 integer(n) :: z
  15 type t(k)
  16   integer, kind :: k
  17 end type
  18 !ERROR: Type parameter 'k' lacks a value and has no default
  19 type(t( &
  20 !ERROR: Must have INTEGER type, but is LOGICAL(4)
  21   .true.)) :: w
  22 !ERROR: Must have INTEGER type, but is REAL(4)
  23 real :: u(l*2)
  24 !ERROR: Must have INTEGER type, but is REAL(4)
  25 character(len=l) :: v
  26 !ERROR: Value of named constant 'o' (o) cannot be computed as a constant value
  27 real, parameter ::  o = o
  28 !ERROR: Must be a constant value
  29 integer, parameter ::  p = 0/0
  30 !ERROR: Must be a constant value
  31 integer, parameter ::  q = 1+2*(1/0)
  32 integer not_constant
  33 !ERROR: Must be a constant value
  34 integer, parameter :: s1 = not_constant/2
  35 !ERROR: Must be a constant value
  36 integer, parameter :: s2 = 3/not_constant
  37 !ERROR: Must be a constant value
  38 integer(kind=2/0) r
  39 integer, parameter :: sok(*)=[1,2]/[1,2]
  40 !ERROR: Must be a constant value
  41 integer, parameter :: snok(*)=[1,2]/[1,0]
  42 end