[Bug tree-optimization/71039] [7 Regression] ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 5) w/ -O1 and above

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71039

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue May 10 13:13:59 2016
New Revision: 236079

URL: https://gcc.gnu.org/viewcvs?rev=236079&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr71039.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-phiprop.c