sig
val clear : unit -> unit
val computeIDom : Cil_types.fundec -> Cil_types.stmt option Inthash.t
val getIdom :
Cil_types.stmt option Inthash.t ->
Cil_types.stmt -> Cil_types.stmt option
val dominates :
Cil_types.stmt option Inthash.t ->
Cil_types.stmt -> Cil_types.stmt -> bool
val findNaturalLoops :
Cil_types.fundec ->
Cil_types.stmt option Inthash.t ->
(Cil_types.stmt * Cil_types.stmt list) list
end