summaryrefslogtreecommitdiffstats
path: root/byterun/memory.c
diff options
context:
space:
mode:
authorJérémie Dimino <jeremie@dimino.org>2013-12-23 16:24:50 +0000
committerJérémie Dimino <jeremie@dimino.org>2013-12-23 16:24:50 +0000
commit9fd3c41247589d58458fa269debde17b3a15e63e (patch)
treef2b13c73a9f847fd1b8f9c5d2f4ad2b25ce7bbc2 /byterun/memory.c
parent61a4334e2731d2a526a74e13db425297e633ef3f (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.c8
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);