[Bug tree-optimization/57517] [4.7/4.8/4.9 Regression] internal compiler error: in eliminate_temp_copies, at tree-predcom.c:1913

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-10-30
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot 
gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

> ./f951  -quiet t.f90 -O3  
t.f90: In function 'cal_helicity':
t.f90:1:0: error: definition in block 9 does not dominate use in block 35
 SUBROUTINE cal_helicity (uh, ph, phb, ht, ims, ime, jms, jme, kms, kme,  &
 ^
for SSA_NAME: D_lsm0.70_121 in statement:
D_lsm0.70_120 = PHI <_314(33), D_lsm0.70_121(35)>
PHI argument
D_lsm0.70_121
for PHI node
D_lsm0.70_120 = PHI <_314(33), D_lsm0.70_121(35)>
t.f90:1:0: internal compiler error: verify_ssa failed
0xe45652 verify_ssa(bool)
        /space/rguenther/src/svn/trunk/gcc/tree-ssa.c:1194
0xd9b5f8 verify_loop_closed_ssa(bool)
        /space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:590
0xd9bcd9 gimple_duplicate_loop_to_header_edge(loop*, edge_def*, unsigned int,
simple_bitmap_def*, edge_def*, vec<edge_def*, va_heap, vl_ptr>*, int)
        /space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:761
0xd9cd38 tree_transform_and_unroll_loop(loop*, unsigned int, edge_def*,
tree_niter_desc*, void (*)(loop*, void*), void*)
        /space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:1179
0xcf0bc6 tree_predictive_commoning_loop
        /space/rguenther/src/svn/trunk/gcc/tree-predcom.c:2520

gone latent on the trunk for me, still broken on the 4.8 branch.

I will have a look.