Re: [RFH / Patch] PR 54191

2012-08-08 Thread Paolo Carlini
On 08/08/2012 01:57 PM, Paolo Carlini wrote: this also triggers the static_assert. Really, in 'decltype(B{declvalFrom()})' almost *everything* is Ok between the curly brackets. Maybe we should have a separate PR for this. And I think this issue is addressed by the ongoing work on instantiation

Re: [RFH / Patch] PR 54191

2012-08-08 Thread Paolo Carlini
On 08/08/2012 02:47 PM, Paolo Carlini wrote: On 08/08/2012 01:57 PM, Paolo Carlini wrote: this also triggers the static_assert. Really, in 'decltype(B{declvalFrom()})' almost *everything* is Ok between the curly brackets. Maybe we should have a separate PR for this. And I think this issue is

Re: [RFH / Patch] PR 54191

2012-08-08 Thread Paolo Carlini
On 08/08/2012 02:47 PM, Paolo Carlini wrote: AFAICS, the most uncertain case is the conditional operator test, otherwise we could split the PR. Turned out to be really trivial: a missing check for error_mark_node in build_conditional_expr_1. I'll send in a separate message a complete

[RFH / Patch] PR 54191

2012-08-07 Thread Paolo Carlini
Hi, this is an update on C++/54191, where in a number of cases, having to do with inaccessible bases, we don't handle correctly access control under SFINAE. The attached draft patch p fixes a number of tests (and passes regression testing), where we are currently emitting inaccessible base