http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53922
--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-13 11:21:45 UTC --- 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