[Bug sanitizer/87837] [8/9 Regression] -O2 -fsanitize=signed-integer-overflow misses overflows on x86-64

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Nov  5 10:27:13 2018
New Revision: 265793

URL: https://gcc.gnu.org/viewcvs?rev=265793&root=gcc&view=rev
Log:
        PR sanitizer/87837
        * match.pd (X + Y < X): Don't optimize if TYPE_OVERFLOW_SANITIZED.

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

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr87837.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog