flang/test/Semantics/resolve67.f90

   1 ! RUN: %python %S/test_errors.py %s %flang_fc1
   2 ! Test restrictions on what subprograms can be used for defined operators.
   3 ! See: 15.4.3.4.2
   4
   5 module m1
   6   interface operator(+)
   7     !ERROR: OPERATOR(+) procedure 'add1' must be a function
   8     subroutine add1(x, y, z)
   9       real, intent(out) :: x
  10       real, intent(in) :: y, z
  11     end
  12   end interface
  13 end
  14
  15 module m2
  16   interface operator(-)
  17     real function sub1(x)
  18       logical, intent(in) :: x
  19     end
  20     real function sub2(x, y)
  21       logical, intent(in) :: x, y
  22     end
  23     !ERROR: OPERATOR(-) function 'sub3' must have one or two dummy arguments
  24     real function sub3(x, y, z)
  25       real, intent(in) :: x, y, z
  26     end
  27   end interface
  28   interface operator(.not.)
  29     !ERROR: OPERATOR(.NOT.) function 'not1' must have one dummy argument
  30     real function not1(x, y)
  31       real, intent(in) :: x, y
  32     end
  33   end interface
  34 end
  35
  36 module m3
  37   interface operator(/)
  38     !ERROR: A function interface may not declare an assumed-length CHARACTER(*) result
  39     character(*) function divide(x, y)
  40       character(*), intent(in) :: x, y
  41     end
  42   end interface
  43   interface operator(<)
  44     !ERROR: In OPERATOR(<) function 'lt1', dummy argument 'x' must have INTENT(IN) or VALUE attribute
  45     !ERROR: In OPERATOR(<) function 'lt1', dummy argument 'y' may not be OPTIONAL
  46     logical function lt1(x, y)
  47       logical :: x
  48       real, value, optional :: y
  49     end
  50     !ERROR: In OPERATOR(<) function 'lt2', dummy argument 'y' must be a data object
  51     logical function lt2(x, y)
  52       logical, intent(in) :: x
  53       intent(in) :: y
  54       interface
  55         subroutine y()
  56         end
  57       end interface
  58     end
  59   end interface
  60  contains
  61   subroutine s(alcf1, alcf2)
  62     interface
  63       character(*) function alcf1(x, y)
  64         character(*), intent(in) :: x, y
  65       end function
  66       character(*) function alcf2(x, y)
  67         character(*), intent(in) :: x, y
  68       end function
  69     end interface
  70     interface operator(+)
  71       !ERROR: OPERATOR(+) function 'alcf1' may not have assumed-length CHARACTER(*) result
  72       procedure alcf1
  73     end interface
  74     !ERROR: OPERATOR(-) function 'alcf2' may not have assumed-length CHARACTER(*) result
  75     generic :: operator(-) => alcf2
  76   end subroutine
  77 end
  78
  79 module m4
  80   interface operator(+)
  81     !ERROR: OPERATOR(+) function 'add' conflicts with intrinsic operator
  82     complex function add(x, y)
  83       real, intent(in) :: x
  84       integer, value :: y
  85     end
  86     !ERROR: OPERATOR(+) function 'plus' conflicts with intrinsic operator
  87     real function plus(x)
  88       complex, intent(in) :: x
  89     end
  90   end interface
  91   interface operator(.not.)
  92     real function not1(x)
  93       real, value :: x
  94     end
  95     !ERROR: OPERATOR(.NOT.) function 'not2' conflicts with intrinsic operator
  96     logical(8) function not2(x)
  97       logical(8), value :: x
  98     end
  99   end interface
 100   interface operator(.and.)
 101     !ERROR: OPERATOR(.AND.) function 'and' conflicts with intrinsic operator
 102     real function and(x, y)
 103       logical(1), value :: x
 104       logical(8), value :: y
 105     end
 106   end interface
 107   interface operator(//)
 108     real function concat1(x, y)
 109       real, value :: x, y
 110     end
 111     real function concat2(x, y)
 112       character(kind=1, len=4), intent(in) :: x
 113       character(kind=4, len=4), intent(in) :: y
 114     end
 115     !ERROR: OPERATOR(//) function 'concat3' conflicts with intrinsic operator
 116     real function concat3(x, y)
 117       character(kind=4, len=4), intent(in) :: x
 118       character(kind=4, len=4), intent(in) :: y
 119     end
 120   end interface
 121 end