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