[PATCH][C++] PR 65071

[PATCH][C++] PR 65071

[Andrea Azzarone]

Hi all,

this patch try to fix PR c++/65071 (ICE on valid, sizeof...() of
template template parameter pack in return type).

2015-2-18 Andrea Azzarone <azzaronea@gmail.com>
  PR c++/65071
  * gcc/cp/parser.c (cp_parser_sizeof_pack) Also consider template
template parameters.

Thanks.

-- 
Andrea Azzarone

Re: [PATCH][C++] PR 65071

[Andrea Azzarone]

[-- Attachment #1: Type: text/plain, Size: 509 bytes --]

Ops, forgot the diff.

2015-02-18 9:19 GMT+01:00 Andrea Azzarone <azzaronea@gmail.com>:
> Hi all,
>
> this patch try to fix PR c++/65071 (ICE on valid, sizeof...() of
> template template parameter pack in return type).
>
> 2015-2-18 Andrea Azzarone <azzaronea@gmail.com>
>   PR c++/65071
>   * gcc/cp/parser.c (cp_parser_sizeof_pack) Also consider template
> template parameters.
>
> Thanks.
>
> --
> Andrea Azzarone



-- 
Andrea Azzarone
http://launchpad.net/~andyrock
http://wiki.ubuntu.com/AndreaAzzarone

[-- Attachment #2: pr-65071.patch --]
[-- Type: text/x-patch, Size: 998 bytes --]

Index: gcc/cp/parser.c
===================================================================
--- gcc/cp/parser.c	(revision 220698)
+++ gcc/cp/parser.c	(working copy)
@@ -24369,7 +24369,7 @@ cp_parser_sizeof_pack (cp_parser *parser
   if (expr == error_mark_node)
     cp_parser_name_lookup_error (parser, name, expr, NLE_NULL,
 				 token->location);
-  if (TREE_CODE (expr) == TYPE_DECL)
+  if (TREE_CODE (expr) == TYPE_DECL || TREE_CODE (expr) == TEMPLATE_DECL)
     expr = TREE_TYPE (expr);
   else if (TREE_CODE (expr) == CONST_DECL)
     expr = DECL_INITIAL (expr);
Index: gcc/testsuite/g++.dg/cpp0x/vt-65071.C
===================================================================
--- gcc/testsuite/g++.dg/cpp0x/vt-65071.C	(revision 0)
+++ gcc/testsuite/g++.dg/cpp0x/vt-65071.C	(working copy)
@@ -0,0 +1,9 @@
+// PR c++/65071
+// { dg-do compile { target c++11 } }
+
+template<int> struct S {};
+
+template<template<int> class... T, int N>
+S<sizeof...(T)> foo(T<N>...);
+
+auto x = foo(S<2>{});

Re: [PATCH][C++] PR 65071

[Paolo Carlini]

Hi,

I'm going to ping this on behalf of Andrea: the patch seems almost 
obvious to me and so small to not immediately require a copyright 
assignment (not sure whether Andrea already has it on file?!?). I also 
double checked that it still applies cleanly and passes testing.

Thanks,
Paolo.

On 02/18/2015 09:20 AM, Andrea Azzarone wrote:
> Ops, forgot the diff.
>
> 2015-02-18 9:19 GMT+01:00 Andrea Azzarone <azzaronea@gmail.com>:
>> Hi all,
>>
>> this patch try to fix PR c++/65071 (ICE on valid, sizeof...() of
>> template template parameter pack in return type).
>>
>> 2015-2-18 Andrea Azzarone <azzaronea@gmail.com>
>>    PR c++/65071
>>    * gcc/cp/parser.c (cp_parser_sizeof_pack) Also consider template
>> template parameters.
>>
>> Thanks.
>>
>> --
>> Andrea Azzarone
>
>

Re: [PATCH][C++] PR 65071

[Jason Merrill]

On 07/11/2015 03:40 PM, Paolo Carlini wrote:
> I'm going to ping this on behalf of Andrea: the patch seems almost
> obvious to me and so small to not immediately require a copyright
> assignment (not sure whether Andrea already has it on file?!?). I also
> double checked that it still applies cleanly and passes testing.

OK, thanks.

Jason

Re: [PATCH][C++] PR 65071

[Jason Merrill]

On 07/11/2015 03:40 PM, Paolo Carlini wrote:
> I'm going to ping this on behalf of Andrea: the patch seems almost
> obvious to me and so small to not immediately require a copyright
> assignment (not sure whether Andrea already has it on file?!?). I also
> double checked that it still applies cleanly and passes testing.

OK, thanks.

Jason