Controlflow_build (p.pfff.0.39.4.doc.pfff-lang_GENERIC-analyze.Controlflow

val cfg_of_func : Ast_generic.function_definition -> Controlflow.flow

val control_flow_graph_of_stmts : 
  Ast_generic.parameter list ->
  Ast_generic.stmt list ->
  Controlflow.flow

val cfg_of_stmts : 
  Ast_generic.parameter list ->
  Ast_generic.stmt list ->
  Controlflow.flow

val deadcode_detection : Controlflow.flow -> unit

type error = error_kind * Parse_info.t option

and error_kind =

val string_of_error : error -> string

val string_of_error_kind : error_kind -> string

exception Error of error

val report_error : error -> unit