http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56984
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-18
08:02:24 UTC ---
Author: jakub
Date: Thu Apr 18 07:54:58 2013
New Revision: 198051
URL: http://gcc.gnu.org/viewcvs?rev=198051&root=gcc&view=rev
Log:
PR tree-optimization/56984
* tree-vrp.c (register_edge_assert_for_2): For (x >> M) < N
and (x >> M) >= N don't register any assertion if N << M is the
minimum value.
* gcc.c-torture/compile/pr56984.c: New test.
Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr56984.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c
Author: jakub
Date: Thu Apr 18 07:56:03 2013
New Revision: 198052
URL: http://gcc.gnu.org/viewcvs?rev=198052&root=gcc&view=rev
Log:
PR tree-optimization/56984
* tree-vrp.c (register_edge_assert_for_2): For (x >> M) < N
and (x >> M) >= N don't register any assertion if N << M is the
minimum value.
* gcc.c-torture/compile/pr56984.c: New test.
Added:
branches/gcc-4_8-branch/gcc/testsuite/gcc.c-torture/compile/pr56984.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
