diff options
author | Jérémie Dimino <jeremie@dimino.org> | 2013-12-23 16:24:50 +0000 |
---|---|---|
committer | Jérémie Dimino <jeremie@dimino.org> | 2013-12-23 16:24:50 +0000 |
commit | 9fd3c41247589d58458fa269debde17b3a15e63e (patch) | |
tree | f2b13c73a9f847fd1b8f9c5d2f4ad2b25ce7bbc2 /byterun/memory.c | |
parent | 61a4334e2731d2a526a74e13db425297e633ef3f (diff) |
fix #6276: release the runtime in all stubs that might block
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/memory.c')
-rw-r--r-- | byterun/memory.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/byterun/memory.c b/byterun/memory.c index 54d91c96d..529e5b248 100644 --- a/byterun/memory.c +++ b/byterun/memory.c @@ -581,6 +581,14 @@ CAMLexport void * caml_stat_alloc (asize_t sz) return result; } +CAMLexport char * caml_stat_alloc_string(value str) +{ + mlsize_t sz = caml_string_length(str) + 1; + char * p = caml_stat_alloc(sz); + memcpy(p, String_val(str), sz); + return p; +} + CAMLexport void caml_stat_free (void * blk) { free (blk); |