re PR fortran/78500 (ICE in gfc_check_vardef_context, at fortran/expr.c:5289)

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

	PR fortran/78500
	* expr.c (gfc_check_vardef_contextm): Fix NULL pointer dereference.
	* interface.c (matching_typebound_op): Ditto.

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

	PR fortran/78500
	* gfortran.dg/class_result_4.f90: New test.

From-SVN: r242849

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4931f51c8076264091ea89194d7f4c2d5e9c2bef..f0f3107af93ece6c009ddc71f18ab1f9a7bfb7b5 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2016-11-24  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/78500
+       * expr.c (gfc_check_vardef_contextm): Fix NULL pointer dereference.
+       * interface.c (matching_typebound_op): Ditto.
+
 2016-11-23  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        PR fortran/78297

diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 2e74375d11b1521dec80328436a6cf7a43f4f75e..fa928fe52c7548fef56988fc552925707ff3cbde 100644 (file)
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -4883,7 +4883,8 @@ gfc_check_vardef_context (gfc_expr* e, bool pointer, bool alloc_obj,
      component.  Note that (normal) assignment to procedure pointers is not
      possible.  */
   check_intentin = !own_scope;
-  ptr_component = (sym->ts.type == BT_CLASS && CLASS_DATA (sym))
+  ptr_component = (sym->ts.type == BT_CLASS && sym->ts.u.derived
+                  && CLASS_DATA (sym))
                  ? CLASS_DATA (sym)->attr.class_pointer : sym->attr.pointer;
   for (ref = e->ref; ref && check_intentin; ref = ref->next)
     {

diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 92b86a8232740d3632c6ce3ad3fb9f313841a373..6cb84b6df3f70e141efe34d367021739af8f483f 100644 (file)
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -3652,7 +3652,7 @@ matching_typebound_op (gfc_expr** tb_base,
 
        if (base->expr->ts.type == BT_CLASS)
          {
-           if (CLASS_DATA (base->expr) == NULL
+           if (!base->expr->ts.u.derived || CLASS_DATA (base->expr) == NULL
                || !gfc_expr_attr (base->expr).class_ok)
              continue;
            derived = CLASS_DATA (base->expr)->ts.u.derived;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index af3dc9839c7551d739e571de403e0a8af9ccaf3e..37cb29c2d12742dd0ba7cececac176d5c187fd4e 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-24  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/78500
+       * gfortran.dg/class_result_4.f90: New test.
+
 2016-11-23  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        PR fortran/78297

diff --git a/gcc/testsuite/gfortran.dg/class_result_4.f90 b/gcc/testsuite/gfortran.dg/class_result_4.f90
new file mode 100644 (file)
index 0000000..4b22a3c
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/class_result_4.f90
@@ -0,0 +1,6 @@
+! { dg-do compile }
+! PR fortran/78500
+class(t) function f() ! { dg-error "must be dummy, allocatable or pointer" }
+   f = 1              ! { dg-error "variable must not be polymorphic" }
+end
+