On 08/09/2013 08:43 AM, Paolo Carlini wrote:
Yes, that is intended. Changing that could mean that the meaning of
code depends on what max depth the user selected.
Indeed. Yesterday I wondered what would happen if the front-end had a way to detect, in
some very specific and special cases only of course, really infinite recursions, in the
sense that no increase in the depth would "cure" them. Would it be ok in that
case to sfinae away?
Eh, hopefully not. Otherwise, program behavior would depend on how well
the compiler solves the halting problem.
It's interesting question, but hopefully we can make all errors due to
exceeded implementation limits hard errors, not subject to SFINAE.
--
Florian Weimer / Red Hat Product Security Team
