[Bug middle-end/67485] expmed.c sanitizer detects overflow

[zeccav at gmail dot com]

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

Vittorio Zecca <zeccav at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|5.2.0                       |7.0

--- Comment #3 from Vittorio Zecca <zeccav at gmail dot com> ---
Still in trunk:

~/1tb/vitti/local/gcc-7-undefined/bin/gcc -S gccerr28.c
/home/vitti/1tb/vitti/test/gcc-trunk-239276/gcc/expmed.c:3115:15: runtime
error: signed integer overflow: -9223372036854775808 - 1 cannot be represented
in type 'long int [3]'

expmed.c:3115 is ""val_so_far -= HOST_WIDE_INT_1 << log;