https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108867
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Yeah, IIRC -Wmissing-noreturn/-Wsuggest-attribute=noreturn work on a function that we have the implementation of, whereas I'm interested in handling the case where we *don't* have the source. If code paths after such a function tend to show UB based on something that was checked in a condition guarding the call to such a function and doesn't happen on the other path, then maybe such a function isn't meant to return. Perhaps if the function name contains the string "error", "fail" or "assert" with some capitalization also??? (ugly, I know)