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.
Jason
