Module ClangFrontend__CTrans_utils.GotoLabel

Module for translating goto instructions by keeping a map of labels.

val find_goto_label : ClangFrontend.CContext.t -> string -> IBase.Location.t -> IR.Procdesc.Node.t