From 4884b594330dea41d04d776d14a5cb18d9a354bc Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Tue, 18 Mar 2025 22:31:59 +0100
Subject: Make status implementation more correct wrt type punning

---
 asl/base/utility.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'asl/base/utility.hpp')

diff --git a/asl/base/utility.hpp b/asl/base/utility.hpp
index 206a5b1..85c873d 100644
--- a/asl/base/utility.hpp
+++ b/asl/base/utility.hpp
@@ -35,6 +35,13 @@ template<typename T, typename U>
     return static_cast<return_type>(x);
 }
 
+template<typename T>
+[[nodiscard]] constexpr T* launder(T* ptr) noexcept // NOLINT
+    requires (!asl::is_func<T> && !asl::is_void<T>)
+{
+    return __builtin_launder(ptr);
+}
+
 } // namespace std
 
 namespace asl
-- 
cgit