2008-07-12 Daniel Kraft <d@domob.eu>

	* resolve.c (resolve_fl_derived):  Allow pointer components to empty
	derived types fixing a missing part of PR fortran/33221.

2008-06-22  Daniel Kraft  <d@domob.eu>

	* gfortran.dg/used_types_21.f90:  New test.

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

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d8c3114..d79a72e 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2008-07-12  Daniel Kraft  <d@domob.eu>
+
+       * resolve.c (resolve_fl_derived):  Allow pointer components to empty
+       derived types fixing a missing part of PR fortran/33221.
+
 2008-07-10  Daniel Kraft  <d@domob.eu>
 
        * gfc-internals.texi (section gfc_expr):  Created documentation about

diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index c0ec784..273f2ae 100644 (file)
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -7657,7 +7657,8 @@ resolve_fl_derived (gfc_symbol *sym)
        }
 
       if (c->ts.type == BT_DERIVED && c->pointer
-         && c->ts.derived->components == NULL)
+         && c->ts.derived->components == NULL
+         && !c->ts.derived->attr.zero_comp)
        {
          gfc_error ("The pointer component '%s' of '%s' at %L is a type "
                     "that has not been declared", c->name, sym->name,

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c246c5f..0b1bc97 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-22  Daniel Kraft  <d@domob.eu>
+
+       * gfortran.dg/used_types_21.f90:  New test.
+
 2008-07-11  Ian Lance Taylor  <iant@google.com>
 
        * gcc.dg/Wcxx-compat-2.c: New test.

diff --git a/gcc/testsuite/gfortran.dg/used_types_21.f90 b/gcc/testsuite/gfortran.dg/used_types_21.f90
new file mode 100644 (file)
index 0000000..04b109f
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/used_types_21.f90
@@ -0,0 +1,11 @@
+! { dg-do compile }
+! Check that pointer components are allowed to empty types.
+
+TYPE :: empty_t
+END TYPE empty_t
+
+TYPE :: comp_t
+  TYPE(empty_t), POINTER :: ptr
+END TYPE comp_t
+
+END