gcc/testsuite/gfortran.dg/c_funloc_tests_6.f90

   1 ! { dg-do compile }
   2 ! { dg-options "-std=f2008" }
   3 !
   4 ! Check relaxed TS29113 constraints for procedures
   5 ! and c_f_*pointer argument checking for c_ptr/c_funptr.
   6 !
   7
   8 use iso_c_binding
   9 implicit none
  10 type(c_ptr) :: cp
  11 type(c_funptr) :: cfp
  12
  13 interface
  14   subroutine sub() bind(C)
  15   end subroutine sub
  16 end interface
  17 integer(c_int), pointer :: int
  18 procedure(sub), pointer :: fsub
  19
  20 integer, external :: noCsub
  21 procedure(integer), pointer :: fint
  22
  23 cp = c_funloc (sub) ! { dg-error "Can't convert TYPE.c_funptr. to TYPE.c_ptr." })
  24 cfp = c_loc (int)   ! { dg-error "Can't convert TYPE.c_ptr. to TYPE.c_funptr." }
  25
  26 call c_f_pointer (cfp, int)     ! { dg-error "Argument CPTR at .1. to C_F_POINTER shall have the type TYPE.C_PTR." }
  27 call c_f_procpointer (cp, fsub) ! { dg-error "Argument CPTR at .1. to C_F_PROCPOINTER shall have the type TYPE.C_FUNPTR." }
  28
  29 cfp = c_funloc (noCsub) ! { dg-error "TS 29113/TS 18508: Noninteroperable procedure at .1. to C_FUNLOC" }
  30 call c_f_procpointer (cfp, fint) ! { dg-error "TS 29113/TS 18508: Noninteroperable procedure pointer at .1. to C_F_PROCPOINTER" }
  31 end