From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2181) id 8D12D3857C4F; Fri, 14 Jan 2022 10:14:49 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8D12D3857C4F MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jonathan Wakely To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-6573] libstdc++: Ignore cv-quals when std::allocator constructs X-Act-Checkin: gcc X-Git-Author: Jonathan Wakely X-Git-Refname: refs/heads/master X-Git-Oldrev: d67ba1dce9796bff177e52e2bbb68bfa2c69a884 X-Git-Newrev: fc6f1128ae603164aea6303ce2b3ed0b57e6a378 Message-Id: <20220114101449.8D12D3857C4F@sourceware.org> Date: Fri, 14 Jan 2022 10:14:49 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 14 Jan 2022 10:14:49 -0000 https://gcc.gnu.org/g:fc6f1128ae603164aea6303ce2b3ed0b57e6a378 commit r12-6573-gfc6f1128ae603164aea6303ce2b3ed0b57e6a378 Author: Jonathan Wakely Date: Thu Jan 13 21:59:13 2022 +0000 libstdc++: Ignore cv-quals when std::allocator constructs When I added the std::allocator_traits> specialization it broke code like this: std::allocate_shared(std::allocator()); The problem is that allocator_traits>::construct(a, p) now uses std::_Construct(p), which only does a static_cast(p) and so fails if the pointer has cv-quals. This changes std::_Construct (and the related std::_Construct_novalue) to use a C-style cast to (void*) which matches the effects of the "voidify" helper in the C++20 standard. libstdc++-v3/ChangeLog: * include/bits/stl_construct.h (_Construct, _Construct_novalue): Also cast away cv-qualifiers when converting pointer to void. * testsuite/20_util/allocator/void.cc: Test construct function with cv-qualified types. Diff: --- libstdc++-v3/include/bits/stl_construct.h | 4 ++-- libstdc++-v3/testsuite/20_util/allocator/void.cc | 15 +++++++++++++++ 2 files changed, 17 insertions(+), 2 deletions(-) diff --git a/libstdc++-v3/include/bits/stl_construct.h b/libstdc++-v3/include/bits/stl_construct.h index 7c5fd4c9cf7..9531222809c 100644 --- a/libstdc++-v3/include/bits/stl_construct.h +++ b/libstdc++-v3/include/bits/stl_construct.h @@ -116,7 +116,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION return; } #endif - ::new(static_cast(__p)) _Tp(std::forward<_Args>(__args)...); + ::new((void*)__p) _Tp(std::forward<_Args>(__args)...); } #else template @@ -132,7 +132,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template inline void _Construct_novalue(_T1* __p) - { ::new(static_cast(__p)) _T1; } + { ::new((void*)__p) _T1; } template _GLIBCXX20_CONSTEXPR void diff --git a/libstdc++-v3/testsuite/20_util/allocator/void.cc b/libstdc++-v3/testsuite/20_util/allocator/void.cc index 52e1fef3700..5cdf0be012c 100644 --- a/libstdc++-v3/testsuite/20_util/allocator/void.cc +++ b/libstdc++-v3/testsuite/20_util/allocator/void.cc @@ -87,8 +87,23 @@ static_assert( std::is_same::const_pointer, const void*>(), "const_pointer is const void*" ); #endif // C++20 +void +test02() +{ + std::allocator av; + int* p = std::allocator().allocate(1); + const int* c = p; + std::allocator_traits>::construct(av, c, 0); + volatile int* v = p; + std::allocator_traits>::construct(av, v, 0); + const volatile int* cv = p; + std::allocator_traits>::construct(av, cv, 0); + std::allocator().deallocate(p, 1); +} + int main() { test01(); + test02(); }