[Bug middle-end/56956] [4.9 Regression] ftrapv traps on valid abs-like code

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |5.3.0
            Summary|[4.9/5 Regression] ftrapv   |[4.9 Regression] ftrapv
                   |traps on valid abs-like     |traps on valid abs-like
                   |code                        |code
      Known to fail|                            |5.2.0

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Nov 23 08:32:28 2015
New Revision: 230736

URL: https://gcc.gnu.org/viewcvs?rev=230736&root=gcc&view=rev
Log:
2015-11-23  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2015-10-29  Richard Biener  <rguenther@suse.de>

        PR middle-end/56956
        * fold-const.c (fold_cond_expr_with_comparison): Do not fold
        unsigned conditonal negation to ABS_EXPR.

        * c-c++-common/ubsan/pr56956.c: New testcase.

Added:
    branches/gcc-5-branch/gcc/testsuite/c-c++-common/ubsan/pr56956.c
Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/fold-const.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog