[Bug rtl-optimization/23857] [4.1 Regression] ICE: verify_flow_info failed - too many outgoing branch edges

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-09-16 17:01 -------
Not being a C++ fan, I reduced it to this C test case: 
================================== 
extern int *F2 (void) __attribute__ ((__const__)); 
 
void 
S4 (int *i) 
{ 
  int *D2171; 
 
  D2171 = F2 (); 
 
L0: 
  *D2171 = 62; 
  if (*i != 0) goto L0; else goto L2; 
 
L2: 
  return; 
} 
================================== 
 
$ ./cc1 -O2 -fsched-stalled-insns=5 -fsched2-use-superblocks 
-funroll-all-loops t.c -fdump-tree-vars -fno-tree-ch 
 S4 
Analyzing compilation unitPerforming intraprocedural optimizations 
Assembling functions: 
 S4 
t.c: In function 'S4': 
t.c:16: error: too many outgoing branch edges from bb 7 
t.c:16: error: too many outgoing branch edges from bb 6 
t.c:16: error: too many outgoing branch edges from bb 5 
t.c:16: error: too many outgoing branch edges from bb 4 
t.c:16: error: too many outgoing branch edges from bb 3 
t.c:16: internal compiler error: verify_flow_info failed 
 
 

-- 


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