projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6db6445) | patch
re PR sanitizer/87837 (-O2 -fsanitize=signed-integer-overflow misses overflows on...
authorJakub Jelinek <jakub@redhat.com>
Mon, 5 Nov 2018 10:27:13 +0000 (11:27 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Mon, 5 Nov 2018 10:27:13 +0000 (11:27 +0100)
commitcbd429001f3a6c2338c695cc71a28cd8320e3bd2
treeaeee249157fa691b135dac0bdb407aec0dd219fbtree | snapshot
parent6db6445e1b3f57e61db66dfe5b6b19013f4f5f49commit | diff
re PR sanitizer/87837 (-O2 -fsanitize=signed-integer-overflow misses overflows on x86-64)

PR sanitizer/87837
* match.pd (X + Y < X): Don't optimize if TYPE_OVERFLOW_SANITIZED.

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

From-SVN: r265793
gcc/ChangeLog diff | blob | history
gcc/match.pd diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/c-c++-common/ubsan/pr87837.c [new file with mode: 0644] blob
Domain: System / Toolchain;