re PR middle-end/86554 (Incorrect code generation with signed/unsigned comparison)
authorRichard Biener <rguenther@suse.de>
Tue, 8 Jan 2019 13:05:47 +0000 (13:05 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 8 Jan 2019 13:05:47 +0000 (13:05 +0000)
commite5ab5ae072f7555eb8019c16cb394c18b88b5dc2
tree6fbf7804f5e6f760444f547ffee26aa86028134b
parente93bfd2de58609270d56730eeae9d31ec994aeba
re PR middle-end/86554 (Incorrect code generation with signed/unsigned comparison)

2019-01-08  Richard Biener  <rguenther@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.

From-SVN: r267725
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr86554-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/torture/pr86554-2.c [new file with mode: 0644]
gcc/tree-ssa-sccvn.c