diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-08 22:21:25 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-08 22:21:25 +0100 |
commit | 1888038659dff715f5b91eeeebaa5617ebb8798d (patch) | |
tree | eb9cb9e333982cd5584d3f662033f6260698afe6 | |
parent | baa8909b576fb0e61645f0d99d1c4d038c4ed47f (diff) | |
download | ocaml-improve-PIC-and-PIE.tar.gz |
GPR#1323: generate frame tables in data sectionimprove-PIC-and-PIE
-rw-r--r-- | Changes | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -94,6 +94,13 @@ Working version (Leo White, Xavier Clerc, report by Alex, review by Gabriel Scherer and Pierre Chambart) +- GPR#1323: make sure that frame tables are generated in the data + section and not in the read-only data section, as was the case + before in the PPC and System-Z ports. This avoids relocations in + the text segment of shared libraries and position-independent + executables generated by ocamlopt. + (Xavier Leroy, review by Mark Shinwell) + ### Standard library: - MPR#1771, MPR#7309, GPR#1026: Add update to maps. Allows to update a |