diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-10 14:15:13 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-10 14:15:13 +0100 |
commit | d1d8f1f49cfd29eb89ea6914facb45e0c9238426 (patch) | |
tree | b1535b7eccc6a5e161d0d4d007eb652026315c2d /runtime/c | |
parent | 1269548f231e839da9e53647cac3b3efd1a9a389 (diff) | |
download | compcert-d1d8f1f49cfd29eb89ea6914facb45e0c9238426.tar.gz compcert-d1d8f1f49cfd29eb89ea6914facb45e0c9238426.zip |
OS X: emit jumptables in .text segment, not .const segment
In 64-bit mode jumptables contain differences of labels Lx-Ly.
The OS X assembler and linker have problems with those differences if the labels are from a given section (here, .text) and the difference is to be put in another section (previously, .const).
Putting the jumptables in .text fixes this issue, and is consistent with what is done for ELF.
Diffstat (limited to 'runtime/c')
0 files changed, 0 insertions, 0 deletions