[Bug middle-end/13767] New: [tree-ssa] ICE in verify_flow_info

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

static int b, c = 1; 
 
int main (void) 
{ 
  __label__ L1; 
 
  void t (int *a) 
  { 
    *a = 0; 
    goto L1; 
  } 
 
  b = 1; 
  if (!c) 
    goto L1; 
 
  t (&b); 
  abort (); 
 
L1: 
  if (b != 0) 
    abort (); 
  return 0; 
} 
 
$ gcc-ssa f.c -O 
f.c: In function `main': 
f.c:4: error: Fallthru edge after a control statement in bb 1 
f.c:4: error: Wrong outgoing edge flags at end of bb 1 
f.c:4: internal compiler error: verify_flow_info failed 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: [tree-ssa] ICE in verify_flow_info
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: steven at gcc dot gnu dot org
                CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot
                    org


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