diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:49:36 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:49:36 +0200 |
| commit | daed22eb5afdc86267c8f90b55008267c9383fca (patch) | |
| tree | 9fbe3dbc94be95abe12a44087ee6afb81020aa48 /debug/DwarfTypes.mli | |
| parent | 09ca4e17ad5cd9bd4d7a6eada42f450a92987226 (diff) | |
| download | compcert-kvx-daed22eb5afdc86267c8f90b55008267c9383fca.tar.gz compcert-kvx-daed22eb5afdc86267c8f90b55008267c9383fca.zip | |
Remove unused members from debug types.
The dwarf 2 standard allows more attributes for certain debuggint
entries than used by gcc or diab data. Since they are also not
set by compcert they can be removed.
Bug 17392.
Diffstat (limited to 'debug/DwarfTypes.mli')
| -rw-r--r-- | debug/DwarfTypes.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 233ada2e..669ceabc 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -66,7 +66,6 @@ type file_loc = type dw_tag_array_type = { - array_type_file_loc: file_loc option; array_type: reference; } @@ -99,14 +98,12 @@ type dw_tag_enumeration_type = type dw_tag_enumerator = { - enumerator_file_loc: file_loc option; enumerator_value: constant; enumerator_name: string; } type dw_tag_formal_parameter = { - formal_parameter_file_loc: file_loc option; formal_parameter_artificial: flag option; formal_parameter_name: string option; formal_parameter_type: reference; @@ -128,7 +125,6 @@ type dw_tag_lexical_block = type dw_tag_member = { - member_file_loc: file_loc option; member_byte_size: constant option; member_bit_offset: constant option; member_bit_size: constant option; @@ -191,7 +187,6 @@ type dw_tag_union_type = type dw_tag_unspecified_parameter = { - unspecified_parameter_file_loc: file_loc option; unspecified_parameter_artificial: flag option; } |