Comment by omginternets

>As far as I understand it, this limitation is also the only thing preventing tail-call elimination in C/C++.

At the risk of introducing a tangent, can someone explain how compilers detect tail recursion? This is still a complete mystery to me.