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

Tue Jan 20 11:21:00 GMT 2004

------- Additional Comments From steven at gcc dot gnu dot org  2004-01-20 11:21 -------
Not sure, but I'd say all gotos to labels in the same function context 
are simple gotos. 
 
	* tree-cfg.c (simple_goto_p):  
 
Index: tree-cfg.c 
=================================================================== 
RCS file: /cvs/gcc/gcc/gcc/Attic/tree-cfg.c,v 
retrieving revision 1.1.4.261 
diff -c -3 -p -r1.1.4.261 tree-cfg.c 
*** tree-cfg.c  20 Jan 2004 11:17:44 -0000      1.1.4.261 
--- tree-cfg.c  20 Jan 2004 11:18:26 -0000 
*************** simple_goto_p (tree expr) 
*** 2197,2203 **** 
  { 
    return  (TREE_CODE (expr) == GOTO_EXPR 
           && TREE_CODE (GOTO_DESTINATION (expr)) == LABEL_DECL 
-          && ! NONLOCAL_LABEL (GOTO_DESTINATION (expr)) 
           && (decl_function_context (GOTO_DESTINATION (expr)) 
               == current_function_decl)); 
  } 
--- 2197,2202 ---- 

-- 


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