diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-08 17:23:31 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:34 +0200 |
| commit | 06d846bd517cb0e47ab7b55cdbc912939524ca26 (patch) | |
| tree | 3c6bd22e229b58d8a5ea2235837c9070e0f385a5 /debug/DwarfTypes.mli | |
| parent | 5cee733c33bd53c0f58e9896f238ab862e224e46 (diff) | |
| download | compcert-kvx-06d846bd517cb0e47ab7b55cdbc912939524ca26.tar.gz compcert-kvx-06d846bd517cb0e47ab7b55cdbc912939524ca26.zip | |
Reworked range entries.
The fist changes changes the offset for range entries to used labels
instead of integer constants, leaving the computation to the
assembler.
The second part of the change the address changes the way ranges
entries of scopes are printed. They need to be relative to the start
address of the code in the section they are included.
Bug 26234
Diffstat (limited to 'debug/DwarfTypes.mli')
| -rw-r--r-- | debug/DwarfTypes.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 23aba448..5a2bce3b 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -272,9 +272,11 @@ type location_entry = } type dw_locations = constant option * location_entry list -type range_entry = (address * address) list +type range_entry = + | AddressRange of (address * address) list + | OffsetRange of reference * (address * address) list -type dw_ranges = range_entry list +type dw_ranges = (int * range_entry) list type dw_string = (int * string) list |