https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86554
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Jan 8 13:05:47 2019 New Revision: 267725 URL: https://gcc.gnu.org/viewcvs?rev=267725&root=gcc&view=rev Log: 2019-01-08 Richard Biener <rguent...@suse.de> PR tree-optimization/86554 * tree-ssa-sccvn.c (eliminate_dom_walker, rpo_elim, rpo_avail): Move earlier. (visit_nary_op): When value-numbering to expressions with different overflow behavior make sure there's an available expression on the path. * gcc.dg/torture/pr86554-1.c: New testcase. * gcc.dg/torture/pr86554-2.c: Likewise. Added: trunk/gcc/testsuite/gcc.dg/torture/pr86554-1.c trunk/gcc/testsuite/gcc.dg/torture/pr86554-2.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-sccvn.c