re PR tree-optimization/71039 (ICE: verify_ssa failed (error: definition in block...
authorRichard Biener <rguenther@suse.de>
Tue, 10 May 2016 13:13:59 +0000 (13:13 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 10 May 2016 13:13:59 +0000 (13:13 +0000)
commit4a3255dd4328cf6f3eaf4cb8c8f825d215a5ecdf
tree7a0578cfb6e314726995d9350cdc7840b57cbe1e
parent77a87b2a0e5fb069107479d1e2bd3efafd6bd3ab
re PR tree-optimization/71039 (ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 5) w/ -O1 and above)

2016-05-10  Richard Biener  <rguenther@suse.de>

PR tree-optimization/71039
* tree-ssa-phiprop.c: Include tree-ssa-loop.h.
(chk_uses): New function.
(propagate_with_phi): Verify we can safely replicate the lhs of an
aggregate assignment on all incoming edges.

* gcc.dg/torture/pr71039.c: New testcase.

From-SVN: r236079
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr71039.c [new file with mode: 0644]
gcc/tree-ssa-phiprop.c