diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
| commit | 2ebf8bfda476966209d681470ebe6301fb10db0a (patch) | |
| tree | 15bc824d8c92a5d089852a3a21648cba7af242eb /debug/DwarfTypes.mli | |
| parent | 275d7f4091609ae30093a4a83a20a74997229f9c (diff) | |
| download | compcert-kvx-2ebf8bfda476966209d681470ebe6301fb10db0a.tar.gz compcert-kvx-2ebf8bfda476966209d681470ebe6301fb10db0a.zip | |
Added missing functions for printing the structs and unions. Still missing printing of packed structs.
Diffstat (limited to 'debug/DwarfTypes.mli')
| -rw-r--r-- | debug/DwarfTypes.mli | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 22f88a12..d4fb0df9 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -133,7 +133,7 @@ type dw_tag_pointer_type = type dw_tag_structure_type = { structure_file_loc: file_loc option; - structure_byte_size: constant; + structure_byte_size: constant option; structure_declaration: flag option; structure_name: string; } @@ -169,9 +169,10 @@ type dw_tag_typedef = type dw_tag_union_type = { - union_file_loc: file_loc option; - union_byte_size: constant; - union_name: string; + union_file_loc: file_loc option; + union_byte_size: constant option; + union_declaration: flag option; + union_name: string; } type dw_tag_unspecified_parameter = |