PR sanitizer/87837
commit3ff1e878a4dbfbd39678527d001ac54050d83853
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2018 10:27:13 +0000 (5 10:27 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2018 10:27:13 +0000 (5 10:27 +0000)
treeaeee249157fa691b135dac0bdb407aec0dd219fb
parentfba369f315b5ed28a1c4c26c8187b8de27308810
PR sanitizer/87837
* match.pd (X + Y < X): Don't optimize if TYPE_OVERFLOW_SANITIZED.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@265793 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/pr87837.c [new file with mode: 0644]