sig
val computeIDom :
Cil_types.fundec -> Cil_types.stmt option Datatype.Int.Hashtbl.t
val getIdom :
Cil_types.stmt option Datatype.Int.Hashtbl.t ->
Cil_types.stmt -> Cil_types.stmt option
val dominates :
Cil_types.stmt option Datatype.Int.Hashtbl.t ->
Cil_types.stmt -> Cil_types.stmt -> bool
val findNaturalLoops :
Cil_types.fundec ->
Cil_types.stmt option Datatype.Int.Hashtbl.t ->
(Cil_types.stmt * Cil_types.stmt list) list
end