diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-08 16:29:21 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:34 +0200 |
| commit | c4da57a29a710cf067fe8ce3663d0285efdfef0d (patch) | |
| tree | 8f9c47d35fc364dba545ac725d1e0f6536fca9cf /debug/DebugInformation.ml | |
| parent | 04b822ca7eaf59a967b9b8f700104b78e77e5c98 (diff) | |
| download | compcert-kvx-c4da57a29a710cf067fe8ce3663d0285efdfef0d.tar.gz compcert-kvx-c4da57a29a710cf067fe8ce3663d0285efdfef0d.zip | |
Relax requirement for ranges for compilation unit.
Ranges for non-contiguous address ranges are already part of dwarf
version 3.
Bug 26234
Diffstat (limited to 'debug/DebugInformation.ml')
0 files changed, 0 insertions, 0 deletions