This exists in clang for C++ as the statement attribute [[clang::musttail]] and in gcc as [[gnu::musttail]]