[Bug fortran/45916] New: [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[Bug fortran/45916] New: [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

           Summary: [4.6 regression] ICE in match_procedure_in_type, at
                    fortran/decl.c:7921
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: mikael@gcc.gnu.org


Reported by Dominique at http://gcc.gnu.org/ml/fortran/2010-10/msg00076.html

testcases are the ones from PR43199, 43896 and pr41951. 
They are huge unfortunately.

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

--- Comment #1 from Mikael Morin <mikael at gcc dot gnu.org> 2010-10-06 19:29:01 UTC ---
regressing commit http://gcc.gnu.org/viewcvs?view=revision&revision=165026

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

--- Comment #2 from Mikael Morin <mikael at gcc dot gnu.org> 2010-10-06 20:45:53 UTC ---
Reduced testcase:

module m_sort
  implicit none
  type, abstract :: sort_t
  contains
    generic :: operator(.gt.) => gt_cmp
    procedure(gt_cmp), deferred :: gt_cmp
  end type sort_t
end module m_sort

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

Mikael Morin <mikael at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.10.06 20:48:10
     Ever Confirmed|0                           |1

--- Comment #3 from Mikael Morin <mikael at gcc dot gnu.org> 2010-10-06 20:48:10 UTC ---
Ahem.
OK. I didn't even read the comment.

      /* See if we already have a binding with this name in the symtree which
     would be an error.  If a GENERIC already targetted this binding, it may
     be already there but then typebound is still NULL.  */

A NULL is expected. I will revert.

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[kargl at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kargl at gcc dot gnu.org

--- Comment #4 from kargl at gcc dot gnu.org 2010-10-06 21:07:28 UTC ---
(In reply to comment #3)
> Ahem.
> OK. I didn't even read the comment.
> 
>       /* See if we already have a binding with this name in the symtree which
>      would be an error.  If a GENERIC already targetted this binding, it may
>      be already there but then typebound is still NULL.  */
> 
> A NULL is expected. I will revert.

Please add your reduced testcase to ensure
that future changes don't brek this. 

Thanks.

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

--- Comment #5 from Mikael Morin <mikael at gcc dot gnu.org> 2010-10-07 10:47:02 UTC ---
Author: mikael
Date: Thu Oct  7 10:46:58 2010
New Revision: 165089

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165089
Log:
2010-10-07  Mikael Morin  <mikael@gcc.gnu.org>

    PR fortran/45916
    Revert revision 165026:
    2010-10-06  Mikael Morin  <mikael@gcc.gnu.org>

    * decl.c (match_procedure_in_type): Assertify if conditions.

2010-10-07  Mikael Morin  <mikael@gcc.gnu.org>

    PR fortran/45916
    * gfortran.dg/generic_typebound_operator_1.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/generic_typebound_operator_1.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/45916] [4.6 regression] ICE in match_procedure_in_type, at fortran/decl.c:7921

[mikael at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45916

Mikael Morin <mikael at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #6 from Mikael Morin <mikael at gcc dot gnu.org> 2010-10-07 10:59:09 UTC ---
Fixed