public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
* [Patch, Fortran] Prevent segfault with dump-*-original for implicit class expressions.
@ 2015-03-13 10:33 Andre Vehreschild
  2015-04-24  8:32 ` [Ping, Patch, " Andre Vehreschild
  2015-04-25 21:13 ` [Patch, " Mikael Morin
  0 siblings, 2 replies; 6+ messages in thread
From: Andre Vehreschild @ 2015-03-13 10:33 UTC (permalink / raw)
  To: GCC-Patches-ML, GCC-Fortran-ML

[-- Attachment #1: Type: text/plain, Size: 1044 bytes --]

Hi all,

this is another patch preventing a segfault. This time the segfault occurred,
when -fdump-(fortran|tree)-original was given with the program having an
implicit class set. The issue is that the _data component is assumed to be
present in a BT_CLASS w/o checking and trying to access the unlimited
polymorphic flag there. The patch fixes this by redirecting the access to the
flag to the correct position whether the _data component is present or not.

Building a testcase for this is difficult for me. May be I am just blocked in
the head there. The issue occurred when trying to dump the
(fortran|tree)-original of the testcase gfortran.dg/implicit_class_1.f90. So
one could argue to add the flag to that testcase, but does it pay in contrast
to the additional effort each time the testsuite is executed? I have added the
test now, not being happy with it, but having no clue how to do it better.

Bootstraps and regtests ok on x86_64-linux-gnu/F20.

Ok, for trunk?

Regards,
	Andre
-- 
Andre Vehreschild * Email: vehre ad gmx dot de 

[-- Attachment #2: crashfix2_v1.clog --]
[-- Type: application/octet-stream, Size: 481 bytes --]

gcc/fortran/ChangeLog:

2015-03-13  Andre Vehreschild  <vehre@gmx.de>

	* interface.c (gfc_compare_types): Check for unlimited
	polymorphism flag in the correct position indepent of the _data
	component being present or not.  This prevents a segfault, when
	the _data component is not present.
	* symbol.c (gfc_type_compatible): Same.

gcc/testsuite/ChangeLog:

2015-03-13  vehre  <vehre@gmx.de>

	* gfortran.dg/implicit_class_1.f90: Adding flag to check, if
	segfault is fixed.



[-- Attachment #3: crashfix2_v1.patch --]
[-- Type: text/x-patch, Size: 3671 bytes --]

diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 320eb01..71721dd 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -484,13 +484,24 @@ gfc_compare_types (gfc_typespec *ts1, gfc_typespec *ts2)
   if (ts1->type == BT_VOID || ts2->type == BT_VOID)
     return 1;
 
-  if (ts1->type == BT_CLASS
-      && ts1->u.derived->components->ts.u.derived->attr.unlimited_polymorphic)
+  /* The _data component is not always present, therefore check for its
+     presence before assuming, that its derived->attr is available.
+     When the _data component is not present, then nevertheless the
+     unlimited_polymorphic flag may be set in the derived type's attr.  */
+  if (ts1->type == BT_CLASS && ts1->u.derived->components
+      && ((strcmp (ts1->u.derived->components->name, "_data") == 0
+	   && ts1->u.derived->components->ts.u.derived->attr
+						  .unlimited_polymorphic)
+	  || ts1->u.derived->attr.unlimited_polymorphic))
     return 1;
 
   /* F2003: C717  */
   if (ts2->type == BT_CLASS && ts1->type == BT_DERIVED
-      && ts2->u.derived->components->ts.u.derived->attr.unlimited_polymorphic
+      && ts2->u.derived->components
+      && ((strcmp (ts2->u.derived->components->name, "_data") == 0
+	   && ts2->u.derived->components->ts.u.derived->attr
+						  .unlimited_polymorphic)
+	  || ts2->u.derived->attr.unlimited_polymorphic)
       && (ts1->u.derived->attr.sequence || ts1->u.derived->attr.is_bind_c))
     return 1;
 
diff --git a/gcc/fortran/symbol.c b/gcc/fortran/symbol.c
index 32eea21..3379f47 100644
--- a/gcc/fortran/symbol.c
+++ b/gcc/fortran/symbol.c
@@ -4567,7 +4567,10 @@ gfc_type_compatible (gfc_typespec *ts1, gfc_typespec *ts2)
 
   if (is_class1
       && ts1->u.derived->components
-      && ts1->u.derived->components->ts.u.derived->attr.unlimited_polymorphic)
+      && ((strcmp (ts1->u.derived->components->name, "_data") == 0
+	   && ts1->u.derived->components->ts.u.derived->attr
+							.unlimited_polymorphic)
+	  || ts1->u.derived->attr.unlimited_polymorphic))
     return 1;
 
   if (!is_derived1 && !is_derived2 && !is_class1 && !is_class2)
@@ -4576,13 +4579,14 @@ gfc_type_compatible (gfc_typespec *ts1, gfc_typespec *ts2)
   if (is_derived1 && is_derived2)
     return gfc_compare_derived_types (ts1->u.derived, ts2->u.derived);
 
-  if (is_derived1 && is_class2)
+  if (is_derived1 && is_class2 && ts2->u.derived->components)
     return gfc_compare_derived_types (ts1->u.derived,
 				      ts2->u.derived->components->ts.u.derived);
-  if (is_class1 && is_derived2)
+  if (is_class1 && is_derived2 && ts1->u.derived->components)
     return gfc_type_is_extension_of (ts1->u.derived->components->ts.u.derived,
 				     ts2->u.derived);
-  else if (is_class1 && is_class2)
+  else if (is_class1 && is_class2 && ts1->u.derived->components
+	   && ts2->u.derived->components)
     return gfc_type_is_extension_of (ts1->u.derived->components->ts.u.derived,
 				     ts2->u.derived->components->ts.u.derived);
   else
diff --git a/gcc/testsuite/gfortran.dg/implicit_class_1.f90 b/gcc/testsuite/gfortran.dg/implicit_class_1.f90
index 329f57a..fff1f2b 100644
--- a/gcc/testsuite/gfortran.dg/implicit_class_1.f90
+++ b/gcc/testsuite/gfortran.dg/implicit_class_1.f90
@@ -4,6 +4,10 @@
 !
 ! Contributed by Reinhold Bader <Reinhold.Bader@lrz.de>
 
+! Add dump-tree-original to check, if the patch preventing a gfortran
+! segfault is working correctly.
+! { dg-options "-fdump-tree-original" }
+
 program upimp
   implicit class(foo) (a-b)
   implicit class(*) (c)
@@ -33,3 +37,5 @@ contains
     implicit class(*) (a-z)
   end
 end program
+
+! { dg-final { cleanup-tree-dump "original" } }

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2015-04-28 19:05 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-03-13 10:33 [Patch, Fortran] Prevent segfault with dump-*-original for implicit class expressions Andre Vehreschild
2015-04-24  8:32 ` [Ping, Patch, " Andre Vehreschild
2015-04-25 21:13 ` [Patch, " Mikael Morin
2015-04-28 10:59   ` Andre Vehreschild
2015-04-28 12:06     ` Mikael Morin
2015-04-28 19:43       ` [commited, Patch, " Andre Vehreschild

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).