[Bug c++/57673] New: pack sizeof ... groups ellipsis with preceding expression

[Bug c++/57673] New: pack sizeof ... groups ellipsis with preceding expression

[potswa at mac dot com]

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

            Bug ID: 57673
           Summary: pack sizeof ... groups ellipsis with preceding
                    expression
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: potswa at mac dot com

In this example, template g compiles without issue but each member in d chokes
the parser. The only difference is grouping parentheses, which shouldn't be
significant.

There may be more than one issue. A left paren seems to get the parser into a
good state to accept sizeof ... , but it starts in a bad state at the beginning
of an initializer, and seeing a qualified-id puts it into a bad state.
(Reversing the order of subexpressions and writing ( sizeof ... ( p ) - i::m )
does not produce an error.)


struct i { static constexpr int m = 5; };

template< int ... p >
struct g {
    static constexpr int m = i::m - ( sizeof ... ( p ) );
    int n = ( sizeof ... ( p ) );
};

template< int ... p >
struct d {
    static constexpr int m = ( i::m - sizeof ... ( p ) );
    int n = sizeof ... ( p );
};

[Bug c++/57673] pack sizeof ... groups ellipsis with preceding expression

[potswa at mac dot com]

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

--- Comment #1 from David Krauss <potswa at mac dot com> ---
Oops, g::m does not need to be static constexpr to produce an error; the
specifiers should be removed to produce a minimal test.

[Bug c++/57673] pack sizeof ... groups ellipsis with preceding expression

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-07-30
     Ever confirmed|0                           |1

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
With current mainline and 4_8-branch, I can only reproduce the problem with
d::n, not that with d::m. g is in any case fine.

[Bug c++/57673] pack sizeof ... groups ellipsis with preceding expression

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com
   Target Milestone|---                         |4.9.0

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/57673] pack sizeof ... groups ellipsis with preceding expression

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.9.0.

[Bug c++/57673] pack sizeof ... groups ellipsis with preceding expression

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nmm1 at cam dot ac.uk

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
*** Bug 58037 has been marked as a duplicate of this bug. ***