2010-08-15 Tobias Burnus <burnus@net-b.de>

        PR fortran/45211
        * decl.c (verify_c_interop_param): Remove superfluous space (" ").
        (verify_c_interop): Handle unresolved DT with bind(C).

2010-08-15  Tobias Burnus  <burnus@net-b.de>

        PR fortran/45211
        * gfortran.dg/bind_c_usage_21.f90: New.
        * gfortran.dg/bind_c_dts_3.f03: Update dg-error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163264 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4bddcb43aaa7be8136da97ca2d98031bc6ff9e63..b88d9c9e985e48c4b5a44dc0b4c70633cb39bffa 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2010-08-15  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/45211
+       * decl.c (verify_c_interop_param): Remove superfluous space (" ").
+       (verify_c_interop): Handle unresolved DT with bind(C).
+
 2010-08-15  Tobias Burnus  <burnus@net-b.de>
 
        * trans-expr.c (gfc_conv_expr_present): Regard nullified

diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c
index be41af869c7826846313aa36a383ffaa7ab54d0a..5baa400f0acbc56b4311e0cd0e5025d61e77219c 100644 (file)
--- a/gcc/fortran/decl.c
+++ b/gcc/fortran/decl.c
@@ -991,7 +991,7 @@ verify_c_interop_param (gfc_symbol *sym)
              /* Make personalized messages to give better feedback.  */
              if (sym->ts.type == BT_DERIVED)
                gfc_error ("Type '%s' at %L is a parameter to the BIND(C) "
-                          " procedure '%s' but is not C interoperable "
+                          "procedure '%s' but is not C interoperable "
                           "because derived type '%s' is not C interoperable",
                           sym->name, &(sym->declared_at),
                           sym->ns->proc_name->name, 
@@ -3612,7 +3612,8 @@ gfc_try
 verify_c_interop (gfc_typespec *ts)
 {
   if (ts->type == BT_DERIVED && ts->u.derived != NULL)
-    return (ts->u.derived->ts.is_c_interop ? SUCCESS : FAILURE);
+    return (ts->u.derived->ts.is_c_interop || ts->u.derived->attr.is_bind_c)
+          ? SUCCESS : FAILURE;
   else if (ts->is_c_interop != 1)
     return FAILURE;
   

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1065b33757f32bf2dd6a4b131b2101485d1f0a71..7c43d39011b89363572f3b576f508ce1efa7bd42 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2010-08-15  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/45211
+       * gfortran.dg/bind_c_usage_21.f90: New.
+       * gfortran.dg/bind_c_dts_3.f03: Update dg-error.
+
 2010-08-15  Tobias Burnus  <burnus@net-b.de>
 
        * gfortran.dg/optional_absent_1.f90: New.

diff --git a/gcc/testsuite/gfortran.dg/bind_c_dts_3.f03 b/gcc/testsuite/gfortran.dg/bind_c_dts_3.f03
index 6c6da9f5785ff7d3b434cec78c4e3f97a7a7d9f2..fa54fb761be3d0b9ca50da8be4cebe48ecaf8db7 100644 (file)
--- a/gcc/testsuite/gfortran.dg/bind_c_dts_3.f03
+++ b/gcc/testsuite/gfortran.dg/bind_c_dts_3.f03
@@ -26,7 +26,7 @@ type, bind(c):: t3 ! { dg-error "BIND.C. derived type" }
 end type t3
 
 contains
-  subroutine sub0(my_type, expected_value) bind(c) ! { dg-error "is not C interoperable" }
+  subroutine sub0(my_type, expected_value) bind(c)
     type(my_c_type_1) :: my_type
     integer(c_int), value :: expected_value
 

diff --git a/gcc/testsuite/gfortran.dg/bind_c_usage_21.f90 b/gcc/testsuite/gfortran.dg/bind_c_usage_21.f90
new file mode 100644 (file)
index 0000000..10a86db
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/bind_c_usage_21.f90
@@ -0,0 +1,25 @@
+! { dg-do compile }
+!
+! PR fortran/45211
+!
+! Contributed by Scot Breitenfeld
+!
+module m
+contains
+  FUNCTION liter_cb(link_info) bind(C)
+    USE ISO_C_BINDING
+    IMPLICIT NONE
+
+    INTEGER(c_int) liter_cb
+
+    TYPE, bind(C) :: info_t
+       INTEGER(c_int) :: type
+    END TYPE info_t
+
+    TYPE(info_t) :: link_info
+
+    liter_cb = 0
+  END FUNCTION liter_cb
+end module m
+
+! { dg-final { cleanup-modules "m" } }