Bug 41608

Summary: [OOP] ICE with CLASS and invalid code
Product: gcc Reporter: Tobias Burnus <burnus>
Component: fortranAssignee: janus
Status: RESOLVED FIXED    
Severity: normal CC: d, gcc-bugs, janus
Priority: P3 Keywords: ice-on-invalid-code
Version: 4.5.0   
Target Milestone: 4.5.0   
Host: Target:
Build: Known to work:
Known to fail: Last reconfirmed: 2009-10-07 21:58:53

Description Tobias Burnus 2009-10-06 16:38:47 UTC
class(t1), pointer :: c  ! missing TYPE decl
  select type (c)
  type is (t1)
  end select
end

f951: internal compiler error: in find_typebound_proc_uop, at fortran/symbol.c:4657
Comment 1 janus 2009-10-07 21:58:53 UTC
The fix:

Index: gcc/fortran/decl.c
===================================================================
--- gcc/fortran/decl.c  (Revision 152525)
+++ gcc/fortran/decl.c  (Arbeitskopie)
@@ -3751,7 +3751,8 @@ gfc_match_data_decl (void)
   if (m != MATCH_YES)
     return m;

-  if (current_ts.type == BT_DERIVED && gfc_current_state () != COMP_DERIVED)
+  if ((current_ts.type == BT_DERIVED || current_ts.type == BT_CLASS)
+      && gfc_current_state () != COMP_DERIVED)
     {
       sym = gfc_use_derived (current_ts.u.derived);

@@ -3771,7 +3772,8 @@ gfc_match_data_decl (void)
       goto cleanup;
     }

-  if (current_ts.type == BT_DERIVED && current_ts.u.derived->components == NULL
+  if ((current_ts.type == BT_DERIVED || current_ts.type == BT_CLASS)
+      && current_ts.u.derived->components == NULL
       && !current_ts.u.derived->attr.zero_comp)
     {

Comment 2 Paul Thomas 2009-10-17 18:09:43 UTC
Subject: Bug 41608

Author: pault
Date: Sat Oct 17 18:09:25 2009
New Revision: 152955

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152955
Log:
2009-10-17  Janus Weil  <janus@gcc.gnu.org>
	    Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/41608
	* decl.c (gfc_match_data_decl): Add BT_CLASS for undefined type
	and empty type errors.
	* parse.c (gfc_build_block_ns): Only set recursive if parent ns
	has a proc_name.

	PR fortran/41629
	PR fortran/41618
	PR fortran/41587
	* gfortran.h : Add class_ok bitfield to symbol_attr.
	* decl.c (build_sym): Set attr.class_ok if dummy, pointer or
	allocatable.
	(build_struct): Use gfc_try 't' to carry errors past the call
	to encapsulate_class_symbol.
	(attr_decl1): For a CLASS object, apply the new attribute to
	the data component.
	* match.c (gfc_match_select_type): Set attr.class_ok for an
	assigned selector.
	* resolve.c (resolve_fl_variable_derived): Check a CLASS object
	is dummy, pointer or allocatable by testing the class_ok and
	the use_assoc attribute.

2009-10-17  Janus Weil  <janus@gcc.gnu.org>
	    Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/41629
	* gfortran.dg/class_6.f90: New test.

	PR fortran/41608
	PR fortran/41587
	* gfortran.dg/class_7.f90: New test.

	PR fortran/41618
	* gfortran.dg/class_8.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/class_6.f03
    trunk/gcc/testsuite/gfortran.dg/class_7.f03
    trunk/gcc/testsuite/gfortran.dg/class_8.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/parse.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog

Comment 3 Paul Thomas 2009-10-18 12:26:50 UTC
Fixed on trunk.

Thanks for the report!

Paul