[Bug c++/34050] New: [4.3 regression] ICE derived classes and variadic templates

[Bug c++/34050] New: [4.3 regression] ICE derived classes and variadic templates

[reichelt at gcc dot gnu dot org]

The following code snippet triggers an ICE on mainline:

===========================================
struct A {};

template<typename... T> struct B : T...
{
  B() : T()... {}
};

B<A> b;
===========================================

bug.cc: In constructor 'B<T>::B() [with T = A]':
bug.cc:8:   instantiated from here
bug.cc:5: internal compiler error: tree check: expected tree_list, have
void_type in tsubst_initializer_list, at cp/pt.c:14981
Please submit a full bug report, [etc.]

I guess, the code is invalid, but I'm not sure.


-- 
           Summary: [4.3 regression] ICE derived classes and variadic
                    templates
           Product: gcc
           Version: 4.3.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=34050

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[steven at gcc dot gnu dot org]

------- Comment #1 from steven at gcc dot gnu dot org  2007-11-10 17:23 -------
How can this be a regression? Support variadic templates did not exist in
previous releases.


-- 


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2007-11-10 19:30 -------
> How can this be a regression? Support variadic templates did not exist in
> previous releases.

The C++ frontend shouldn't crash with any input, even with line-noise.
It didn't crash with this input in previous releases, but now it crashes
(even without the "-std=gnu++0x" switch). That's a regression.


-- 


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-11-19 05:53 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-19 05:53:40
               date|                            |


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-12-02 20:54 -------
Mark, this is really only an error recovery regression. Can you relook at the
current priority?

Thanks,
Andrew Pinski

t1.cc:4: error: ISO C++ does not include variadic templates
t1.cc: In constructor 'B<T>::B() [with T = A]':
t1.cc:9:   instantiated from here
t1.cc:6: internal compiler error: tree check: expected tree_list, have
void_type in tsubst_initializer_list, at cp/pt.c:15017
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org
           Keywords|                            |error-recovery


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[dgregor at gcc dot gnu dot org]

------- Comment #5 from dgregor at gcc dot gnu dot org  2008-01-15 16:40 -------
This is an ice-on-valid, so it should probably be a P2.


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dgregor at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
           Keywords|ice-on-invalid-code         |ice-on-valid-code
   Last reconfirmed|2007-11-19 05:53:40         |2008-01-15 16:40:16
               date|                            |


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2008-01-15 19:19 -------
(In reply to comment #5)
> This is an ice-on-valid, so it should probably be a P2.

Well it is both depending on -std= settings.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2008-01-21 02:03 -------
I agree that this should be a P2.  I had misunderstood Andrew's earlier comment
to mean that we always got a valid error message before the ICE.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P4                          |P2


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-01-30 16:58 -------
The ice-on-valid is not a regression though (it only happens with -std=c++0x
which is new).  P4 again.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[andreasmeier80 at gmx dot de]

------- Comment #9 from andreasmeier80 at gmx dot de  2008-02-15 01:20 -------
Patch at http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00520.html


-- 

andreasmeier80 at gmx dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andreasmeier80 at gmx dot de


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[mmitchel at gcc dot gnu dot org]

------- Comment #10 from mmitchel at gcc dot gnu dot org  2008-02-15 02:59 -------
This patch is OK.


-- 


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[dgregor at gcc dot gnu dot org]

------- Comment #11 from dgregor at gcc dot gnu dot org  2008-02-15 03:10 -------
Subject: Bug 34050

Author: dgregor
Date: Fri Feb 15 03:09:18 2008
New Revision: 132331

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132331
Log:
2008-02-14  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/34050
        * pt.c (tsubst_initializer_list): Deal with the use of
        VOID_TYPE_NODE to indicate value-initialization of the bases.


2008-02-14  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/34050
        * g++.dg/cpp0x/vt-34050.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/vt-34050.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/34050] [4.3 regression] ICE derived classes and variadic templates

[dgregor at gcc dot gnu dot org]

------- Comment #12 from dgregor at gcc dot gnu dot org  2008-02-15 03:10 -------
Thanks, Mark! Fixed on mainline.


-- 

dgregor at gcc dot gnu dot org changed:

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


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