https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- ubsan already handles that in c-family/c-ubsan.c (ubsan_instrument_division). But we don't have an ifn for that. And it is not covered by -fsanitize=signed-integer-overflow but -fsanitize=integer-divide-by-zero, although both are under -fsanitize=undefined.
