| ! { dg-do compile } |
| ! { dg-options "-std=f2008" } |
| ! |
| ! Check relaxed TS29113 constraints for procedures |
| ! and c_f_*pointer argument checking for c_ptr/c_funptr. |
| ! |
| |
| use iso_c_binding |
| implicit none |
| type(c_ptr) :: cp |
| type(c_funptr) :: cfp |
| |
| interface |
| subroutine sub() bind(C) |
| end subroutine sub |
| end interface |
| integer(c_int), pointer :: int |
| procedure(sub), pointer :: fsub |
| |
| integer, external :: noCsub |
| procedure(integer), pointer :: fint |
| |
| cp = c_funloc (sub) ! { dg-error "Can't convert TYPE.c_funptr. to TYPE.c_ptr." }) |
| cfp = c_loc (int) ! { dg-error "Can't convert TYPE.c_ptr. to TYPE.c_funptr." } |
| |
| call c_f_pointer (cfp, int) ! { dg-error "Argument CPTR to C_F_POINTER at .1. shall have the type C_PTR" } |
| call c_f_procpointer (cp, fsub) ! { dg-error "Argument at .1. to C_F_FUNPOINTER shall have the type C_FUNPTR" } |
| |
| cfp = c_funloc (noCsub) ! { dg-error "TS 29113: Noninteroperable argument 'nocsub' to 'c_funloc'" } |
| call c_f_procpointer (cfp, fint) ! { dg-error "TS 29113: Noninteroperable procedure-pointer at .1. to C_F_FUNPOINTER" } |
| end |
