Re: [PATCH] Remove follow_assert_exprs from overflow_comparison.

2022-11-23 Thread Richard Biener via Gcc-patches
On Tue, Nov 22, 2022 at 2:58 PM Aldy Hernandez wrote: > > OK pending tests? OK > gcc/ChangeLog: > > * tree-vrp.cc (overflow_comparison_p_1): Remove follow_assert_exprs. > (overflow_comparison_p): Remove use_equiv_p. > * tree-vrp.h (overflow_comparison_p): Same. >

[PATCH] Remove follow_assert_exprs from overflow_comparison.

2022-11-22 Thread Aldy Hernandez via Gcc-patches
OK pending tests? gcc/ChangeLog: * tree-vrp.cc (overflow_comparison_p_1): Remove follow_assert_exprs. (overflow_comparison_p): Remove use_equiv_p. * tree-vrp.h (overflow_comparison_p): Same. * vr-values.cc (vrp_evaluate_conditional_warnv_with_ops): Remove u