PR sanitizer/80800
commit85e093dce4729be9dfb05a1d1e6647955c435a9e
authormpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 May 2017 15:30:54 +0000 (19 15:30 +0000)
committermpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 May 2017 15:30:54 +0000 (19 15:30 +0000)
tree0c42b764c20d321089046e2fa134c11df25dbbdd
parent5407f1e9586754a87fd573259e5550df525f652d
PR sanitizer/80800
* fold-const.c (extract_muldiv_1) <case TRUNC_DIV_EXPR>: Add
TYPE_OVERFLOW_WRAPS checks.

* c-c++-common/ubsan/pr80800.c: New test.
* c-c++-common/Wduplicated-branches-1.c: Adjust an expression.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@248291 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/fold-const.c
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/Wduplicated-branches-1.c
gcc/testsuite/c-c++-common/ubsan/pr80800.c [new file with mode: 0644]