Backend.Preanal
val do_preanalysis : IR.Tenv.t -> IR.Procdesc.t -> unit
Various preanalysis passes for transforming the IR in useful ways