[Bug c++/40371] New: ICE with template operator

[Bug c++/40371] New: ICE with template operator

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since at least GCC 2.95.3:

=================================
struct A
{
  typedef void (&F)();
  template<int> operator F();
};

void foo()
{
  A()();
}
=================================

bug.cc: In function 'void foo()':
bug.cc:9:7: internal compiler error: in add_template_candidate_real, at
cp/call.c:2477
Please submit a full bug report, [etc.]


-- 
           Summary: ICE with template operator
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/40371] ICE with template operator

[bangerth at gmail dot com]

------- Comment #1 from bangerth at gmail dot com  2009-08-25 15:35 -------
Confirmed.


-- 

bangerth at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at gmail dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-08-25 15:35:35
               date|                            |


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

[Bug c++/40371] ICE with template operator

[paolo dot carlini at oracle dot com]

-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |paolo dot carlini at oracle
                   |dot org                     |dot com
             Status|NEW                         |ASSIGNED


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

[Bug c++/40371] ICE with template operator

[paolo dot carlini at oracle dot com]

------- Comment #2 from paolo dot carlini at oracle dot com  2009-11-30 18:41 -------
Patch here: http://gcc.gnu.org/ml/gcc-patches/2009-11/msg01729.html


-- 


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

[Bug c++/40371] ICE with template operator

[paolo at gcc dot gnu dot org]

------- Comment #3 from paolo at gcc dot gnu dot org  2009-11-30 22:45 -------
Subject: Bug 40371

Author: paolo
Date: Mon Nov 30 22:45:06 2009
New Revision: 154852

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154852
Log:
cp/
2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/40371
        * call.c (add_template_candidate_real): Early return NULL if
        the arglist length is smaller than skip_without_in_chrg; tidy.

testsuite/
2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/40371
        * g++.dg/template/crash93.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/template/crash93.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/40371] ICE with template operator

[paolo dot carlini at oracle dot com]

------- Comment #4 from paolo dot carlini at oracle dot com  2009-11-30 22:46 -------
Fixed.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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