projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e93bfd2) | patch
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
tree6fbf7804f5e6f760444f547ffee26aa86028134btree
parente93bfd2de58609270d56730eeae9d31ec994aebacommit | diff
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 diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/torture/pr86554-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/torture/pr86554-2.c [new file with mode: 0644] blob
gcc/tree-ssa-sccvn.c diff | blob | history