https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121971
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Guess we want a [[shouldtail]] where not tail-calling is OK semantically but highly desireable for performance. [[musttail]] is like [[always_inline]], it's considered wrong-code when not possible. OTOH this means just do not use [[musttail]] for performance only.
