[Bug c++/33509] New: [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[Bug c++/33509] New: [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[jakub at gcc dot gnu dot org]

See http://gcc.gnu.org/ml/gcc-patches/2007-09/msg01600.html

template<int M, int N> struct pair
{
  int i, j;
  pair() : i(M), j(N) {}
};

template<int... M> struct S
{
  template<int... N> static int foo() throw (pair <M, N>...)
  {
    return 1;
  }
};

int bar ()
{
  return S<0, 1, 2>::foo<0, 1> ();
}

ICEs in tsubst_exception_specification, tsubst_pack_expansion can return
here either TREE_VEC (handled), error_mark_node (not handled and should be)
or TYPE_PACK_EXPANSION (also needs handling).

Additionally, tsubst_pack_expansion return value needs checking for
error_mark_node rather than assuming it returns TREE_VEC in
regenerate_decl_from_template and tsubst_initializer_list.


-- 
           Summary: [4.3 Regression] tsubst_pack_expansion assumed to return
                    TREE_VEC
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jakub at gcc dot gnu dot org


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[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=33509

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-11-23 05:50 -------
The regression here is an error recovery issue.

Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |error-recovery
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-23 05:50:01
               date|                            |


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[pinskia at gcc dot gnu dot org]

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

Thanks,
Andrew Pinski


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[dgregor at gcc dot gnu dot org]

------- Comment #3 from dgregor at gcc dot gnu dot org  2007-12-04 20:49 -------
Subject: Bug 33509

Author: dgregor
Date: Tue Dec  4 20:49:08 2007
New Revision: 130605

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130605
Log:
2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>

       PR c++/33509
       * pt.c (tsubst_exception_specification): Handle substitutions into
       member templates, where tsubst_pack_expansion returns a
       TYPE_PACK_EXPANSION.

2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>

       PR c++/33509
       * g++.dg/cpp0x/variadic-throw.C: New.

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


-- 


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[dgregor at gcc dot gnu dot org]

------- Comment #4 from dgregor at gcc dot gnu dot org  2007-12-04 20:52 -------
Fixed on mainline


-- 

dgregor at gcc dot gnu dot org changed:

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


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