parsing_c/control_flow_c_build.mli

   1
   2 val ast_to_control_flow : Ast_c.toplevel -> Control_flow_c.cflow option
   3
   4 val deadcode_detection : Control_flow_c.cflow -> unit
   5 val check_control_flow : Control_flow_c.cflow -> unit
   6
   7 val annotate_loop_nodes : Control_flow_c.cflow -> Control_flow_c.cflow
   8
   9 type error =
  10   | DeadCode          of Common.parse_info option
  11   | CaseNoSwitch      of Common.parse_info
  12   | OnlyBreakInSwitch of Common.parse_info
  13   | WeirdSwitch       of Common.parse_info
  14   | NoEnclosingLoop   of Common.parse_info
  15   | GotoCantFindLabel of string * Common.parse_info
  16   | NoExit of Common.parse_info
  17   | DuplicatedLabel of string
  18   | NestedFunc
  19   | ComputedGoto
  20   | Define of Common.parse_info
  21
  22 exception Error of error
  23
  24 val report_error : error -> unit