[Bug c++/38634] New: ICE with wrong number of template parameters

[Bug c++/38634] New: ICE with wrong number of template parameters

[reichelt at gcc dot gnu dot org]

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

========================================
template<int> struct A
{
  A();
};

template<int N, char> A<N>::A()
{
  struct B {};
}

A<0> a;
========================================

bug.cc:6: error: got 2 template parameters for 'A<<anonymous> >::A()'
bug.cc:6: error:   but 1 required
bug.cc: In constructor 'A<<anonymous> >::A() [with int <anonymous> = 0]':
bug.cc:11:   instantiated from here
bug.cc:8: internal compiler error: tree check: accessed elt 2 of tree_vec with
1 elts in tsubst, at cp/pt.c:9048
Please submit a full bug report, [etc.]


-- 
           Summary: ICE with wrong number of template parameters
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, 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=38634

[Bug c++/38634] ICE with wrong number of template parameters

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-12-26 22:25 -------
This only ICEs with checking turned on now.

Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-checking
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-26 22:25:12
               date|                            |


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

[Bug c++/38634] ICE with wrong number of template parameters

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-03 22:50:12 UTC ---
This doesn't ICE anymore in mainline and 4_6-branch, and I would be tempted to
close it, but I notice that the error message is now quite different, it talks
about incompleteness and line 1 also appears:

38634.C:6:31: error: invalid use of incomplete type ‘struct A<N>’
38634.C:1:22: error: declaration of ‘struct A<N>’

Is it good enough?

[Bug c++/38634] ICE with wrong number of template parameters

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-03 23:39:02 UTC ---
(In reply to comment #2)

No, that's a regression in diagnostic quality.

[Bug c++/38634] ICE with wrong number of template parameters

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|error-recovery,             |diagnostic
                   |ice-checking,               |
                   |ice-on-invalid-code         |

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-04 12:02:42 UTC ---
Thanks Jason. Let's recategorize it a bit, then.

[Bug c++/38634] ICE with wrong number of template parameters

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|gcc-bugs at gcc dot gnu.org,       |
                   |jason at gcc dot gnu.org           |
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
On it.

[Bug c++/38634] ICE with wrong number of template parameters

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.9.0.