diff options
| author |  varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-13 08:35:21 +0000 |
|---|---|---|
| committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-04-13 08:35:21 +0000 |
| commit | 3f205ff4314ccac92e4d74951929aa31b0308274 (patch) | |
| tree | 7d7d939b918f0a2be8423c66a5c47346145d4eaa /checklink/Library.ml | |
| parent | acec11c3a6f9364eaabe398de6e65ccff510bf39 (diff) | |
New section mapping checks and symbol data lookup
Section mapping is now discovered on-the-fly, and linker script remappings
are reported as warnings at the end. Symbol data lookup is now able to
gracefully fail if the symbol's virtual address is not within the range of
its parent section's virtual address space.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1878 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/Library.ml')
0 files changed, 0 insertions, 0 deletions