|
 |
2df340 |
commit 79fa567e234585dc6a71f9bd069101c993513f3e
|
|
|
2df340 |
Author: Jonathan Wakely <jwakely@redhat.com>
|
|
|
2df340 |
Date: Thu Apr 22 15:46:51 2021 +0100
|
|
|
2df340 |
|
|
|
2df340 |
libstdc++: Reject std::make_shared<T[]> [PR 99006]
|
|
|
2df340 |
|
|
|
2df340 |
Prior to C++20 it should be ill-formed to use std::make_shared with an
|
|
|
2df340 |
array type (and we don't support the C++20 feature to make it valid yet
|
|
|
2df340 |
anyway).
|
|
|
2df340 |
|
|
|
2df340 |
libstdc++-v3/ChangeLog:
|
|
|
2df340 |
|
|
|
2df340 |
PR libstdc++/99006
|
|
|
2df340 |
* include/bits/shared_ptr.h (allocate_shared): Assert that _Tp
|
|
|
2df340 |
is not an array type.
|
|
|
2df340 |
* include/bits/shared_ptr_base.h (__allocate_shared): Likewise.
|
|
|
2df340 |
* testsuite/20_util/shared_ptr/creation/99006.cc: New test.
|
|
|
2df340 |
|
|
|
2df340 |
(cherry picked from commit 55650236cd97d81f42f9fdb4f6bcb12babafe51f)
|
|
|
2df340 |
|
|
|
2df340 |
diff --git a/libstdc++-v3/include/bits/shared_ptr.h b/libstdc++-v3/include/bits/shared_ptr.h
|
|
|
2df340 |
index 281600b2901..4ddc52ae723 100644
|
|
|
2df340 |
--- a/libstdc++-v3/include/bits/shared_ptr.h
|
|
|
2df340 |
+++ b/libstdc++-v3/include/bits/shared_ptr.h
|
|
|
2df340 |
@@ -698,6 +698,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
|
|
2df340 |
inline shared_ptr<_Tp>
|
|
|
2df340 |
allocate_shared(const _Alloc& __a, _Args&&... __args)
|
|
|
2df340 |
{
|
|
|
2df340 |
+ static_assert(!is_array<_Tp>::value, "make_shared<T[]> not supported");
|
|
|
2df340 |
+
|
|
|
2df340 |
return shared_ptr<_Tp>(_Sp_alloc_shared_tag<_Alloc>{__a},
|
|
|
2df340 |
std::forward<_Args>(__args)...);
|
|
|
2df340 |
}
|
|
|
2df340 |
diff --git a/libstdc++-v3/include/bits/shared_ptr_base.h b/libstdc++-v3/include/bits/shared_ptr_base.h
|
|
|
2df340 |
index 0367c2d51a5..8af6e9fb11c 100644
|
|
|
2df340 |
--- a/libstdc++-v3/include/bits/shared_ptr_base.h
|
|
|
2df340 |
+++ b/libstdc++-v3/include/bits/shared_ptr_base.h
|
|
|
2df340 |
@@ -1822,6 +1822,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
|
|
2df340 |
inline __shared_ptr<_Tp, _Lp>
|
|
|
2df340 |
__allocate_shared(const _Alloc& __a, _Args&&... __args)
|
|
|
2df340 |
{
|
|
|
2df340 |
+ static_assert(!is_array<_Tp>::value, "make_shared<T[]> not supported");
|
|
|
2df340 |
+
|
|
|
2df340 |
return __shared_ptr<_Tp, _Lp>(_Sp_alloc_shared_tag<_Alloc>{__a},
|
|
|
2df340 |
std::forward<_Args>(__args)...);
|
|
|
2df340 |
}
|
|
|
2df340 |
diff --git a/libstdc++-v3/testsuite/20_util/shared_ptr/creation/99006.cc b/libstdc++-v3/testsuite/20_util/shared_ptr/creation/99006.cc
|
|
|
2df340 |
new file mode 100644
|
|
|
2df340 |
index 00000000000..d5f7a5da5e9
|
|
|
2df340 |
--- /dev/null
|
|
|
2df340 |
+++ b/libstdc++-v3/testsuite/20_util/shared_ptr/creation/99006.cc
|
|
|
2df340 |
@@ -0,0 +1,9 @@
|
|
|
2df340 |
+// FIXME: This should use { target { ! c++20 } }
|
|
|
2df340 |
+// { dg-do compile }
|
|
|
2df340 |
+
|
|
|
2df340 |
+#include <memory>
|
|
|
2df340 |
+
|
|
|
2df340 |
+auto p = std::make_shared<int[]>(2); // { dg-error "here" }
|
|
|
2df340 |
+auto q = std::make_shared<int[2]>(1, 2); // { dg-error "here" }
|
|
|
2df340 |
+
|
|
|
2df340 |
+// { dg-prune-output "static assertion failed" }
|