! { dg-do compile }
module test
  use, intrinsic :: iso_c_binding

  type, bind(c) :: my_c_type ! { dg-error "BIND.C. derived type" }
     integer(c_int), pointer :: ptr ! { dg-error "cannot have the POINTER attribute" }
  end type my_c_type 
  
  type, bind(c) :: my_type ! { dg-error "BIND.C. derived type" }
     integer(c_int), allocatable :: ptr(:) ! { dg-error "cannot have the ALLOCATABLE attribute" }
  end type my_type

  type foo ! { dg-error "must have the BIND attribute" }
    integer(c_int) :: p 
  end type foo 

  type(foo), bind(c) :: cp ! { dg-error "is not C interoperable" }
  real(c_double), pointer,bind(c) :: p ! { dg-error "cannot have both the POINTER and BIND.C." }
end module test