From 6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 20 Oct 2014 18:16:06 +0200 Subject: Removed more not needed attributes. --- debug/DwarfTypes.ml | 124 ++++++++++++++-------------------------------------- 1 file changed, 32 insertions(+), 92 deletions(-) (limited to 'debug') diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index e1684dc6..caa6435c 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -78,7 +78,6 @@ type bound_value = type dw_tag_array_type = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; dw_at_sibling: reference option; @@ -116,7 +115,6 @@ type dw_tag_const_type = type dw_tag_enumeration_type = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; dw_at_byte_size: constant; @@ -128,7 +126,6 @@ type dw_tag_enumeration_type = type dw_tag_enumerator = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; dw_at_const_value: constant; @@ -138,7 +135,6 @@ type dw_tag_enumerator = type dw_tag_formal_parameter = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; dw_at_artificial: flag option; @@ -150,143 +146,92 @@ type dw_tag_formal_parameter = dw_at_variable_parameter: flag option; } -type dw_tag_inlined_subroutine = - { - dw_at_decl_column: constant option; - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; - dw_at_high_pc: address option; - dw_at_low_pc: address option; - dw_at_segment: location_value option; - dw_at_sibling: reference option; - dw_at_return_addr: location_value option; - dw_at_start_scope: constant option; - } - type dw_tag_label = { - dw_at_low_pc: address option; - dw_at_name: string option; - dw_at_segment: location_value option; - dw_at_start_scope: constant option; - dw_at_sibling: reference option; + dw_at_low_pc: address; + dw_at_name: string; + dw_at_sibling: reference option; } type dw_tag_lexical_block = { - dw_at_high_pc: address option; - dw_at_low_pc: address option; - dw_at_name: string option; - dw_at_segment: location_value option; - dw_at_sibling: reference option; + dw_at_high_pc: address; + dw_at_low_pc: address; + dw_at_sibling: reference option; } type dw_tag_member = { - dw_at_decl_column: constant option; - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; dw_at_byte_size: constant option; dw_at_bit_offset: constant option; dw_at_bit_size: constant option; dw_at_data_member_location: data_location_value option; dw_at_declaration: flag option; - dw_at_name: string option; + dw_at_name: string; dw_at_sibling: reference option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_pointer_type = { - dw_at_address_class: constant option; dw_at_sibling: reference option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_structure_type = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; - dw_at_byte_size: constant option; + dw_at_byte_size: constant; dw_at_declaration: flag option; - dw_at_name: string option; + dw_at_name: string; dw_at_sibling: reference option; - dw_at_start_scope: constant option; } type dw_tag_subprogram = { - dw_at_decl_column: constant option; - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; - dw_at_address_class: constant option; - dw_at_artificial: flag option; - dw_at_calling_convention: calling_convention option; - dw_at_declaration: flag option; - dw_at_external: flag option; - dw_at_frame_base: location_value option; - dw_at_high_pc: address option; - dw_at_inline: inline option; - dw_at_low_pc: address option; - dw_at_name: string option; - dw_at_prototyped: flag option; - dw_at_return_addr: location_value option; - dw_at_segment: location_value option; - dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_static_link: location_value option; - dw_at_type: reference option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; + dw_at_external: flag option; + dw_at_frame_base: location_value option; + dw_at_high_pc: address; + dw_at_inline: inline option; + dw_at_low_pc: address; + dw_at_name: string; + dw_at_prototyped: flag + dw_at_sibling: reference option; + dw_at_type: reference; } type dw_subrange_type = { - dw_at_decl_column: constant option; - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; - dw_at_byte_size: constant option; - dw_at_declaration: flag option; - dw_at_count: bound_value option; - dw_at_lower_bound: bound_value option; - dw_at_name: string option; - dw_at_sibling: reference option; dw_at_type: reference option; - dw_at_upper_bound: bound_value option; + dw_at_upper_bound: bound_value; } type dw_tag_subroutine_type = { - dw_at_decl_column: constant option; - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; - dw_at_address_class: constant option; - dw_at_declaration: flag option; - dw_at_name: string option; - dw_at_prototyped: flag option; + dw_at_prototyped: flag; dw_at_sibling: reference option; - dw_at_type: reference option; } type dw_tag_typedef = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; - dw_at_declaration: flag option; - dw_at_name: string option; + dw_at_name: string; dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_union_type = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; - dw_at_byte_size: constant option; - dw_at_declaration: flag option; - dw_at_name: string option; + dw_at_byte_size: constant; + dw_at_name: string; dw_at_sibling: reference option; dw_at_start_scope: constant option; dw_at_type: reference option; @@ -294,7 +239,6 @@ type dw_tag_union_type = type dw_tag_unspecified_parameter = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; dw_at_artificial: flag option; @@ -303,23 +247,19 @@ type dw_tag_unspecified_parameter = type dw_tag_variable = { - dw_at_decl_column: constant option; dw_at_decl_file: constant option; dw_at_decl_line: constant option; - dw_at_const_value: constant option; dw_at_declaration: flag option; dw_at_external: flag option; dw_at_location: location_value option; - dw_at_name: string option; + dw_at_name: string; dw_at_segment: location_value option; dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_volatile_type = { dw_at_sibling: reference option; dw_at_type: reference option; - } -- cgit