2 val ast_to_control_flow
: Ast_c.toplevel
-> Control_flow_c.cflow
option
4 val deadcode_detection
: Control_flow_c.cflow
-> unit
5 val check_control_flow
: Control_flow_c.cflow
-> unit
7 val annotate_loop_nodes
: Control_flow_c.cflow
-> Control_flow_c.cflow
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
20 | Define
of Common.parse_info
22 exception Error
of error
24 val report_error
: error
-> unit