http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54083
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-09-04
Ever Confirmed|0 |1
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-09-04
11:10:11 UTC ---
The failing test has been introduced by
Author: rguenth
Date: Fri Jul 13 11:21:39 2012
New Revision: 189461
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189461
Log:
2012-07-13 Richard Guenther <rguent...@suse.de>
PR tree-optimization/53922
* tree-vrp.c (value_inside_range): Change prototype to take
min/max instead of value-range.
(range_includes_zero_p): Likewise. Return the result from
value_inside_range.
(extract_range_from_binary_expr_1): Adjust to handle dont-know
return value from range_includes_zero_p.
(extract_range_from_unary_expr_1): Likewise.
(compare_range_with_value): Likewise.
(vrp_meet_1): Likewise.
* gcc.dg/torture/pr53922.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.dg/torture/pr53922.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c
