module Cfg:sig
..end
preds
and succs
fields of Cil.stmt
This is nearly always automatically done by the kernel. You only need
those functions if you build Cil_types.fundec
yourself.
val computeFileCFG : Cil_types.file -> unit
val clearFileCFG : ?clear_id:bool -> Cil_types.file -> unit
val cfgFun : Cil_types.fundec -> unit
val clearCFGinfo : ?clear_id:bool -> Cil_types.fundec -> unit
val prepareCFG : ?keepSwitch:bool -> Cil_types.fundec -> unit
Break
, Switch
,
Default
and Continue
Cil_types.stmtkind
s and Cil_types.label
s
into If
s and Goto
s, giving the function body a very CFG-like character.
This function modifies its argument in place.