[Bug tree-optimization/56051] Wrong expression evaluation

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-01 14:11:54 UTC ---
Author: jakub
Date: Fri Feb  1 14:11:46 2013
New Revision: 195658

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195658
Log:
    Backported from mainline
    2013-01-21  Jakub Jelinek  <jakub@redhat.com>

    PR tree-optimization/56051
    * fold-const.c (fold_binary_loc): Don't fold
    X < (cast) (1 << Y) into (X >> Y) != 0 if cast is either
    a narrowing conversion, or widening conversion from signed
    to unsigned.

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

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