Hi,
Florian Weimer <fwei...@redhat.com> ha scritto: >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. I see. You know, I was trying to figure out the logic other compilers - two of them, actually - are following, because the really appear to sfinae away infinite recursions. Was trying to imagine cases in which it would be safe. Paolo
