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