[Bug sanitizer/80800] UBSAN: yet another false positive

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80800

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Fri May 19 15:30:54 2017
New Revision: 248291

URL: https://gcc.gnu.org/viewcvs?rev=248291&root=gcc&view=rev
Log:
        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.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr80800.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/c-c++-common/Wduplicated-branches-1.c