re PR fortran/87172 (Spurious "Derived type 'c_funptr' at (1) has not been declared...

fix PR 87172

2018-09-11  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/87172
	* resolve.c (resolve_fl_derived): If a type has the 'use_assoc'
	attribute, then it was declared in another module, so there should be
	no error that it has not been declared.

2018-09-11  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/87172
	* gfortran.dg/iso_c_binding_only_2.f90: New test case.

From-SVN: r264214

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index c02276f7537e1291bb47fd2f55f85b17487c93ca..7ce93ab3f35099908c68aa4604759d9b2bc76aa6 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2018-09-11  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/87172
+       * resolve.c (resolve_fl_derived): If a type has the 'use_assoc'
+       attribute, then it was declared in another module, so there should be
+       no error that it has not been declared.
+
 2018-09-11  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/87277

diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index ded276242833c54b75b917c61cb13db168ad7100..ea0ce80074304530ff7ced2a38252378b72d3be6 100644 (file)
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -14245,7 +14245,7 @@ resolve_fl_derived (gfc_symbol *sym)
                          &sym->declared_at))
     return false;
 
-  if (sym->components == NULL && !sym->attr.zero_comp)
+  if (sym->components == NULL && !sym->attr.zero_comp && !sym->attr.use_assoc)
     {
       gfc_error ("Derived type %qs at %L has not been declared",
                  sym->name, &sym->declared_at);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3e35910699bc113c2665a3c222882e5a0642b01f..a429bc3d8b9771a1b9825571b341903cc96844db 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-11  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/87172
+       * gfortran.dg/iso_c_binding_only_2.f90: New test case.
+
 2018-09-11  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/87277

diff --git a/gcc/testsuite/gfortran.dg/iso_c_binding_only_2.f90 b/gcc/testsuite/gfortran.dg/iso_c_binding_only_2.f90
new file mode 100644 (file)
index 0000000..03fafe3
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/iso_c_binding_only_2.f90
@@ -0,0 +1,14 @@
+! { dg-do compile }
+!
+! PR 87172: [9 Regression] Spurious "Derived type 'c_funptr' at (1) has not been declared" error after r263782
+!
+! Contributed by Dominique d'Humieres <dominiq@lps.ens.fr>
+
+module m1
+   use iso_c_binding, only: c_funptr
+end module
+
+module m2
+  use m1
+  use iso_c_binding
+end module