re PR fortran/78592 (ICE in gfc_find_specific_dtio_proc, at fortran/interface.c:4939)

2016-12-18  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/78592
	* interfac.c (gfc_find_specific_dtio_proc): Fixup for r243005, making
	sure that the generic list is followed through until the end.

2016-12-18  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/78592
	* gfortran.dg/dtio_21.f90: New test.

From-SVN: r243783

gcc/fortran/ChangeLog

+2016-12-18  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/78592
+	* interfac.c (gfc_find_specific_dtio_proc): Fixup for r243005, making
+	sure that the generic list is followed through until the end.
+
 2016-12-17  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
 	PR fortran/78239
-	* decl.c (char_len_param_value):  Actually commit
-	previous change.
-
+	* decl.c (char_len_param_value): Actually commit previous change.
 
 2016-12-17  Thomas Koenig  <tkoenig@gcc.gnu.org>
 

gcc/fortran/interface.c

@@ -4949,17 +4949,19 @@ gfc_find_specific_dtio_proc (gfc_symbol *derived, bool write, bool formatted)
 	  && tb_io_st->n.sym->generic)
 	{
 	  for (gfc_interface *intr = tb_io_st->n.sym->generic;
-	       intr && intr->sym && intr->sym->formal;
-	       intr = intr->next)
+	       intr && intr->sym; intr = intr->next)
 	    {
-	      gfc_symbol *fsym = intr->sym->formal->sym;
-	      if ((fsym->ts.type == BT_CLASS
-		   && CLASS_DATA (fsym)->ts.u.derived == extended)
-		  || (fsym->ts.type == BT_DERIVED
-		      && fsym->ts.u.derived == extended))
+	      if (intr->sym->formal)
 		{
-		  dtio_sub = intr->sym;
-		  break;
+		  gfc_symbol *fsym = intr->sym->formal->sym;
+		  if ((fsym->ts.type == BT_CLASS
+		      && CLASS_DATA (fsym)->ts.u.derived == extended)
+		      || (fsym->ts.type == BT_DERIVED
+			  && fsym->ts.u.derived == extended))
+		    {
+		      dtio_sub = intr->sym;
+		      break;
+		    }
 		}
 	    }
 	}

gcc/testsuite/ChangeLog

+2016-12-18  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/78592
+	* gfortran.dg/dtio_21.f90: New test.
+
 2016-12-17  Steven G. Kargl  <kargl@gcc.gnu.org>
 
 	PR fortran/78746

gcc/testsuite/gfortran.dg/dtio_21.f90

+! { dg-do compile }
+!
+! PR 78592: [7 Regression] ICE in gfc_find_specific_dtio_proc, at fortran/interface.c:4939
+!
+! Contributed by Mikael Morin <morin-mikael@orange.fr>
+
+program p
+   type t
+   end type
+   type(t) :: z
+   type, extends(t) :: t2
+   end type
+   class(t2), allocatable :: z2
+   interface write(formatted)
+      procedure wf2
+      module procedure wf   ! { dg-error "is neither function nor subroutine" }
+   end interface
+   print *, z
+   allocate(z2)
+   print *, z2
+  contains
+   subroutine wf2(this, a, b, c, d, e)
+      class(t2), intent(in) :: this
+      integer, intent(in) :: a
+      character, intent(in) :: b
+      integer, intent(in) :: c(:)
+      integer, intent(out) :: d
+      character, intent(inout) :: e
+   end subroutine wf2
+end