re PR fortran/28590 (A SEQUENCEd defined type which refers to another defined…

re PR fortran/28590 (A SEQUENCEd defined type which refers to another defined type generates a spurious complaint about the lack of SEQUENCE attribute in the latter)

2006-08-06  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/28590
	* parse.c (parse_derived): Remove the test for sequence type
	components of a sequence type.
	* resolve.c (resolve_fl_derived): Put the test here so that
	pointer components are tested.

2006-08-06  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/28590
	* gfortran.dg/sequence_types_1.f90: New test.

From-SVN: r115966

gcc/fortran/ChangeLog

+2006-08-06  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/28590
+	* parse.c (parse_derived): Remove the test for sequence type
+	components of a sequence type.
+	* resolve.c (resolve_fl_derived): Put the test here so that
+	pointer components are tested.
+
 2006-08-05  Steven G. Kargl <kargls@comcast.nt>
 
 	PR fortran/28548

gcc/fortran/parse.c

@@ -1498,7 +1498,6 @@ parse_derived (void)
 {
   int compiling_type, seen_private, seen_sequence, seen_component, error_flag;
   gfc_statement st;
-  gfc_component *c;
   gfc_state_data s;
 
   error_flag = 0;
@@ -1596,20 +1595,6 @@ parse_derived (void)
 	}
     }
 
-  /* Sanity checks on the structure.  If the structure has the
-     SEQUENCE attribute, then all component structures must also have
-     SEQUENCE.  */
-  if (error_flag == 0 && gfc_current_block ()->attr.sequence)
-    for (c = gfc_current_block ()->components; c; c = c->next)
-      {
-	if (c->ts.type == BT_DERIVED && c->ts.derived->attr.sequence == 0)
-	  {
-	    gfc_error
-	      ("Component %s of SEQUENCE type declared at %C does not "
-	       "have the SEQUENCE attribute", c->ts.derived->name);
-	  }
-      }
-
   pop_state ();
 }
 

gcc/fortran/resolve.c

@@ -5392,6 +5392,17 @@ resolve_fl_derived (gfc_symbol *sym)
 	  return FAILURE;
 	}
 
+      if (sym->attr.sequence)
+	{
+	  if (c->ts.type == BT_DERIVED && c->ts.derived->attr.sequence == 0)
+	    {
+	      gfc_error ("Component %s of SEQUENCE type declared at %L does "
+			 "not have the SEQUENCE attribute",
+			 c->ts.derived->name, &sym->declared_at);
+	      return FAILURE;
+	    }
+	}
+
       if (c->pointer || c->as == NULL)
 	continue;
 

gcc/testsuite/ChangeLog

+2006-08-06  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/28590
+	* gfortran.dg/sequence_types_1.f90: New test.
+
 2006-08-05  Steven G. Kargl <kargls@comcast.nt>
 
 	PR fortran/28548

gcc/testsuite/gfortran.dg/sequence_types_1.f90

+! { dg-do compile }
+! Tests the fix for PR28590, in which pointer components of sequence
+! types would give the error that the component is itself not a
+! sequence type (4.4.1) if the component was not already defined.
+!
+! Contributed by Chris Nelson <ccnelson@itacllc.com>
+! 
+module data_types
+  Integer, Parameter :: kindAry    = selected_int_kind(r=8)
+  Integer, Parameter :: kindInt    = selected_int_kind(r=8)
+
+  Integer, Parameter :: kindQ      = selected_real_kind(p=6,r=37)
+  Integer, Parameter :: kindXYZ    = selected_real_kind(p=13,r=200)
+  Integer, Parameter :: kindDouble = selected_real_kind(p=13,r=200)
+
+  type GroupLoadInfo
+    sequence
+    Integer(kindAry)          :: loadMode
+    Integer(kindAry)          :: normalDir
+    Real(kindQ)               :: refS, refL, refX, refY, refZ
+    Real(kindQ)               :: forcex,   forcey,   forcez 
+    Real(kindQ)               :: forcexv,  forceyv,  forcezv 
+    Real(kindQ)               :: momx,     momy,     momz 
+    Real(kindQ)               :: momxv,    momyv,    momzv 
+    Real(kindQ)               :: flmassx,  flmassy,  flmassz 
+    Real(kindQ)               :: flmomtmx, flmomtmy, flmomtmz 
+    Real(kindQ)               :: flheatN
+  end type GroupLoadInfo
+
+  type GroupRigidMotion
+    sequence
+    Integer(kindInt)                     :: motiontyp
+    Real(kindXYZ), dimension(3)          :: xref
+    Real(kindXYZ), dimension(3)          :: angCurrent
+    Real(kindXYZ), dimension(3)          :: xdot
+    Real(kindXYZ), dimension(3)          :: angNew
+    Real(kindXYZ), dimension(3)          :: angRate
+    Real(kindDouble)                     :: curTim
+    Real(kindXYZ)              , pointer :: properties
+    Type(PrescribedMotionData) , pointer :: PrescribeDat
+  end type GroupRigidMotion
+
+  type PrescribedMotionData
+    sequence
+    Integer(kindInt)            :: prescr_typ
+    Real(kindXYZ), dimension(3) :: xvel
+    Real(kindXYZ)               :: amplitude
+    Real(kindXYZ)               :: frequency
+    Real(kindXYZ)               :: phase
+    Real(kindXYZ), dimension(3) :: thetadot
+    Real(kindXYZ), dimension(3) :: thetaddot
+  end type PrescribedMotionData
+  
+  type GroupDeformingMotion
+    sequence
+    Integer(kindAry) :: nmodes
+  end type GroupDeformingMotion
+  
+  type GroupLL
+    sequence
+    type(GroupLL)             , pointer :: next
+    type(GroupLL)             , pointer :: parent
+    character(32)                       :: name
+    type(GroupDefLL)          , pointer :: entities
+    type(GroupLoadInfo)       , pointer :: loadInfo
+    type(GroupRigidMotion)    , pointer :: RigidMotion
+    type(GroupDeformingMotion), pointer :: DeformingMotion
+  end type GroupLL
+  
+  type GroupDefLL 
+    sequence
+    type ( GroupDefLL ), pointer            :: next
+    Integer(kindInt)                        :: zone
+    Integer(kindInt)                        :: surface
+    type ( GroupLL ), pointer               :: subGrp
+    Integer(kindInt)                        :: normalDir
+    Integer(kindInt), dimension(:), pointer :: subset
+  end type GroupDefLL
+end module data_types