From 41b73462dddb5baf30998bf236502d4851ca530f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 12 Feb 2024 11:33:09 -0500 Subject: [PATCH] fix in task_local_storage --- src/core/task_local_storage.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/task_local_storage.ml b/src/core/task_local_storage.ml index 0504d5be..63d86f72 100644 --- a/src/core/task_local_storage.ml +++ b/src/core/task_local_storage.ml @@ -21,7 +21,7 @@ type ls_value += Dummy (** Resize array of TLS values *) let[@inline never] resize_ (cur : ls_value array ref) n = let len = Array.length !cur in - let new_ls = Array.make (max n (len * 2)) Dummy in + let new_ls = Array.make (max n ((len * 2) + 2)) Dummy in Array.blit !cur 0 new_ls 0 len; cur := new_ls