diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-15 13:15:28 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-15 13:15:28 +0200 |
| commit | 1e52bb2001964d87086cea00d0cb779e270b99ce (patch) | |
| tree | 1a4c629ee6b8c5130654be3a42fb91f38fc80984 /common/Sections.mli | |
| parent | 44845982f412810b0c18067987f2780ef6245fbb (diff) | |
| download | compcert-kvx-1e52bb2001964d87086cea00d0cb779e270b99ce.tar.gz compcert-kvx-1e52bb2001964d87086cea00d0cb779e270b99ce.zip | |
First step to implemente address ranges for the gnu backend.
In contrast to the dcc, the gcc uses address ranges to express
non-contiguous range of addresses. As a first step we set the
start and end addresses for the different address ranges for
the compilation unit by using the start and end addresses of
functions.
Bug 17392.
Diffstat (limited to 'common/Sections.mli')
0 files changed, 0 insertions, 0 deletions