re PR sanitizer/82072 (sanitizer does not detect an overflow from LLONG_MIN)
authorMarek Polacek <polacek@redhat.com>
Mon, 4 Sep 2017 11:30:26 +0000 (11:30 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Mon, 4 Sep 2017 11:30:26 +0000 (11:30 +0000)
commit8d2b48ae9f3e1e70dfe2aaf32abb9e74594b8875
tree9b9eb5195184349428955b9bc16261b81fef83bb
parente910a9b11a04d37e2a9a92dd2bc39097728f132c
re PR sanitizer/82072 (sanitizer does not detect an overflow from LLONG_MIN)

PR sanitizer/82072
* convert.c (do_narrow): When sanitizing signed integer overflows,
bail out for signed types.
(convert_to_integer_1) <case NEGATE_EXPR>: Likewise.

* c-c++-common/ubsan/pr82072.c: New test.

From-SVN: r251651
gcc/ChangeLog
gcc/convert.c
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/pr82072.c [new file with mode: 0644]