github-repos/leveldb
1
0
Fork 0
mirror of https://github.com/google/leveldb.git synced 2025-01-27 06:30:07 +08:00
Code Issues Packages Projects Releases Wiki Activity

UB: reinterpret_cast pointer without using launder

Browse Source 
Signed-off-by: wineway <wangyuweihx@gmail.com>
This commit is contained in:
wineway 2023-12-07 04:07:58 +08:00
parent 068d5ee1a3
commit e40943c945
3 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
include/leveldb/env.h
View File

@ -39,6 +39,12 @@
#endif // defined(DeleteFile)
#endif // defined(_WIN32)
#ifdef __cpp_lib_launder
#define LAUNDER(x) std::launder((x))
#else
#define LAUNDER(x) x
#endif
namespace leveldb {
class FileLock;

2
util/env_posix.cc
View File

@ -883,7 +883,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)

2
util/env_windows.cc
View File

@ -778,7 +778,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)