> The Gambit Scheme->C compiler has an option to generate more efficient > code if it knows that all tail and sibling calls in the generated C > code will be optimized. If gcc does not, however, optimize a tail or > sibling call, the generated C code may be incorrect (depending on > circumstances).
clang supports a musttail attribute that you use in return statements. But AFAIK GCC doesn't support it. It would be nice if it did.