https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95153
Bug ID: 95153
Summary: Arrays of 'const void *' should not be copyable
Product: gcc
Version: 10.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: alisdairm at me dot com
Target Milestone: ---
In general, we do not expect array types to be copyable according to the
'is_copy_constructible_v' trait. However, the following started passing in gcc
10:
#include <type_traits>
static_assert(!std::is_copy_constructible_v<const void *[13]>);
Note that the 'const' is important, arrays of 'void *' remain non-copyable
according to the trait.
'void' may be a specific trigger too, as arrays of 'const int *' do not have
this problem.
Finally, the array bound does not seem significant, other than it gives the
expected answer again for an array of unknown bound.
