https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100053
--- Comment #12 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:be0093e7273f00fe850578415c0b06bc7dec6dc0 commit r10-9769-gbe0093e7273f00fe850578415c0b06bc7dec6dc0 Author: Richard Biener <rguent...@suse.de> Date: Tue Apr 13 12:05:53 2021 +0200 tree-optimization/100053 - fix predication in VN This avoids doing optimistic dominance queries involving non-executable backedges when validating recorded predicated values in VN because we have no way to force re-evaluating validity when optimistically not executable edges become executable later. 2021-04-13 Richard Biener <rguent...@suse.de> PR tree-optimization/100053 * tree-ssa-sccvn.c (vn_nary_op_get_predicated_value): Do not use optimistic dominance queries for backedges to validate predicated values. (dominated_by_p_w_unex): Add parameter to ignore executable state on backedges. (rpo_elim::eliminate_avail): Adjust. * gcc.dg/torture/pr100053.c: New testcase. * gcc.dg/tree-ssa/ssa-fre-93.c: Likewise. (cherry picked from commit f9810422f6768b914aabfcbffe64f535bdd18452)
