[Bug rtl-optimization/16586] [3.3/3.4 Regression] -O3 -fno-gcse ICE verify_local_live_at_start flow.c:575

["bangerth at dealii dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From bangerth at dealii dot org  2004-07-16 13:38 -------
Confirmed. In fact, with the following snippet I can also crash 3.4, so 
it doesn't seem to be fixed there but only papered over: 
---------------- 
struct Ptrs { 
    int (*ptr1)(int offset); 
    int (*ptr2)(); 
} * ptrs; 
static int ** state; 
 
int foo(int stackIndex) { 
  int *p; 
  int sz; 
  int objOop; 
  int i; 
  int **pp; 
  ptrs->ptr1(stackIndex); 
  if (ptrs->ptr2()) { 
    return 0; 
  } 
  if (!((ptrs->ptr2()) == 0)) { 
    return 0; 
  } 
  sz = ptrs->ptr2(); 
  if (sz > 1)  
    return 0; 
        
  pp = state; 
  for (i = 0; i <= sz-1; ++i) { 
    objOop = ptrs->ptr1(0); 
    if (!ptrs->ptr2()) 
      return 0;	 
                
    *p = objOop; 
    pp[i] = p; 
  } 
} 
-------------------------- 
 
g/x> /home/bangerth/bin/gcc-3.3.4-pre/bin/gcc -O3 -c -fno-gcse x.i  
x.i: In function `foo': 
x.i:33: internal compiler error: in verify_local_live_at_start, at flow.c:575 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
g/x>  
g/x> /home/bangerth/bin/gcc-3.4-pre/bin/gcc -O3 -c -fno-gcse x.i  
x.i: In function `foo': 
x.i:33: internal compiler error: in verify_local_live_at_start, at flow.c:546 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to work|3.4.0 3.5.0 3.0.4           |3.5.0 3.0.4
   Last reconfirmed|0000-00-00 00:00:00         |2004-07-16 13:38:19
               date|                            |
            Summary|[3.3 Regression] -O3 -fno-  |[3.3/3.4 Regression] -O3 -
                   |gcse ICE                    |fno-gcse ICE
                   |verify_local_live_at_start  |verify_local_live_at_start
                   |flow.c:575                  |flow.c:575


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