[Bug sanitizer/102515] UBSAN misses signed division instrumentation

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Btw, clang documents:

-fsanitize=signed-integer-overflow: Signed integer overflow, where the result
of a signed integer computation cannot be represented in its type. This
includes all the checks covered by -ftrapv, as well as checks for signed
division overflow (INT_MIN/-1), 

and restricts divide to divide by zero.