https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121159
--- Comment #15 from Lukas Grätz <lukas.gra...@tu-darmstadt.de> --- Thank you very much, this solves finally solves the problem I had in Bug 111786, after I gave up hoping for this! Only one picky remark: The bogus error message reported in the present issue has not been changed. Although it now only is a debugging message, please also change maybe_complain_about_tail_call (exp, _("volatile function type")); to maybe_complain_about_tail_call (exp, _("noreturn function and no musttail attribute")); This should fully address the present issue.