Re: [C++ Patch] PR 53856

2015-10-05 Thread Jason Merrill
OK. Jason

Re: [C++ Patch] PR 53856

2015-10-05 Thread Paolo Carlini
Hi, On 10/05/2015 07:10 PM, Jason Merrill wrote: On 10/05/2015 12:50 PM, Paolo Carlini wrote: + else if (!current_class_type || CLASSTYPE_IS_TEMPLATE (current_class_type)) +msg = G_("default argument for template parameter for class enclosing %qD"); Why would this be right when !current

Re: [C++ Patch] PR 53856

2015-10-05 Thread Jason Merrill
On 10/05/2015 12:50 PM, Paolo Carlini wrote: + else if (!current_class_type || CLASSTYPE_IS_TEMPLATE (current_class_type)) +msg = G_("default argument for template parameter for class enclosing %qD"); Why would this be right when !current_class_type? Jason

Re: [C++ Patch] PR 53856

2015-10-05 Thread Paolo Carlini
Hi, On 09/24/2015 03:24 PM, Jason Merrill wrote: On 09/22/2015 03:31 PM, Paolo Carlini wrote: msg = G_("default template arguments may not be used in " "partial specializations"); + else if (current_class_type && !CLASSTYPE_IS_TEMPLATE (current_class_type)) +/* Per [temp.p

Re: [C++ Patch] PR 53856

2015-09-24 Thread Jason Merrill
On 09/22/2015 03:31 PM, Paolo Carlini wrote: msg = G_("default template arguments may not be used in " "partial specializations"); + else if (current_class_type && !CLASSTYPE_IS_TEMPLATE (current_class_type)) +/* Per [temp.param]/9, "A default template-argument shall not be

[C++ Patch] PR 53856

2015-09-22 Thread Paolo Carlini
Hi, today I noticed that the accepts-invalid half this bug report is already fixed in 5+, but the rejects-valid second half is still an issue: I think we can easily use CLASSTYPE_IS_TEMPLATE on current_class_type to skip members of non-template classes. Tested x86_64-linux. Thanks, Paolo. /