[Bug c++/34060] [4.3 regression] ICE with invalid specialization of variadic template

[Bug c++/34060] [4.3 regression] ICE with invalid specialization of variadic template

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

[Bug c++/34060] New: [4.3 regression] ICE with invalid specialization of variadic template

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE on mainline:

==================================================
template<int> struct A
{
  template<typename...> struct B {};

  template<typename...T> struct B<int,T*> {};
};

A<0>::B<int> b;
==================================================

bug.cc:5: error: parameter packs not expanded with `...':
bug.cc:5: note:         'T'
bug.cc:5: error: template parameters not used in partial specialization:
bug.cc:5: error:         'T'
bug.cc:8: internal compiler error: tree check: expected tree_vec, have
error_mark in get_innermost_template_args, at cp/pt.c:514
Please submit a full bug report, [etc.]

The testcase didn't crash before 2007-11-03, so it's probably fallout from
http://gcc.gnu.org/ml/gcc-cvs/2007-11/msg00120.html


-- 
           Summary: [4.3 regression] ICE with invalid specialization of
                    variadic template
           Product: gcc
           Version: 4.3.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=34060

[Bug c++/34060] [4.3 regression] ICE with invalid specialization of variadic template

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2007-11-13 13:44 -------
Testing a fix.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-13 13:44:56
               date|                            |


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

[Bug c++/34060] [4.3 regression] ICE with invalid specialization of variadic template

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2007-11-13 18:27 -------
Subject: Bug 34060

Author: jakub
Date: Tue Nov 13 18:27:09 2007
New Revision: 130152

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130152
Log:
        PR c++/34054
        PR c++/34056
        PR c++/34057
        PR c++/34058
        PR c++/34060
        * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
        set to error_mark_node the outermost POINTER_TYPE to the pack if
        it is seen in a POINTER_TYPE.
        (push_template_decl_real): If check_for_bare_parameter_packs
        fails for function return type, set the return type to
        integer_type_node.  If check_for_bare_parameter_packs failed
        for non-function, return error_mark_node.

        * g++.dg/parse/crash36.C: Add another dg-error.
        * g++.dg/cpp0x/pr34054.C: New test.
        * g++.dg/cpp0x/pr34056.C: New test.
        * g++.dg/cpp0x/pr34057.C: New test.
        * g++.dg/cpp0x/pr34058.C: New test.
        * g++.dg/cpp0x/pr34060.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr34054.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr34056.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr34057.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr34058.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr34060.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/parse/crash36.C


-- 


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

[Bug c++/34060] [4.3 regression] ICE with invalid specialization of variadic template

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2007-11-13 18:30 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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