From: Steven G. Kargl <kargl@gcc.gnu.org>
Date: Mon, 24 Oct 2016 19:21:42 +0000 (+0000)
Subject: re PR fortran/71895 (ICE in gfc_compare_derived_types, at fortran/interface.c:520)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c708217135607d42ff3926164f0472ef6aa66719;p=gcc.git

re PR fortran/71895 (ICE in gfc_compare_derived_types, at fortran/interface.c:520)

2016-10-24  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/71895
	* interface.c (gfc_compare_derived_types):  Convert gcc_assert()
	to a gfc_internal_error() to prevent an ICE.

2016-10-24  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/71895
	* gfortran.dg/pr71895.f90: New test.

From-SVN: r241493
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 5c47028555b..37578811fc7 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2016-10-24  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/71895
+	* interface.c (gfc_compare_derived_types):  Convert gcc_assert()
+	to a gfc_internal_error() to prevent an ICE.
+
 2016-10-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* trans-intrinsic.c (gfc_conv_intrinsic_minmax): Use VAR_P (x)
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index dc81ab5991c..b851d5a425b 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -615,7 +615,8 @@ gfc_compare_derived_types (gfc_symbol *derived1, gfc_symbol *derived2)
   if (derived1 == derived2)
     return 1;
 
-  gcc_assert (derived1 && derived2);
+  if (!derived1 || !derived2)
+    gfc_internal_error ("gfc_compare_derived_types: invalid derived type");
 
   /* Compare UNION types specially.  */
   if (derived1->attr.flavor == FL_UNION || derived2->attr.flavor == FL_UNION)
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dc5f13ee391..0cc1027b3bb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-10-24  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/71895
+	* gfortran.dg/pr71895.f90: New test.
+
 2016-10-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* g++.dg/debug/dwarf2/ref-2.C: New test.
diff --git a/gcc/testsuite/gfortran.dg/pr71895.f90 b/gcc/testsuite/gfortran.dg/pr71895.f90
new file mode 100644
index 00000000000..e5d40026d03
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr71895.f90
@@ -0,0 +1,10 @@
+! { dg-do compile }
+program p
+   type t
+      integer :: n
+   end type
+   type(t) :: x
+   class(t) :: y        ! { dg-error "must be dummy, allocatable or pointer" }
+   print *, extends_type_of(x, y)
+   print *, extends_type_of(y, x)
+end