Module `Dwarf_state`

State that is shared amongst the various dwarf_* modules.

type function_range = {

start_label : Asm_targets.Asm_label.t;
end_label : Asm_targets.Asm_label.t;
offset_past_end_label : int option;
function_symbol : Asm_targets.Asm_symbol.t;

}

type code_layout =

| Continuous_code_section of {
1. code_begin : Asm_targets.Asm_symbol.t;
2. code_end : Asm_targets.Asm_symbol.t;
}
| Function_sections

module Diagnostics : sig ... end

type t

val create : 
  compilation_unit_header_label:Asm_targets.Asm_label.t ->
  compilation_unit_proto_die:Dwarf_high.Proto_die.t ->
  code_layout:code_layout ->
  Dwarf_low.Debug_loc_table.t ->
  Dwarf_low.Debug_ranges_table.t ->
  Dwarf_low.Address_table.t ->
  Dwarf_low.Location_list_table.t ->
  get_file_num:(string -> int) ->
  sourcefile:string ->
  t

val compilation_unit_header_label : t -> Asm_targets.Asm_label.t

val compilation_unit_proto_die : t -> Dwarf_high.Proto_die.t

val debug_loc_table : t -> Dwarf_low.Debug_loc_table.t

val debug_ranges_table : t -> Dwarf_low.Debug_ranges_table.t

val address_table : t -> Dwarf_low.Address_table.t

val location_list_table : t -> Dwarf_low.Location_list_table.t

val function_abstract_instances : 
  t ->
  (Dwarf_high.Proto_die.t * Asm_targets.Asm_symbol.t)
    Asm_targets.Asm_symbol.Tbl.t

val can_reference_dies_across_units : t -> bool

val get_file_num : t -> string -> int

val sourcefile : t -> string

val diagnostics : t -> Diagnostics.t

val complex_shape_cache : t -> Complex_shape.Shape_cache.t

val add_variable_reduction_diagnostic : 
  t ->
  Diagnostics.variable_reduction ->
  unit

val code_layout : t -> code_layout

val function_ranges : t -> function_range list

val record_function_range : 
  t ->
  function_symbol:Asm_targets.Asm_symbol.t ->
  start_label:Asm_targets.Asm_label.t ->
  end_label:Asm_targets.Asm_label.t ->
  offset_past_end_label:int option ->
  unit

module Debug : sig ... end

Module Dwarf_state

Module `Dwarf_state`