https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82158
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Falling off a noreturn function sounds like it could be another case to insert __builtin_trap (), as we do in various cases of undefined behavior.