https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88397
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- > noreturn See the FIXME right above it: /* FIXME: logically, noreturn attributes should be listed as "false, true, true" and apply to function types. But implementing this would require all the places in the compiler that use TREE_THIS_VOLATILE on a decl to identify non-returning functions to be located and fixed to check the function type instead. */