re PR fortran/58023 ([F03] ICE on invalid with bad PPC declaration)

2015-01-11  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/58023
	* resolve.c (resolve_fl_derived0): Set error flag if problems with the
	interface of a procedure-pointer component were detected.

2015-01-11  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/58023
	* gfortran.dg/proc_ptr_comp_42.f90: New.

From-SVN: r219439

gcc/fortran/ChangeLog

 2015-01-11  Janus Weil  <janus@gcc.gnu.org>
 
+	PR fortran/58023
+	* resolve.c (resolve_fl_derived0): Set error flag if problems with the
+	interface of a procedure-pointer component were detected.
+
+2015-01-11  Janus Weil  <janus@gcc.gnu.org>
+
 	PR fortran/64508
 	* interface.c (compare_parameter): Interface check for
 	procedure-pointer component as actual argument.

gcc/fortran/resolve.c

@@ -12424,9 +12424,11 @@ resolve_fl_derived0 (gfc_symbol *sym)
 	{
 	  gfc_symbol *ifc = c->ts.interface;
 
-	  if (!sym->attr.vtype
-	      && !check_proc_interface (ifc, &c->loc))
-	    return false;
+	  if (!sym->attr.vtype && !check_proc_interface (ifc, &c->loc))
+	    {
+	      c->tb->error = 1;
+	      return false;
+	    }
 
 	  if (ifc->attr.if_source || ifc->attr.intrinsic)
 	    {

gcc/testsuite/ChangeLog

 2015-01-11  Janus Weil  <janus@gcc.gnu.org>
 
+	PR fortran/58023
+	* gfortran.dg/proc_ptr_comp_42.f90: New.
+
+2015-01-11  Janus Weil  <janus@gcc.gnu.org>
+
 	PR fortran/64508
 	* gfortran.dg/proc_ptr_comp_41.f90: New.
 

gcc/testsuite/gfortran.dg/proc_ptr_comp_42.f90

+! { dg-do compile }
+!
+! PR 58023: [F03] ICE on invalid with bad PPC declaration
+!
+! Contributed by Andrew Benson <abensonca@gmail.com>
+
+  implicit none
+
+  type :: sfd
+    procedure(mr), pointer :: mr2  ! { dg-error "must be explicit" }
+  end type
+
+  type(sfd):: d
+  print *, d%mr2()
+
+end