https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115979
--- Comment #3 from Andi Kleen <andi-gcc at firstfloor dot org> --- Doing it in the frontend would require some duplication between C/C++ at least? I was thinking to just keep searching if has_mustail is set, but was wary of endless loops walking single basic block precessors. But I presume if they could happen they could already happen.