[Bug regression/26435] New: ICE with -O1 -ftree-loop-linear and higher optimization

[uttamp at us dot ibm dot com]

Hi, 
Following code gets ICE.

elm3b11:/home/pawar> cat test.c
typedef struct _A2 A2;
struct _A2 {
   int type ;
   int n1 ;
   int n2 ;
   int inc1 ;
   int inc2 ;
   double *entries ;
};


double
A2_infinityNorm (
   A2 *mtx
) {
double norm ;
int ncol, nrow ;

if ( (nrow = mtx->n1) <= 0 || (ncol = mtx->n2) <= 0 ) {
   return(0.0) ;
}

norm = 0.0 ;
if ( ((mtx)->type == 1) ) {
   if ( mtx->inc2 == 1 ) {
      double sum ;
      double *row = mtx->entries ;
      int inc1 = mtx->inc1, irow, jcol ;

      for ( irow = 0 ; irow < nrow ; irow++, row += inc1 ) {
         for ( jcol = 0, sum = 0.0 ; jcol < ncol ; jcol++ ) {
            sum += fabs(row[jcol]) ;
         }
         if ( norm < sum ) {
            norm = sum ;
         }
      }
   }
}
return(norm) ; }

elm3b11:/home/pawar> /opt/gcc-nightly/trunk-20060220/bin/gcc -c -O1
-ftree-loop-linear test.c
test.c: In function ‘A2_infinityNorm’:
test.c:32: warning: incompatible implicit declaration of built-in function
‘fabs’
test.c:15: error: definition in block 19 does not dominate use in block 15
for SSA_NAME: row_27 in statement:
row_38 = PHI <row_27(15), row_18(6)>;
PHI argument
row_27
for PHI node
row_38 = PHI <row_27(15), row_18(6)>;
test.c:15: 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: ICE with -O1 -ftree-loop-linear and higher optimization
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: regression
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uttamp at us dot ibm dot com
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


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