> On Dec 9, 2021, at 9:04 AM, Florian Weimer <fweimer@xxxxxxxxxx> wrote: > > If the life-time of the variables whose address has been taken has ended > at the time of the call in a tail position, I expect GCC to turn it into > a tail call (subject to the other constraints mentioned). That’s a very interesting point an I will give it a try. What worries me however is that you say “I expect GCC to turn it into a tail call” and I really need “I guarantee that GCC will turn it into a tail call”. In other words I’m not looking for an optimization that will make the code faster or less memory hungry in certain cases, but rather it is a requirement for the code to be correct (otherwise stack overflows will happen). Marc
