https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79828
--- Comment #2 from Arnd Bergmann <arnd at linaro dot org> --- (In reply to Richard Biener from comment #1) > Note such warning in the middle-end has the chance of false > positives from (for example) path isolation. Would it be possible to warn if a function always traps? The kernel function that found this does not get inlined and has only one return statement, which never gets reached.
