diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-15 18:47:16 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-15 18:47:16 +0200 |
commit | 8f26d2b2820cd30b7de9ce53dfb90bda42d9e401 (patch) | |
tree | a18c188b7b633b5084e3df4f91c32decd38946c8 /debug/DwarfTypes.ml | |
parent | 5023487c601dcee8917cab0a3b303c6d91dde294 (diff) | |
download | compcert-8f26d2b2820cd30b7de9ce53dfb90bda42d9e401.tar.gz compcert-8f26d2b2820cd30b7de9ce53dfb90bda42d9e401.zip |
Started revising the tag types to only include attributes which are actually used debuggers.
Diffstat (limited to 'debug/DwarfTypes.ml')
-rw-r--r-- | debug/DwarfTypes.ml | 27 |
1 files changed, 10 insertions, 17 deletions
diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index 51497121..820570df 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -78,36 +78,29 @@ type bound_value = type dw_tag_array_type = { - dw_at_byte_size: constant option; - dw_at_declaration: flag option; - dw_at_name: string option; dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_stride_size: constant option; - dw_at_type: reference option; + dw_at_type: reference; } type dw_tag_base_type = { - dw_at_bit_offset: constant option; - dw_at_bit_size: constant option; - dw_at_byte_size: constant option; - dw_at_encoding: encoding option; - dw_at_name: string option; + dw_at_byte_size: constant; + dw_at_encoding: encoding; + dw_at_name: string; dw_at_sibling: reference option; } type dw_tag_compile_unit = { dw_at_base_types: reference option; - dw_at_comp_dir: string option; + dw_at_comp_dir: string; dw_at_identifier_case: identifier_case option; - dw_at_high_pc: address option; - dw_at_language: language option; - dw_at_low_pc: address option; + dw_at_high_pc: address; + dw_at_language: language; + dw_at_low_pc: address; dw_at_macro_info: constant option; - dw_at_name: string option; - dw_at_producer: string option; + dw_at_name: string; + dw_at_producer: string; dw_at_sibling: reference option; dw_at_stmt_list: constant option; } |