summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-09-08 22:21:25 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2017-09-08 22:21:25 +0100
commit1888038659dff715f5b91eeeebaa5617ebb8798d (patch)
treeeb9cb9e333982cd5584d3f662033f6260698afe6
parentbaa8909b576fb0e61645f0d99d1c4d038c4ed47f (diff)
downloadocaml-improve-PIC-and-PIE.tar.gz
GPR#1323: generate frame tables in data sectionimprove-PIC-and-PIE
-rw-r--r--Changes7
1 files changed, 7 insertions, 0 deletions
diff --git a/Changes b/Changes
index f2665bb351..95a8262d57 100644
--- a/Changes
+++ b/Changes
@@ -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