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)

Reply via email to