summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>2019-10-09 12:44:55 +0200
committerJacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>2019-10-11 11:17:20 +0200
commit1e31beb9937daaab8c2a379898ab34095edd845c (patch)
tree3d506e77cb842d9c570e2c71c80737d6a3a6a083
parentd29a01e049e78539e5f2c224bd621cd293ca5a98 (diff)
downloadocaml-1e31beb9937daaab8c2a379898ab34095edd845c.tar.gz
Remove dead variables [caml_memprof_to_do] and [caml_final_to_do].
-rw-r--r--runtime/finalise.c1
-rw-r--r--runtime/memprof.c6
2 files changed, 1 insertions, 6 deletions
diff --git a/runtime/finalise.c b/runtime/finalise.c
index ace72846f9..586d51ef57 100644
--- a/runtime/finalise.c
+++ b/runtime/finalise.c
@@ -61,7 +61,6 @@ struct to_do {
static struct to_do *to_do_hd = NULL;
static struct to_do *to_do_tl = NULL;
-int caml_final_to_do = 0;
/*
to_do_hd: head of the list of finalisation functions that can be run.
to_do_tl: tail of the list of finalisation functions that can be run.
diff --git a/runtime/memprof.c b/runtime/memprof.c
index 5bbb3b9dda..bef6ccb09e 100644
--- a/runtime/memprof.c
+++ b/runtime/memprof.c
@@ -263,7 +263,6 @@ static struct postponed_block {
*postponed_queue_end = default_postponed_queue + POSTPONED_DEFAULT_QUEUE_SIZE,
*postponed_tl = default_postponed_queue, /* Pointer to next pop */
*postponed_hd = default_postponed_queue; /* Pointer to next push */
-int caml_memprof_to_do = 0;
static struct postponed_block* postponed_next(struct postponed_block* p)
{
@@ -333,10 +332,8 @@ void caml_memprof_handle_postponed(void)
CAMLlocal1(block);
value ephe;
- if (caml_memprof_suspended) {
- caml_memprof_to_do = 0;
+ if (caml_memprof_suspended)
CAMLreturn0;
- }
while (postponed_tl != postponed_hd) {
struct postponed_block pb = *postponed_tl;
@@ -353,7 +350,6 @@ void caml_memprof_handle_postponed(void)
if (Is_block(ephe)) caml_ephemeron_set_key(Field(ephe, 0), 0, block);
}
- caml_memprof_to_do = 0;
CAMLreturn0;
}