diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-17 16:26:27 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-17 16:26:27 +0200 |
| commit | a83972a62915de7e17894f5cb57c35c5ba1bb435 (patch) | |
| tree | 4342889f615a432c0911c2e87f7cc93a1a94b255 /debug/DwarfTypes.ml | |
| parent | 1cf9ccdb5cc84b008ccf51eb81b9cce439c22044 (diff) | |
| download | compcert-a83972a62915de7e17894f5cb57c35c5ba1bb435.tar.gz compcert-a83972a62915de7e17894f5cb57c35c5ba1bb435.zip | |
Removed more not needed attributes from the tag types.
Diffstat (limited to 'debug/DwarfTypes.ml')
| -rw-r--r-- | debug/DwarfTypes.ml | 69 |
1 files changed, 50 insertions, 19 deletions
diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index 820570df..e1684dc6 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -78,6 +78,9 @@ 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; dw_at_type: reference; } @@ -108,49 +111,50 @@ type dw_tag_compile_unit = type dw_tag_const_type = { dw_at_sibling: reference option; - dw_at_type: reference option; - } - -type dw_tag_constant = - { - dw_at_const_value: constant option; - dw_at_declaration: flag option; - dw_at_external: flag option; - dw_at_name: string option; - dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_enumeration_type = { - dw_at_byte_size: constant option; - dw_at_declaration: flag option; - dw_at_name: string option; + dw_at_decl_column: constant option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; + dw_at_byte_size: constant; + dw_at_declaration: flag option; + dw_at_name: string; dw_at_sibling: reference option; dw_at_start_scope: constant option; } type dw_tag_enumerator = { - dw_at_const_value: constant option; - dw_at_name: string option; + dw_at_decl_column: constant option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; + dw_at_const_value: constant; + dw_at_name: string; dw_at_sibling: reference option; } 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; 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_type: reference option; + dw_at_type: reference; 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; @@ -179,6 +183,9 @@ type dw_tag_lexical_block = type dw_tag_member = { + 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_bit_offset: constant option; dw_at_bit_size: constant option; @@ -198,6 +205,9 @@ type dw_tag_pointer_type = 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_declaration: flag option; dw_at_name: string option; @@ -207,6 +217,9 @@ type dw_tag_structure_type = 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; @@ -228,6 +241,9 @@ type dw_tag_subprogram = 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; @@ -240,6 +256,9 @@ type dw_subrange_type = 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; @@ -250,6 +269,9 @@ type dw_tag_subroutine_type = 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_sibling: reference option; @@ -259,6 +281,9 @@ type dw_tag_typedef = 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; @@ -269,12 +294,18 @@ 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; dw_at_sibling: reference option; } 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; |