diff options
author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> | 2022-08-23 21:31:04 +0200 |
---|---|---|
committer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> | 2022-09-07 17:44:27 +0200 |
commit | dc7029919ca30f20ccc5270e4e0b87cd497a6aba (patch) | |
tree | 5d0e13ead05cb443dc1d731d41f627f66184a21e /runtime/fail_byt.c | |
parent | 69c1bc799ef24c6e0d8863b515ced0ace2003308 (diff) | |
download | ocaml-dc7029919ca30f20ccc5270e4e0b87cd497a6aba.tar.gz |
Introduce run-time checks that the domain lock is held in the C API
Diffstat (limited to 'runtime/fail_byt.c')
-rw-r--r-- | runtime/fail_byt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/fail_byt.c b/runtime/fail_byt.c index ebab2b01b7..49b6eade25 100644 --- a/runtime/fail_byt.c +++ b/runtime/fail_byt.c @@ -33,6 +33,7 @@ CAMLexport void caml_raise(value v) { + Caml_check_caml_state(); Unlock_exn(); CAMLassert(!Is_exception_result(v)); |