+2007-12-31 Paul Thomas <pault@gcc.gnu.org>
+
+ PR fortran/34558
+ * interface.c (gfc_compare_types): Prevent linked lists from
+ putting this function into an endless recursive loop.
+
2007-12-26 Daniel Franke <franke.daniel@gmail.com>
PR fortran/34532
if (dt1->dimension && gfc_compare_array_spec (dt1->as, dt2->as) == 0)
return 0;
- if (gfc_compare_types (&dt1->ts, &dt2->ts) == 0)
+ /* Make sure that link lists do not put this function in an
+ endless loop! */
+ if (!(dt1->ts.type == BT_DERIVED && derived1 == dt1->ts.derived)
+ && !(dt1->ts.type == BT_DERIVED && derived1 == dt1->ts.derived)
+ && gfc_compare_types (&dt1->ts, &dt2->ts) == 0)
+ return 0;
+
+ else if (dt1->ts.type != BT_DERIVED
+ || derived1 != dt1->ts.derived
+ || dt2->ts.type != BT_DERIVED
+ || derived2 != dt2->ts.derived)
return 0;
dt1 = dt1->next;
+2007-12-31 Paul Thomas <pault@gcc.gnu.org>
+
+ PR fortran/34558
+ * gfortran.dg/linked_list_1.f90: New test.
+
2007-12-29 Richard Sandiford <rsandifo@nildram.co.uk>
* lib/objc.exp (objc_libgcc_s_path): Set objc_libgcc_s_path
--- /dev/null
+! { dg-do compile }
+! Regression. ICE on valid code.
+! The following worked with 4.1.3 and 4.2.2, but failed
+! (segmentation fault) with 4.3.0 because the type comparison
+! tried to comparethe types of the components of type(node), even
+! though the only component is of type(node).
+!
+! Found using the Fortran Company Fortran 90 Test Suite (Lite),
+! Version 1.4
+!
+! Reported by Tobias Burnus <burnus@gcc.gnu.org>
+!
+program error
+ implicit none
+ type node
+ sequence
+ type(node), pointer :: next
+ end type
+ type(node), pointer :: list
+
+ interface
+ subroutine insert(ptr)
+ implicit none
+ type node
+ sequence
+ type(node), pointer :: next
+ end type
+ type(node), pointer :: ptr
+ end subroutine insert
+ end interface
+ allocate (list);
+end program error