From 88d514aa9cc85f1947bcc76da2c21dde04007d32 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Thu, 22 Mar 2018 13:10:18 +1100
Subject: [PATCH] pool: launder the allocated pointers

---
 pool.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pool.hpp b/pool.hpp
index f654775b..0b5dc36a 100644
--- a/pool.hpp
+++ b/pool.hpp
@@ -97,7 +97,7 @@ namespace util {
 
                 if (m_next.compare_exchange_weak (curr, soon)) {
                     ++m_size;
-                    return reinterpret_cast<T*> (curr);
+                    return std::launder (reinterpret_cast<T*> (curr));
                 }
             } while (1);
         }