[Bug c++/58743] New: [C++11] parameter packs not expanded with '...'

[Bug c++/58743] New: [C++11] parameter packs not expanded with '...'

[ghartshaw at gmail dot com]

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

            Bug ID: 58743
           Summary: [C++11] parameter packs not expanded with '...'
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ghartshaw at gmail dot com

Created attachment 31015
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31015&action=edit
Compiliation error messages.

The following test case gives an "parameter packs not expanded with '...'"
error where it should not:

$ cat error_example.cpp
struct tensor {
    constexpr tensor( int value ) : _value( value ) {}
    template <int... Indices> constexpr int value() const { return _value; }
private:
    int _value;
};

template <typename T> struct printer {
    static int get( T const & tensor ) { return detail<>::get( tensor ); }
private:
    template <int... Indices> struct detail {
        static int get( T const & tensor ) { return tensor.value<Indices...>();
}
    };
};

int main() {
    printer<tensor>::get( tensor<int>(1) );
}
$ g++-4.9 --version
g++-4.9 (GCC) 4.9.0 20131015 (experimental)
$ g++-4.9 -std=c++11 -Wall -Wextra error_example.cpp -save-temps -v
2>output.txt

[Bug c++/58743] [C++11] parameter packs not expanded with '...'

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ghartshaw at gmail dot com         |

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Not having spent yet any time on this, I doubt it's valid, for example current
clang and icc also reject it.

[Bug c++/58743] [C++11] parameter packs not expanded with '...'

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Closing then. Thanks Daniel.