https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100405
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
That is already supported with -fsanitize-undefined-trap-on-error
-fsanitize=unreachable or -fsanitize=unreachable.
It isn't always the best choice though, e.g. for functions with switches or ifs
where the compiler can't prove it doesn't fallthru into end of function but the
user is certain, having __builtin_trap or __ubsan_handle_builtin_unreachable is
certainly more expensive than __builtin_unreachable.
