[Bug tree-optimization/51247] [4.7 Regression] ICE in set_value_range, at tree-vrp.c:417

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-29 
21:03:18 UTC ---
Author: jakub
Date: Tue Nov 29 21:03:09 2011
New Revision: 181818

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181818
Log:
    PR tree-optimization/51247
    * tree-vrp.c (extract_range_from_assert): For signed 1-bit precision
    types instead of adding 1 subtract -1 and instead of subtracting 1
    add -1 to avoid overflows.

    * gcc.c-torture/compile/pr51247.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr51247.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c