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.
