[Bug tree-optimization/52255] [4.7 Regression] ICE: verify_ssa failed, block does not dominate use

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52255

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-16 10:20:33 UTC ---
Author: jakub
Date: Thu Feb 16 10:20:26 2012
New Revision: 184306

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184306
Log:
    PR tree-optimization/52255
    * tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge): If
    loop->header has virtual PHI, but exit_e->dest doesn't, add
    virtual PHI to exit_e->dest and adjust all uses after the loop.

    * gcc.c-torture/compile/pr52255.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr52255.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop-manip.c