[Bug tree-optimization/17563] New: [4.0.0 Regression] verify_ssa failed

[mueller at kde dot org]

testcase:  
 
=== cut === 
extern int nx; 
extern int ny; 
 
void breakme() 
{ 
    int* bins[ny][nx]; 
    for ( int i = 0; i < ny ; i++ ) { 
        for ( int j = 0; j < nx; j++ ) 
            bins[i][j] = 0L; 
    } 
} 
=== Cut === 
 error: Definition in block 1 does not dominate use in block 11 
for SSA_NAME: D.1123_44 
in statement: 
ivtmp.18D.1155_39 = &(*bins.2D.1113_32)[iD.1096_1]{lb: 0 sz: D.1123_44 * 4}[0]; 
test.cc:5: internal compiler error: verify_ssa failed. 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: [4.0.0 Regression] verify_ssa failed
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mueller at kde dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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