https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31130
--- Comment #28 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu May 4 07:29:55 2017 New Revision: 247578 URL: https://gcc.gnu.org/viewcvs?rev=247578&root=gcc&view=rev Log: 2017-05-04 Richard Biener <rguent...@suse.de> PR tree-optimization/31130 * tree-vrp.c (needs_overflow_infinity): Remove as always returning false. (supports_overflow_infinity): Likewise. (is_negative_overflow_infinity): Likewise. (is_positive_overflow_infinity): Likewise. (is_overflow_infinity): Likewise. (stmt_overflow_infinity): Likewise. (overflow_infinity_range_p): Likewise. (usable_range_p): Remove as always returning true. (make_overflow_infinity): Remove. (negative_overflow_infinity): Likewise. (positive_overflow_infinity): Likewise. (avoid_overflow_infinity): Likewise. (set_value_range): Adjust accordingly. (set_value_range_to_nonnegative): Likewise, remove now unused overflow_infinity arg. (vrp_operand_equal_p): Adjust. (update_value_range): Likewise. (range_int_cst_singleton_p): Likewise. (operand_less_p): Likewise. (compare_values_warnv): Likewise. (extract_range_for_var_from_comparison_expr): Likewise. (vrp_int_const_binop): Likewise. (zero_nonzero_bits_from_vr): Likewise. (extract_range_from_multiplicative_op_1): Likewise. (extract_range_from_binary_expr_1): Likewise. (extract_range_from_unary_expr): Likewise. (extract_range_from_comparison): Likewise. (extract_range_basic): Likewise. (adjust_range_with_scev): Likewise. (compare_ranges): Likewise. (compare_range_with_value): Likewise. (dump_value_range): Likewise. (test_for_singularity): Likewise, remove strict_overflow_p parameter never used. (simplify_cond_using_ranges): Adjust. * gcc.dg/Wstrict-overflow-12.c: XFAIL. * gcc.dg/Wstrict-overflow-13.c: Likewise. * gcc.dg/Wstrict-overflow-21.c: Likewise. * gcc.dg/pr52904.c: Remove XFAIL. * gcc.dg/tree-ssa/vrp114.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp114.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-12.c trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-13.c trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-21.c trunk/gcc/testsuite/gcc.dg/pr52904.c trunk/gcc/tree-vrp.c