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 /backend/CleanupLabels.v | |
parent | 04b822ca7eaf59a967b9b8f700104b78e77e5c98 (diff) | |
download | compcert-c4da57a29a710cf067fe8ce3663d0285efdfef0d.tar.gz compcert-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 'backend/CleanupLabels.v')
0 files changed, 0 insertions, 0 deletions