- raise (Error (GotoCantFindLabel (s, pinfo_of_ii ii)))
- in
- (* !g +> add_arc_opt (starti, ilabel);
- * todo: special_case: suppose that always goto to toplevel of function,
- * hence the Common.init
- * todo?: can perhaps report when a goto is not a classic error_goto ?
- * that is when it does not jump to the toplevel of the function.
- *)
- let newi = insert_all_braces (Common.list_init xi.braces) newi in
- !g#add_arc ((newi, ilabel), Direct);
- None
-
- | Jump (Ast_c.GotoComputed e) ->
+ raise (Error (GotoCantFindLabel (s, pinfo_of_ii ii)))
+ in
+ (* !g +> add_arc_opt (starti, ilabel);
+ * todo: special_case: suppose that always goto to toplevel of
+ * function, hence the Common.init
+ * todo?: can perhaps report when a goto is not a classic error_goto ?
+ * that is when it does not jump to the toplevel of the function.
+ *)
+ let newi = insert_all_braces (Common.list_init xi.braces) newi in
+ !g#add_arc ((newi, ilabel), Direct);
+ None
+ end
+
+ | Jump (Ast_c.GotoComputed e) ->