Re: [RFC] PR 50837

2011-11-09 Thread Jason Merrill
OK. And yes, we ought to fix that "cannot convert" error since often that's not the problem. Jason

Re: [RFC] PR 50837

2011-11-09 Thread Paolo Carlini
On 11/10/2011 02:12 AM, Jason Merrill wrote: On 11/09/2011 07:56 PM, Paolo Carlini wrote: - /*allow_non_integral_constant_expression_p=*/false, + /*allow_non_integral_constant_expression_p=*/true, This should be (cxx_dialect >= cxx0x) rather than true.

Re: [RFC] PR 50837

2011-11-09 Thread Jason Merrill
On 11/09/2011 07:56 PM, Paolo Carlini wrote: - /*allow_non_integral_constant_expression_p=*/false, + /*allow_non_integral_constant_expression_p=*/true, This should be (cxx_dialect >= cxx0x) rather than true. Jason

Re: [RFC] PR 50837

2011-11-09 Thread Paolo Carlini
On 11/10/2011 01:43 AM, Jason Merrill wrote: On 11/09/2011 05:45 PM, Paolo Carlini wrote: finish_id_expression is called from cp_parser_primary_expression with a true allow_non_integral_constant_expression_p and the error doesn't occur. Yes, allow_non_integral_constant_expression_p should alwa

Re: [RFC] PR 50837

2011-11-09 Thread Jason Merrill
On 11/09/2011 05:45 PM, Paolo Carlini wrote: finish_id_expression is called from cp_parser_primary_expression with a true allow_non_integral_constant_expression_p and the error doesn't occur. Yes, allow_non_integral_constant_expression_p should always be true in C++11. Jason

[RFC] PR 50837

2011-11-09 Thread Paolo Carlini
Hi, I'm trying to make progress on this issue which I find rather embarrassing in terms of simple uses of constexpr functions and static_assert. We reject, at instantiation time: template struct z { static constexpr bool test_constexpr() { return true; } static void test() { static_assert(te