Module Cabsbranches

module Cabsbranches: sig .. end
Force the link for branches

val compute : unit -> unit
Force the link for branches
val branches : Cil_types.stmt -> (Cil_types.block list * Cil_types.block list) option
If the stmt is an original "if-then-else" statement, returns the list of blocks associated to "then" and "else" branches
val pp_comment : Format.formatter -> Cil_types.stmt -> unit
Print the internal maps for debug