Re: [C++ Patch] PR 53624

2012-07-30 Thread Jason Merrill
OK. Jason

Re: [C++ Patch] PR 53624

2012-07-30 Thread Paolo Carlini
On 07/31/2012 12:42 AM, Jason Merrill wrote: On 07/30/2012 06:26 PM, Paolo Carlini wrote: + if ((cxx_dialect == cxx98) + || (TREE_CODE (decl) != FUNCTION_DECL && is_primary)) We shouldn't do this check for non-primary templates in C++98 mode, either. Yes. Thus the below also passes tes

Re: [C++ Patch] PR 53624

2012-07-30 Thread Jason Merrill
On 07/30/2012 06:26 PM, Paolo Carlini wrote: + if ((cxx_dialect == cxx98) + || (TREE_CODE (decl) != FUNCTION_DECL && is_primary)) We shouldn't do this check for non-primary templates in C++98 mode, either. Jason

Re: [C++ Patch] PR 53624

2012-07-30 Thread Paolo Carlini
Hi, On 07/30/2012 10:10 PM, Jason Merrill wrote: On 07/28/2012 11:28 AM, Paolo Carlini wrote: as the testcase shows (merge of 53624 & 54104), in case of local types (possibly synthesized for a lambda) we check for the default template arguments of the synthesized template parameters according t

Re: [C++ Patch] PR 53624

2012-07-30 Thread Jason Merrill
On 07/28/2012 11:28 AM, Paolo Carlini wrote: as the testcase shows (merge of 53624 & 54104), in case of local types (possibly synthesized for a lambda) we check for the default template arguments of the synthesized template parameters according to the rules for *types* (instead of those for funct

[C++ Patch] PR 53624

2012-07-28 Thread Paolo Carlini
Hi, as the testcase shows (merge of 53624 & 54104), in case of local types (possibly synthesized for a lambda) we check for the default template arguments of the synthesized template parameters according to the rules for *types* (instead of those for functions) and we spuriously reject. As fa