[libcxx-commits] [libcxx] [libc++] Remove UB from std::map __tree_node construction (PR #153908)

[Vinay Deshmukh via libcxx-commits]

================
@@ -582,10 +585,37 @@ class _LIBCPP_STANDALONE_DEBUG __tree_node : public __tree_node_base<_VoidPtr> {
 public:
   using __node_value_type _LIBCPP_NODEBUG = __get_node_value_type_t<_Tp>;
 
-  __node_value_type __value_;
+// We use a union to avoid initialization during member initialization, which allows us
+// to use the allocator from the container to allocate the node itself
+#ifndef _LIBCPP_CXX03_LANG
 
+private:
+  union {
+    __node_value_type __value_;
+  };
+
+public:
   _LIBCPP_HIDE_FROM_ABI __node_value_type& __get_value() { return __value_; }
+#else
+
+private:
+  _ALIGNAS_TYPE(__node_value_type) unsigned char __buffer_[sizeof(__node_value_type)];
+
+public:
+  _LIBCPP_HIDE_FROM_ABI __node_value_type& __get_value() {
+    return *std::__launder(reinterpret_cast<__node_value_type*>(&__buffer_));
----------------
vinay-deshmukh wrote:

Fixed in [f5cc9c3](https://github.com/llvm/llvm-project/pull/153908/commits/f5cc9c3c8cf47ff634fb2e356516e1e1018af097)

Good catch!

https://github.com/llvm/llvm-project/pull/153908