UB: reinterpret_cast pointer without using launder

Signed-off-by: wineway <[email protected]>
google · Dec 6, 2023 · 5db9232 · 5db9232
1 parent 068d5ee
commit 5db9232
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/util/env_posix.cc b/util/env_posix.cc
@@ -36,6 +36,12 @@
 #include "util/env_posix_test_helper.h"
 #include "util/posix_logger.h"
 
+#ifdef __cpp_lib_launder
+#define LAUNDER(x) std::launder((x))
+#else
+#define LAUNDER(x) x
+#endif
+
 namespace leveldb {
 
 namespace {
@@ -883,7 +889,7 @@ class SingletonEnv {
   SingletonEnv(const SingletonEnv&) = delete;
   SingletonEnv& operator=(const SingletonEnv&) = delete;
 
-  Env* env() { return reinterpret_cast<Env*>(&env_storage_); }
+  Env* env() { return LAUNDER(reinterpret_cast<Env*>(&env_storage_)); }
 
   static void AssertEnvNotInitialized() {
 #if !defined(NDEBUG)