This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [C++ RFC / Patch] PR 54080, PR 52875 and more (aka SFINAE vs template recursion depth)



Hi,

Florian Weimer <fweimer@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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]