[Bug c++/57471] New: [C++11] Bizarre error for template parameter pack

[Bug c++/57471] New: [C++11] Bizarre error for template parameter pack

[ai.azuma at gmail dot com]

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

            Bug ID: 57471
           Summary: [C++11] Bizarre error for template parameter pack
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ai.azuma at gmail dot com

Created attachment 30226
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30226&action=edit
Output of -v option and preprocessed source

GCC 4.9.0 20130526 rejects the following valid code.

//-----------------------------------------
struct A
{
  static constexpr bool value = true;
};

template<typename... Types>
struct B
{
  static_assert(A::value, "");
  static_assert(sizeof...(Types) == 0, "");
};
//-----------------------------------------

The error message is;

main.cpp:10:27: error: 'A::Types' has not been declared
   static_assert(sizeof...(Types) == 0, "");
                           ^

The above code successfully compiles with 4.7.4 20130525 and 4.8.1 20130523.

[Bug c++/57471] [4.9 Regression] Bizarre error for template parameter pack

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-06-03
            Summary|[C++11] Bizarre error for   |[4.9 Regression] Bizarre
                   |template parameter pack     |error for template
                   |                            |parameter pack
     Ever confirmed|0                           |1

[Bug c++/57471] [4.9 Regression] Bizarre error for template parameter pack

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Regressed withe the fix for PR c++/56679.

[Bug c++/57471] [4.9 Regression] Bizarre error for template parameter pack

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

[Bug c++/57471] [4.9 Regression] Bizarre error for template parameter pack

[ppluzhnikov at gcc dot gnu.org]

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

--- Comment #3 from ppluzhnikov at gcc dot gnu.org ---
Author: ppluzhnikov
Date: Thu Jan  2 19:29:57 2014
New Revision: 206285

URL: http://gcc.gnu.org/viewcvs?rev=206285&root=gcc&view=rev
Log:
For Google b/11970432, backport r200852 to fix PR57471.

  2013-07-09  Jason Merrill  <jason@redhat.com>

       PR c++/57471
       * parser.c (cp_parser_sizeof_pack): Clear parser scopes.


Added:
    branches/google/gcc-4_8/gcc/testsuite/g++.dg/cpp0x/variadic-sizeof2.C
Modified:
    branches/google/gcc-4_8/gcc/cp/parser.c