libstdc++: Enforce copyable/movable checks in std::atomic
authorJonathan Wakely <jwakely@redhat.com>
Tue, 16 Jun 2020 21:34:55 +0000 (22:34 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Tue, 16 Jun 2020 21:34:55 +0000 (22:34 +0100)
commitcc799df98f6eaf73763a069f7854e490a0416573
tree875eef724ce403355bd79b0222ab4f57813f5c54
parent15cf136abe0461f2bcf2ccf7a0e4e495f2362b75
libstdc++: Enforce copyable/movable checks in std::atomic

C++20 adds some new preconditions to std::atomic, which weren't
previously checked by our implementation.

* include/std/atomic (atomic): Add static assertions.
* testsuite/29_atomics/atomic/requirements/types_neg.cc: New test.
libstdc++-v3/include/std/atomic
libstdc++-v3/testsuite/29_atomics/atomic/requirements/types_neg.cc [new file with mode: 0644]