parsing_c/ast_to_flow.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   | NoEnclosingLoop   of Common.parse_info
  14   | GotoCantFindLabel of string * Common.parse_info
  15   | NoExit of Common.parse_info
  16   | DuplicatedLabel of string
  17   | NestedFunc
  18   | ComputedGoto
  19   | Define of Common.parse_info
  20
  21 exception Error of error
  22
  23 val report_error : error -> unit