[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 #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Nov  5 14:11:32 2018
New Revision: 265806

URL: https://gcc.gnu.org/viewcvs?rev=265806&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:
    branches/gcc-8-branch/gcc/testsuite/c-c++-common/ubsan/pr87837.c
Modified:
    branches/gcc-8-branch/gcc/ChangeLog
    branches/gcc-8-branch/gcc/match.pd
    branches/gcc-8-branch/gcc/testsuite/ChangeLog