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