https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63459
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #2) > I wonder if we can fold this earlier, for instance FRE1 has all info to do > the job, too. Note that this is also done in fold-const.c (tree_expr_nonzero_warnv_p). The move to Richard's combiner may automatically make it fold earlier, though I am not sure how recursive predicates will look like there.
