[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:48:00 GMT 2017


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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
But that's only a half of the problem here, for

  i = -lmin;

we produce

  i = (int) -(unsigned int) lmin;

thus again hiding that overflow.


More information about the Gcc-bugs mailing list