summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorXavier Leroy <xavierleroy@users.noreply.github.com>2017-09-28 11:41:26 +0200
committerGitHub <noreply@github.com>2017-09-28 11:41:26 +0200
commit24aa2d3cb582d03b5b88e9e0c3c84f985e3937e3 (patch)
tree46c60e68d666187dc7e6f027c40c3977a25c17d3 /Changes
parent2751420255305f7475d3a6ae8a7dff747c0a5799 (diff)
downloadocaml-24aa2d3cb582d03b5b88e9e0c3c84f985e3937e3.tar.gz
MPR#7638: problem with Mingw64 + bytecode + threads + exceptions raised from C (#1376)
This is a known problem with setjmp/longjmp in Mingw64. This commit works around the issue by using GCC's __builtin_setjmp/__builtin_longjmp functions instead. The repro from MPR#7638 was added as a regression test to the testsuite.
Diffstat (limited to 'Changes')
-rw-r--r--Changes5
1 files changed, 5 insertions, 0 deletions
diff --git a/Changes b/Changes
index aaf2f8c5af..2b46a7ff41 100644
--- a/Changes
+++ b/Changes
@@ -564,6 +564,11 @@ Release branch for 4.06:
under ocamldebug calls Pervasives.flush_all
(Xavier Leroy, report by Paul Steckler, review by Gabriel Scherer)
+- MPR#7638: in the Windows Mingw64 port, multithreaded programs compiled
+ to bytecode could crash when raising an exception from C code.
+ This looks like a Mingw64 issue, which we work around with GCC builtins.
+ (Xavier Leroy)
+
- GPR#1155: Fix a race condition with WAIT_NOHANG on Windows
(Jérémie Dimino and David Allsopp)