Removed more not needed attributes.

1 files changed, 32 insertions, 92 deletions

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;
-
    }