[Bug tree-optimization/57083] [4.8/4.9 Regression] Wrong constant folding

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-29 08:34:32 UTC ---
Author: jakub
Date: Mon Apr 29 07:55:09 2013
New Revision: 198388

URL: http://gcc.gnu.org/viewcvs?rev=198388&root=gcc&view=rev
Log:
    PR tree-optimization/57083
    * tree-vrp.c (extract_range_from_binary_expr_1): For LSHIFT_EXPR with
    non-singleton shift count range, zero extend low_bound for uns case.

    * gcc.dg/torture/pr57083.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr57083.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c

Author: jakub
Date: Mon Apr 29 07:57:02 2013
New Revision: 198389

URL: http://gcc.gnu.org/viewcvs?rev=198389&root=gcc&view=rev
Log:
    PR tree-optimization/57083
    * tree-vrp.c (extract_range_from_binary_expr_1): For LSHIFT_EXPR with
    non-singleton shift count range, zero extend low_bound for uns case.

    * gcc.dg/torture/pr57083.c: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/torture/pr57083.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_8-branch/gcc/tree-vrp.c