re PR sanitizer/80800 (UBSAN: yet another false positive)
authorMarek Polacek <polacek@redhat.com>
Fri, 19 May 2017 15:30:54 +0000 (15:30 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Fri, 19 May 2017 15:30:54 +0000 (15:30 +0000)
commit33f8c0a14da482bc7884e5f663615a3d7fd08cff
tree0c42b764c20d321089046e2fa134c11df25dbbdd
parentff50231797977a56a0d256db645f1e004c6acf00
re PR sanitizer/80800 (UBSAN: yet another false positive)

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.

From-SVN: r248291
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]