[Bug sanitizer/82072] sanitizer does not detect an overflow from LLONG_MIN

mpolacek at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Sep 1 14:30:00 GMT 2017


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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #2)
> This is the effect of premature optimization in convert.c, perhaps for
> -fsanitize=signed-integer-overflow we should punt in do_narrow if the
> argument type is signed.

This was my first idea too.  I'll send a patch for that.


More information about the Gcc-bugs mailing list