<div dir="ltr"><div>Hello,</div><div><br></div><div>Could anyone kindly explain to me why the 'g()' in the following function cannot have tail call optimization?</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="color:rgb(0,0,0);background-color:rgb(255,255,254);font-family:"Consolas, ""><div><span style="color:rgb(0,0,255)">void</span><span style="color:rgb(0,0,0)"> f(</span><span style="color:rgb(0,0,255)">int</span><span style="color:rgb(0,0,0)">* x);</span></div><div><span style="color:rgb(0,0,255)">void</span><span style="color:rgb(0,0,0)"> g();</span></div><div><span style="color:rgb(0,0,255)">void</span><span style="color:rgb(0,0,0)"> h(</span><span style="color:rgb(0,0,255)">int</span><span style="color:rgb(0,0,0)"> v) {</span></div><div><span style="color:rgb(0,0,0)">   f(&v);</span></div><div><span style="color:rgb(0,0,0)">   g();</span></div><div><span style="color:rgb(0,0,0)">}</span></div></div></div></blockquote><div><div>A while ago I was taught that tail call optimization cannot apply if local variables needs to be kept alive, but 'g()' doesn't seem to require anything to be alive on the stack.</div><div>I tried to manually add 'tail' to the emitted LLVM IR and it appears to work. <br></div><div><br></div><div>Any idea how I could fix this and let clang automatically generate tail call?</div><div><br></div><div>Thanks!</div><div><br></div><div>Best,</div><div>Haoran<br></div></div></div>