diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2022-01-13 21:59:13 +0000 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2022-01-14 10:14:25 +0000 |
commit | fc6f1128ae603164aea6303ce2b3ed0b57e6a378 (patch) | |
tree | 24e5f5da306c6f704772567d604faf1954daa2c1 | |
parent | d67ba1dce9796bff177e52e2bbb68bfa2c69a884 (diff) | |
download | gcc-fc6f1128ae603164aea6303ce2b3ed0b57e6a378.zip gcc-fc6f1128ae603164aea6303ce2b3ed0b57e6a378.tar.gz gcc-fc6f1128ae603164aea6303ce2b3ed0b57e6a378.tar.bz2 |
libstdc++: Ignore cv-quals when std::allocator<void> constructs
When I added the std::allocator_traits<std::allocator<void>>
specialization it broke code like this:
std::allocate_shared<const int>(std::allocator<void>());
The problem is that allocator_traits<allocator<void>>::construct(a, p)
now uses std::_Construct(p), which only does a static_cast<void*>(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.
-rw-r--r-- | libstdc++-v3/include/bits/stl_construct.h | 4 | ||||
-rw-r--r-- | 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 7c5fd4c..9531222 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<void*>(__p)) _Tp(std::forward<_Args>(__args)...); + ::new((void*)__p) _Tp(std::forward<_Args>(__args)...); } #else template<typename _T1, typename _T2> @@ -132,7 +132,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<typename _T1> inline void _Construct_novalue(_T1* __p) - { ::new(static_cast<void*>(__p)) _T1; } + { ::new((void*)__p) _T1; } template<typename _ForwardIterator> _GLIBCXX20_CONSTEXPR void diff --git a/libstdc++-v3/testsuite/20_util/allocator/void.cc b/libstdc++-v3/testsuite/20_util/allocator/void.cc index 52e1fef..5cdf0be 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<std::allocator<void>::const_pointer, const void*>(), "const_pointer is const void*" ); #endif // C++20 +void +test02() +{ + std::allocator<void> av; + int* p = std::allocator<int>().allocate(1); + const int* c = p; + std::allocator_traits<std::allocator<void>>::construct(av, c, 0); + volatile int* v = p; + std::allocator_traits<std::allocator<void>>::construct(av, v, 0); + const volatile int* cv = p; + std::allocator_traits<std::allocator<void>>::construct(av, cv, 0); + std::allocator<int>().deallocate(p, 1); +} + int main() { test01(); + test02(); } |