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

[mpolacek at gcc dot gnu.org]

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

--- Comment #11 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Mon Sep  4 11:30:26 2017
New Revision: 251651

URL: https://gcc.gnu.org/viewcvs?rev=251651&root=gcc&view=rev
Log:
        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.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr82072.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/convert.c
    trunk/gcc/testsuite/ChangeLog