summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard W.M. Jones <rjones@redhat.com>2016-11-09 16:01:15 (GMT)
committerRichard W.M. Jones <rjones@redhat.com>2016-11-09 16:20:13 (GMT)
commite732c39340e86939530a087744caa8d8f1247878 (patch)
treeee9ef10096a2f442c02cee64aa872067dfbcc0e5
parent4d586c823b021c3091aab7bb3f88f1678c194558 (diff)
downloadfedora-ocaml-e732c39340e86939530a087744caa8d8f1247878.zip
fedora-ocaml-e732c39340e86939530a087744caa8d8f1247878.tar.gz
fedora-ocaml-e732c39340e86939530a087744caa8d8f1247878.tar.xz
s390x: Fix address of caml_raise_exn in native dynlink modules.
Upstream bug report: https://caml.inria.fr/mantis/view.php?id=7405
-rw-r--r--asmcomp/s390x/emit.mlp2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/s390x/emit.mlp b/asmcomp/s390x/emit.mlp
index 5d233a3..a099bdb 100644
--- a/asmcomp/s390x/emit.mlp
+++ b/asmcomp/s390x/emit.mlp
@@ -611,7 +611,7 @@ let emit_instr i =
| Lraise k ->
begin match k with
| Cmm.Raise_withtrace ->
- ` brasl %r14, {emit_symbol "caml_raise_exn"}\n`;
+ ` brasl %r14, {emit_symbol "caml_raise_exn"}@PLT\n`;
let lbl = record_frame Reg.Set.empty true i.dbg in
`{emit_label lbl}:\n`
| Cmm.Raise_notrace ->