[bpt/coccinelle.git] / parsing_c / control_flow_c_build.mli


val ast_to_control_flow : Ast_c.toplevel -> Control_flow_c.cflow option

val deadcode_detection : Control_flow_c.cflow -> unit
val check_control_flow : Control_flow_c.cflow -> unit

val annotate_loop_nodes : Control_flow_c.cflow -> Control_flow_c.cflow

type error = 
  | DeadCode          of Common.parse_info option
  | CaseNoSwitch      of Common.parse_info
  | OnlyBreakInSwitch of Common.parse_info
  | WeirdSwitch       of Common.parse_info
  | NoEnclosingLoop   of Common.parse_info
  | GotoCantFindLabel of string * Common.parse_info
  | NoExit of Common.parse_info
  | DuplicatedLabel of string
  | NestedFunc
  | ComputedGoto
  | Define of Common.parse_info

exception Error of error

val report_error : error -> unit
Commit	Line	Data
34e49164 C	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
708f4980	13	\| WeirdSwitch of Common.parse_info
34e49164 C	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
91eba41f	20	\| Define of Common.parse_info
34e49164 C	21
	22	exception Error of error
	23
	24	val report_error : error -> unit