Module `Checkers.Dominators`

module L = IBase.Logging

module CFG = Absint.ProcCfg.Normal

module GDoms : sig ... end

val print_dominators : IR.Procdesc.t -> (IR.Procdesc.Node.t -> IR.Procdesc.Node.t) -> unit
val get_idoms : GDoms.t -> GDoms.vertex -> GDoms.vertex
val dominates : (GDoms.vertex -> GDoms.vertex) -> GDoms.vertex -> GDoms.vertex -> bool