[Bug c++/39639] New: no diagnostic for ill-formed pack expansion

[Bug c++/39639] New: no diagnostic for ill-formed pack expansion

[sebor at roguewave dot com]

gcc 4.3.2 and a recent pull of 4.4 accept the following (presumably) ill-formed
program:

$ cat t.C && g++ -v && g++ -std=c++0x t.C && ./a.out
#include <cstdio>

template <class... Types>
struct S: S<...Types>, S<...Types...>, S<...>
{
    static const char* f () { return __PRETTY_FUNCTION__; }
};

int main ()
{
    std::puts (S<void>::f ());
}
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /home/sebor/gcc/trunk/configure
--prefix=/build/sebor/bin/gcc-4.4.0 --enable-languages=c,c++
--with-mpfr=/usr/local/mpfr-2.3.1
Thread model: posix
gcc version 4.4.0 20081105 (experimental) (GCC) 
static const char* S<Types>::f() [with Types = void]


-- 
           Summary: no diagnostic for ill-formed pack expansion
           Product: gcc
           Version: 4.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sebor at roguewave dot com


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[dodji at gcc dot gnu dot org]

------- Comment #1 from dodji at gcc dot gnu dot org  2009-04-09 14:59 -------
Confirmed in trunk.


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dodji at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-04-09 14:59:43
               date|                            |


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[dodji at gcc dot gnu dot org]

------- Comment #2 from dodji at gcc dot gnu dot org  2009-04-22 19:13 -------
Subject: Bug 39639

Author: dodji
Date: Wed Apr 22 19:13:40 2009
New Revision: 146608

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146608
Log:
2009-04-22  Dodji Seketeli  <dodji@redhat.com>

    gcc/cp/ChangeLog:
        PR c++/39639
        * parser.c (cp_parser_template_argument_list): Display an error
        when an ellipsis is not preceded by a parameter pack. Also, warn
        about variadic templates usage without -std=c++0x.

    gcc/testsuite/ChangeLog:
        PR c++/39639
        * g++.dg/cpp0x/pr39639.C: New test.


Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/cpp0x/pr39639.C
Modified:
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/parser.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[dodji at gcc dot gnu dot org]

------- Comment #3 from dodji at gcc dot gnu dot org  2009-04-22 19:16 -------
Subject: Bug 39639

Author: dodji
Date: Wed Apr 22 19:16:13 2009
New Revision: 146609

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146609
Log:
2009-04-22  Dodji Seketeli  <dodji@redhat.com>

    gcc/cp/ChangeLog:
        PR c++/39639
        * parser.c (cp_parser_template_argument_list): Display an error
        when an ellipsis is not preceded by a parameter pack. Also, warn
        about variadic templates usage without -std=c++0x.

    gcc/testsuite/ChangeLog:
        PR c++/39639
        * g++.dg/cpp0x/pr39639.C: New test.


Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/pr39639.C
Modified:
    branches/gcc-4_4-branch/gcc/cp/ChangeLog
    branches/gcc-4_4-branch/gcc/cp/parser.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[dodji at gcc dot gnu dot org]

------- Comment #4 from dodji at gcc dot gnu dot org  2009-04-22 19:17 -------
Subject: Bug 39639

Author: dodji
Date: Wed Apr 22 19:17:18 2009
New Revision: 146610

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146610
Log:
2009-04-22  Dodji Seketeli  <dodji@redhat.com>

    gcc/cp/ChangeLog:
        PR c++/39639
        * parser.c (cp_parser_template_argument_list): Display an error
        when an ellipsis is not preceded by a parameter pack. Also, warn
        about variadic templates usage without -std=c++0x.

    gcc/testsuite/ChangeLog:
        PR c++/39639
        * g++.dg/cpp0x/pr39639.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr39639.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[dodji at gcc dot gnu dot org]

------- Comment #5 from dodji at gcc dot gnu dot org  2009-04-22 19:21 -------
Fixed in 4.3, 4.4 and 4.5.


-- 

dodji at gcc dot gnu dot org changed:

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


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2009-05-05 21:19 -------
*** Bug 36740 has been marked as a duplicate of this bug. ***


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |abarbati at iaanus dot com


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

[Bug c++/39639] no diagnostic for ill-formed pack expansion

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.4


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