re PR tree-optimization/53058 (Another ice in remove_range_assertions)
authorJakub Jelinek <jakub@redhat.com>
Wed, 25 Apr 2012 11:35:38 +0000 (13:35 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Wed, 25 Apr 2012 11:35:38 +0000 (13:35 +0200)
commit0ea62d936f1915759660b1a4e6ed124f73ac37ee
tree2c516d8bbd1d94a9cea0ff4574eb770c8f256524
parent228f466fd61238fb74283b6b7d85cba483ce51ef
re PR tree-optimization/53058 (Another ice in remove_range_assertions)

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.

From-SVN: r186816
gcc/ChangeLog
gcc/double-int.c
gcc/double-int.h
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/pr53058.c [new file with mode: 0644]
gcc/tree-vrp.c