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 /common/Sections.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 'common/Sections.mli')
0 files changed, 0 insertions, 0 deletions