ahatanak added a comment. That's correct. Preventing tail call on a best effort basis is good enough for the use cases we care about. I'll update the langref to clarify that. http://reviews.llvm.org/D12923