diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-02-06 14:55:34 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2020-02-06 17:28:39 +0100 |
| commit | 6ca9f9bfc7119f1ca4f48de3b5a37cbaee07e4fd (patch) | |
| tree | 10d82488c0f84f927888deaa5de76e30535e2f53 /cfrontend/Cop.v | |
| parent | d5435a34169d92a96f1436128f3e90df7f4f9e9a (diff) | |
| download | compcert-kvx-6ca9f9bfc7119f1ca4f48de3b5a37cbaee07e4fd.tar.gz compcert-kvx-6ca9f9bfc7119f1ca4f48de3b5a37cbaee07e4fd.zip | |
Added base address if needed.
Ranges of locations are relative to some base address. Most times
this is just the same as the compilation unit. However if the
compilation unit contains functions in multiple sections we need
to add a base address of the section that the locations are
contained.
Diffstat (limited to 'cfrontend/Cop.v')
0 files changed, 0 insertions, 0 deletions