[Bug c++/53862] New: [GCC 4.7.1] sorry, unimplemented: use of 'type_pack_expansion' in template

[Bug c++/53862] New: [GCC 4.7.1] sorry, unimplemented: use of 'type_pack_expansion' in template

[likan_999.student at sina dot com]

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

             Bug #: 53862
           Summary: [GCC 4.7.1] sorry, unimplemented: use of
                    'type_pack_expansion' in template
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: likan_999.student@sina.com


The following code is complained by gcc 4.7.1:

[hidden]$ cat c.cpp 
#include <type_traits>

using namespace std;

template <size_t N, typename... Args>
void f(Args...) {}

template <size_t N, typename T, typename... Args>
typename enable_if<is_scalar<T>::value, void>::type f(T, Args...) {}

int main() {
    f<1>(1);
}

[hidden]$ g++ -std=gnu++11 c.cpp 
c.cpp: In function 'int main()':
c.cpp:12:11: sorry, unimplemented: use of 'type_pack_expansion' in template


All "Possible Duplicates" shown to me are in "RESOLVED FIXED" status, but
sorry, looks like not fixed yet.  This needs to get some attention otherwise
this long standing bugs won't be fixed soon.

[Bug c++/53862] [GCC 4.7.1] sorry, unimplemented: use of 'type_pack_expansion' in template

[likan_999.student at sina dot com]

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

Ke Liu <likan_999.student at sina dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |critical

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[GCC 4.7.1] sorry,          |[C++11] sorry,
                   |unimplemented: use of       |unimplemented: use of
                   |'type_pack_expansion' in    |'type_pack_expansion' in
                   |template                    |template
           Severity|critical                    |normal

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[likan_999.student at sina dot com]

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

--- Comment #1 from Ke Liu <likan_999.student at sina dot com> 2012-07-05 09:08:44 UTC ---
BTW: this piece of code can be compiled successfully by clang++

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[likan_999.student at sina dot com]

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

--- Comment #2 from Ke Liu <likan_999.student at sina dot com> 2012-07-05 09:10:04 UTC ---
Any work around is welcome.

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[daniel.kruegler at googlemail dot com]

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

Daniel Krügler <daniel.kruegler at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler at
                   |                            |googlemail dot com

--- Comment #3 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-07-05 09:47:01 UTC ---
The problem also exists for gcc 4.8.0 20120624 (experimental)

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-05
     Ever Confirmed|0                           |1

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-05 09:48:33 UTC ---
It compiles OK if you just change f(Args...) to f(Args&&...)


Reduced to remove header (and C++11) dependencies:

typedef unsigned long size_t;

template<typename> struct is_scalar { static const bool value = true; };
template<bool, typename T> struct enable_if { typedef T type; };

template <size_t N, typename... Args>
void f(Args...) {}

template <size_t N, typename T, typename... Args>
typename enable_if<is_scalar<T>::value, void>::type f(T, Args...) {}

int main() {
    f<1>(1);
}

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-06 13:46:40 UTC ---
*** Bug 53873 has been marked as a duplicate of this bug. ***

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-06 13:49:30 UTC ---
Let's add Jason in CC.

[Bug c++/53862] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-06 15:45:15 UTC ---
Author: jason
Date: Fri Jul  6 15:45:10 2012
New Revision: 189334

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189334
Log:
    PR c++/53862
    * pt.c (tsubst_arg_types): Add "end" parameter.
    (check_undeduced_parms): Use it.

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

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|NEW                         |ASSIGNED
   Target Milestone|---                         |4.6.4
            Summary|[C++11] sorry,              |[4.6/4.7 regression]
                   |unimplemented: use of       |[C++11] sorry,
                   |'type_pack_expansion' in    |unimplemented: use of
                   |template                    |'type_pack_expansion' in
                   |                            |template

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-06 15:46:12 UTC ---
This is a regression from 4.4.  Fixed on trunk.

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|NEW                         |ASSIGNED
   Target Milestone|---                         |4.6.4
            Summary|[C++11] sorry,              |[4.6/4.7 regression]
                   |unimplemented: use of       |[C++11] sorry,
                   |'type_pack_expansion' in    |unimplemented: use of
                   |template                    |'type_pack_expansion' in
                   |                            |template

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-06 15:45:15 UTC ---
Author: jason
Date: Fri Jul  6 15:45:10 2012
New Revision: 189334

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189334
Log:
    PR c++/53862
    * pt.c (tsubst_arg_types): Add "end" parameter.
    (check_undeduced_parms): Use it.

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-06 15:46:12 UTC ---
This is a regression from 4.4.  Fixed on trunk.

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-29 20:17:26 UTC ---
Author: jason
Date: Thu Nov 29 20:17:02 2012
New Revision: 193956

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193956
Log:
    PR c++/53862
    * pt.c (tsubst_arg_types): Add "end" parameter.
    (check_undeduced_parms): Use it.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/variadic134.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/pt.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

--- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-29 21:58:22 UTC ---
Author: jason
Date: Thu Nov 29 21:58:16 2012
New Revision: 193970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193970
Log:
    PR c++/53862
    * pt.c (tsubst_arg_types): Add "end" parameter.
    (check_undeduced_parms): Use it.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/variadic134.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/pt.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/53862] [4.6/4.7 regression] [C++11] sorry, unimplemented: use of 'type_pack_expansion' in template

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-29 22:07:18 UTC ---
Fixed for 4.6.4.