diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-21 17:45:44 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-21 17:45:44 +0200 |
| commit | b483cbe0304ff7571668d0c703b8271bbbe8323c (patch) | |
| tree | d88d74c195f73a99c7413d23fd935b968b7ec71c /debug/DwarfTypes.ml | |
| parent | e4c28e18228a6adf7d354059200ced5cee53e8c0 (diff) | |
| download | compcert-b483cbe0304ff7571668d0c703b8271bbbe8323c.tar.gz compcert-b483cbe0304ff7571668d0c703b8271bbbe8323c.zip | |
Added type for all tags.
Diffstat (limited to 'debug/DwarfTypes.ml')
| -rw-r--r-- | debug/DwarfTypes.ml | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index 1cb3f6ee..f779fdcd 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -205,7 +205,7 @@ type dw_tag_subprogram = dw_at_type: reference; } -type dw_subrange_type = +type dw_tag_subrange_type = { dw_at_type: reference option; dw_at_upper_bound: bound_value; @@ -262,3 +262,24 @@ type dw_tag_volatile_type = dw_at_type: reference; } +type dw_tag = + | DW_TAG_array_type of dw_tag_array_type + | DW_TAG_base_type of dw_tag_base_type + | DW_TAG_compile_unit of dw_tag_compile_unit + | DW_TAG_const_type of dw_tag_const_type + | DW_TAG_enumeration_type of dw_tag_enumeration_type + | DW_TAG_enumerator of dw_tag_enumerator + | DW_TAG_formal_parameter of dw_tag_formal_parameter + | DW_TAG_label of dw_tag_label + | DW_TAG_lexical_block of dw_tag_lexical_block + | DW_TAG_member of dw_tag_member + | DW_TAG_pointer_type of dw_tag_pointer_type + | DW_TAG_structure_type of dw_tag_structure_type + | DW_TAG_tag_subprogram of dw_tag_subprogram + | DW_TAG_subrange_type of dw_tag_subrange_type + | DW_TAG_subroutine_type of dw_tag_subroutine_type + | DW_TAG_typedef of dw_tag_typedef + | DW_TAG_union_type of dw_tag_union_type + | DW_TAG_unspecified_parameter of dw_tag_unspecified_parameter + | DW_TAG_variable of dw_tag_variable + | DW_TAG_volatile_type of dw_tag_volatile_type |