Dominators (infer.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