Module Jasmin.Label_checkSource

Sourcetype function_label = {
  1. loc : Jasmin.Prog.L.t;
  2. fname : string;
}

Record types describing data used to detect and print informations about function labels. Used for error (warning) printing

Sourcetype duplicate_label_warn = {
  1. first_decl : function_label;
  2. conflict_decl : function_label;
}

Duplicate label error (warning) containing informations about the two conflicting functions

Sourceval warn_duplicate_label : duplicate_label_warn -> unit

Function that print a duplicate_label_warn using Utils.warning

  • parameter error

    : duplicate_label_warn

Sourceval get_labels_errors : ('len, 'info, 'asm) Prog.gprog -> duplicate_label_warn list

Check if functions have conflicting names when translated to their assembly label names. It return the list of conflict errors detected. The way error are handled is let to the calling function.

  • parameter prog

    : program to check

  • returns

    : duplicate_label_warn list