diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-10-09 12:44:55 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-10-11 11:17:20 +0200 |
commit | 1e31beb9937daaab8c2a379898ab34095edd845c (patch) | |
tree | 3d506e77cb842d9c570e2c71c80737d6a3a6a083 | |
parent | d29a01e049e78539e5f2c224bd621cd293ca5a98 (diff) | |
download | ocaml-1e31beb9937daaab8c2a379898ab34095edd845c.tar.gz |
Remove dead variables [caml_memprof_to_do] and [caml_final_to_do].
-rw-r--r-- | runtime/finalise.c | 1 | ||||
-rw-r--r-- | runtime/memprof.c | 6 |
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; } |