flang/test/Semantics/call13.f90

   1 ! RUN: %python %S/test_errors.py %s %flang_fc1
   2 ! Test 15.4.2.2 constraints and restrictions for calls to implicit
   3 ! interfaces
   4
   5 subroutine s(assumedRank, coarray, class, classStar, typeStar)
   6   type :: t
   7   end type
   8
   9   real :: assumedRank(..), coarray[*]
  10   class(t) :: class
  11   class(*) :: classStar
  12   type(*) :: typeStar
  13
  14   type :: pdt(len)
  15     integer, len :: len
  16   end type
  17   type(pdt(1)) :: pdtx
  18
  19   !ERROR: Invalid specification expression: reference to impure function 'implicit01'
  20   real :: array(implicit01())  ! 15.4.2.2(2)
  21   !ERROR: Keyword 'keyword=' may not appear in a reference to a procedure with an implicit interface
  22   call implicit10(1, 2, keyword=3)  ! 15.4.2.2(1)
  23   !ERROR: Assumed rank argument requires an explicit interface
  24   call implicit11(assumedRank)  ! 15.4.2.2(3)(c)
  25   !ERROR: Coarray argument requires an explicit interface
  26   call implicit12(coarray)  ! 15.4.2.2(3)(d)
  27   !ERROR: Parameterized derived type actual argument requires an explicit interface
  28   call implicit13(pdtx)  ! 15.4.2.2(3)(e)
  29   call implicit14(class)  ! ok
  30   !ERROR: Unlimited polymorphic actual argument requires an explicit interface
  31   call implicit15(classStar)  ! 15.4.2.2(3)(f)
  32   !ERROR: Assumed type actual argument requires an explicit interface
  33   call implicit16(typeStar)  ! 15.4.2.2(3)(f)
  34   !ERROR: TYPE(*) dummy argument may only be used as an actual argument
  35   if (typeStar) then
  36   endif
  37   !ERROR: TYPE(*) dummy argument may only be used as an actual argument
  38   classStar = typeStar  ! C710
  39   !ERROR: TYPE(*) dummy argument may only be used as an actual argument
  40   typeStar = classStar  ! C710
  41 end subroutine
  42