Module CTrans_utils.GotoLabel
Module for translating goto instructions by keeping a map of labels.
val find_goto_label : CContext.t -> string -> IBase.Location.t -> IR.Procdesc.Node.t
CTrans_utils.GotoLabelModule for translating goto instructions by keeping a map of labels.
val find_goto_label : CContext.t -> string -> IBase.Location.t -> IR.Procdesc.Node.t