https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82062
--- Comment #2 from rguenther at suse dot de <rguenther at suse dot de> --- On Fri, 1 Sep 2017, mpolacek at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82062 > > --- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- > So do we want to add this folding to match.pd? Ideally we'd move fold_cond_expr_with_comparison there, combining it with operand_equal_for_comparison_p. Not sure how this ends up as patterns. At least fold_cond_expr_with_comparison in isolation looks straight-forward to convert (minus the usual STRIP_NOPs complication involving conditional converts and constants)