public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack
@ 2013-02-22 17:53 jason at gcc dot gnu.org
  2013-02-25 19:48 ` [Bug c++/56427] " jason at gcc dot gnu.org
                   ` (8 more replies)
  0 siblings, 9 replies; 10+ messages in thread
From: jason at gcc dot gnu.org @ 2013-02-22 17:53 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 56427
           Summary: [C++11] template template parameter template parameter
                    pack that depends on another parameter pack
    Classification: Unclassified
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jason@gcc.gnu.org
                CC: chris.fairles@gmail.com, dgregor@gcc.gnu.org,
                    ismail@donmez.ws, jason@gcc.gnu.org,
                    reichelt@gcc.gnu.org
        Depends on: 54440, 35022


+++ This bug was initially created as a clone of Bug #35022 +++

This code snippet should be accepted:

  template<typename... T, template<T...> class X> void foo(X<0>);

but it fails with

  sorry, unimplemented: use of ‘type_pack_expansion’ in template

This is related to bug 54440.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
@ 2013-02-25 19:48 ` jason at gcc dot gnu.org
  2014-02-26 17:10 ` jason at gcc dot gnu.org
                   ` (7 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jason at gcc dot gnu.org @ 2013-02-25 19:48 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|4.3.0                       |4.8.0

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> 2013-02-25 19:48:18 UTC ---
More testcase:

template<typename... T, template<T...> class X> void foo(X<0>);
template<typename... T, template<T> class... X> void bar(X<0>...);

template <int I> struct A { };
template <unsigned U> struct B { };

int main()
{
  foo<int>(A<0>());
  bar<int,unsigned>(A<0>(),B<0>());
}


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
  2013-02-25 19:48 ` [Bug c++/56427] " jason at gcc dot gnu.org
@ 2014-02-26 17:10 ` jason at gcc dot gnu.org
  2014-04-22 11:38 ` jakub at gcc dot gnu.org
                   ` (6 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jason at gcc dot gnu.org @ 2014-02-26 17:10 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427
Bug 56427 depends on bug 54440, which changed state.

Bug 54440 Summary: [c++11] g++ prematurely applying rule that a template parameter pack cannot be followed by a template parameter
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54440

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


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
  2013-02-25 19:48 ` [Bug c++/56427] " jason at gcc dot gnu.org
  2014-02-26 17:10 ` jason at gcc dot gnu.org
@ 2014-04-22 11:38 ` jakub at gcc dot gnu.org
  2014-07-16 13:29 ` jakub at gcc dot gnu.org
                   ` (5 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-04-22 11:38 UTC (permalink / raw)
  To: gcc-bugs

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.0                       |4.9.1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.0 has been released


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2014-04-22 11:38 ` jakub at gcc dot gnu.org
@ 2014-07-16 13:29 ` jakub at gcc dot gnu.org
  2014-10-30 10:40 ` jakub at gcc dot gnu.org
                   ` (4 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-07-16 13:29 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.1                       |4.9.2

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.1 has been released.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (3 preceding siblings ...)
  2014-07-16 13:29 ` jakub at gcc dot gnu.org
@ 2014-10-30 10:40 ` jakub at gcc dot gnu.org
  2015-06-26 20:16 ` jakub at gcc dot gnu.org
                   ` (3 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-10-30 10:40 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.2                       |4.9.3

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.2 has been released.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (4 preceding siblings ...)
  2014-10-30 10:40 ` jakub at gcc dot gnu.org
@ 2015-06-26 20:16 ` jakub at gcc dot gnu.org
  2015-06-26 20:38 ` jakub at gcc dot gnu.org
                   ` (2 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-06-26 20:16 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.3 has been released.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (5 preceding siblings ...)
  2015-06-26 20:16 ` jakub at gcc dot gnu.org
@ 2015-06-26 20:38 ` jakub at gcc dot gnu.org
  2021-08-02  3:38 ` pinskia at gcc dot gnu.org
  2024-05-01 20:41 ` jason at gcc dot gnu.org
  8 siblings, 0 replies; 10+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-06-26 20:38 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.3                       |4.9.4


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (6 preceding siblings ...)
  2015-06-26 20:38 ` jakub at gcc dot gnu.org
@ 2021-08-02  3:38 ` pinskia at gcc dot gnu.org
  2024-05-01 20:41 ` jason at gcc dot gnu.org
  8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-02  3:38 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2013-07-25 00:00:00         |2021-8-1

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
GCC, ICC and MSVC all rejects this.
Clang accepts this.

^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/56427] [C++11] template template parameter template parameter pack that depends on another parameter pack
  2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
                   ` (7 preceding siblings ...)
  2021-08-02  3:38 ` pinskia at gcc dot gnu.org
@ 2024-05-01 20:41 ` jason at gcc dot gnu.org
  8 siblings, 0 replies; 10+ messages in thread
From: jason at gcc dot gnu.org @ 2024-05-01 20:41 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56427
Bug 56427 depends on bug 114377, which changed state.

Bug 114377 Summary: [13 Regression] GCC crashes on an example of CTAD for alias templates
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114377

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

^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2024-05-01 20:41 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-02-22 17:53 [Bug c++/56427] New: [C++11] template template parameter template parameter pack that depends on another parameter pack jason at gcc dot gnu.org
2013-02-25 19:48 ` [Bug c++/56427] " jason at gcc dot gnu.org
2014-02-26 17:10 ` jason at gcc dot gnu.org
2014-04-22 11:38 ` jakub at gcc dot gnu.org
2014-07-16 13:29 ` jakub at gcc dot gnu.org
2014-10-30 10:40 ` jakub at gcc dot gnu.org
2015-06-26 20:16 ` jakub at gcc dot gnu.org
2015-06-26 20:38 ` jakub at gcc dot gnu.org
2021-08-02  3:38 ` pinskia at gcc dot gnu.org
2024-05-01 20:41 ` jason at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).