[Bug tree-optimization/53058] [4.8 Regression] Another ice in remove_range_assertions

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-04-25 
11:35:43 UTC ---
Author: jakub
Date: Wed Apr 25 11:35:38 2012
New Revision: 186816

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186816
Log:
    PR tree-optimization/53058
    * double-int.h (double_int_max_value, double_int_min_value): New
    prototypes.
    * double-int.c (double_int_max_value, double_int_min_value): New
    functions.
    * tree-vrp.c (register_edge_assert_for_2): Compare mask
    for LE_EXPR or GT_EXPR with double_int_max_value
    instead of double_int_mask.

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

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr53058.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/double-int.c
    trunk/gcc/double-int.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c