https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114097
--- Comment #4 from Petr Skocik <pskocik at gmail dot com> --- Excellent! Thank you very much. Didn't realize the functionality was already there, but didn't work without an explicit __attribute((noreturn)). Now I can get rid of my most complex assembly function which I stupidly (back then I thought cleverly) wrote. :)