From eeb27f211bf0b45f0dc995e1710f2e3d108d9b28 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 19 Feb 2021 09:31:07 +0100
Subject: [PATCH] Useless complication.

---
 src/kernel/context/Context.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/kernel/context/Context.cpp b/src/kernel/context/Context.cpp
index 10056c700e..9109f6b3c9 100644
--- a/src/kernel/context/Context.cpp
+++ b/src/kernel/context/Context.cpp
@@ -29,9 +29,7 @@ thread_local Context* Context::current_context_ = nullptr;
 /* Install or disable alternate signal stack, for SIGSEGV handler. */
 int Context::install_sigsegv_stack(stack_t* old_stack, bool enable)
 {
-  static std::vector<unsigned char> sigsegv_stack;
-  if (sigsegv_stack.size() == 0)
-    sigsegv_stack.resize(SIGSTKSZ);
+  static std::vector<unsigned char> sigsegv_stack(SIGSTKSZ);
   stack_t stack;
   stack.ss_sp    = sigsegv_stack.data();
   stack.ss_size  = sigsegv_stack.size();
-- 
2.20.1