Re: [RFC / RFH] Re-opened C++/51213 (access control under SFINAE)

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,

On 08/02/2012 05:33 PM, Jason Merrill wrote:
> On 08/01/2012 02:57 PM, Paolo Carlini wrote:
> > So, it is possible that when spec != NULL_TREE and we are once more in a
> > SFINAE context, we have to actually call perform_deferred_access_checks
> > (complain) and either return error_mark_node or the spec depending on
> > the return value?
>
> I don't think we need to redo the access check in SFINAE context; we 
> know that there's an error, so we can just return error_mark_node in 
> that case.  I guess we should change the name of 
> FNDECL_RECHECK_ACCESS_P to something like FNDECL_HAS_ACCESS_ERRORS to 
> make it clearer.
Ah, very well, everything makes sense now. Thus I'm finishing testing 
the below (already past the C++ testsuite), Ok if it passes?

Thanks,
Paolo.

///////////////////////

Attachment: CL_51213_again
Description: Text document

Attachment: patch_51213_again
Description: Text document