[Bug middle-end/45262] [4.2/4.3/4.4/4.5/4.6 Regression] Optimization results in wrong result on expression x>>31||(-x)>>31

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2010-08-12 15:25 -------
Subject: Bug 45262

Author: jakub
Date: Thu Aug 12 15:25:08 2010
New Revision: 163194

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=163194
Log:
        PR middle-end/45262
        * fold-const.c (make_range) <case NEGATE_EXPR>: Punt if
        -a overflows.  Normalize the range.

        * gcc.c-torture/execute/pr45262.c: New test.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.c-torture/execute/pr45262.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/fold-const.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45262