https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63879
--- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Wed Nov 19 12:03:04 2014 New Revision: 217766 URL: https://gcc.gnu.org/viewcvs?rev=217766&root=gcc&view=rev Log: PR sanitizer/63879 * fold-const.c (negate_expr_p) <case NEGATE_EXPR>: Return !TYPE_OVERFLOW_SANITIZED. (fold_negate_expr) <case INTEGER_CST>: Fold when overflow does not trap and when overflow wraps, or when SANITIZE_SI_OVERFLOW is 0. * c-c++-common/ubsan/pr63879-1.c: New test. * c-c++-common/ubsan/pr63879-2.c: New test. Added: trunk/gcc/testsuite/c-c++-common/ubsan/pr63879-1.c trunk/gcc/testsuite/c-c++-common/ubsan/pr63879-2.c Modified: trunk/gcc/ChangeLog trunk/gcc/fold-const.c trunk/gcc/testsuite/ChangeLog
