diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2013-05-14 15:37:48 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2013-05-14 15:37:48 +0000 |
| commit | d69bd84bb38d29795f95960afffd4bdf0d1bd723 (patch) | |
| tree | eb73372b00e61148994274c6f5e5f6b448b17f6b /asmrun/signals_asm.c | |
| parent | 200f97fef60e6053716fdbd84f276f0d1f682242 (diff) | |
PR#5982: save and restore the value of errno in signal handlers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmrun/signals_asm.c')
| -rw-r--r-- | asmrun/signals_asm.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/asmrun/signals_asm.c b/asmrun/signals_asm.c index fb22f8baf..a1ef94268 100644 --- a/asmrun/signals_asm.c +++ b/asmrun/signals_asm.c @@ -17,6 +17,7 @@ #define _GNU_SOURCE #endif #include <signal.h> +#include <errno.h> #include <stdio.h> #include "fail.h" #include "memory.h" @@ -73,6 +74,9 @@ void caml_garbage_collection(void) DECLARE_SIGNAL_HANDLER(handle_signal) { + int saved_errno; + /* Save the value of errno (PR#5982). */ + saved_errno = errno; #if !defined(POSIX_SIGNALS) && !defined(BSD_SIGNALS) signal(sig, handle_signal); #endif @@ -90,6 +94,7 @@ DECLARE_SIGNAL_HANDLER(handle_signal) CONTEXT_YOUNG_LIMIT = (context_reg) caml_young_limit; #endif } + errno = saved_errno; } int caml_set_signal_action(int signo, int action) |