diff --git a/libstdc++-v3/testsuite/29_atomics/atomic_ref/bool.cc b/libstdc++-v3/testsuite/29_atomics/atomic_ref/bool.cc new file mode 100644 index 00000000000..4702932627e --- /dev/null +++ b/libstdc++-v3/testsuite/29_atomics/atomic_ref/bool.cc @@ -0,0 +1,15 @@ +// { dg-do compile { target c++20 } } + +#include + +template concept has_and = requires (T& a) { a &= false; }; +template concept has_or = requires (T& a) { a |= false; }; +template concept has_xor = requires (T& a) { a ^= false; }; +template concept has_fetch_add = requires (T& a) { a.fetch_add(true); }; +template concept has_fetch_sub = requires (T& a) { a.fetch_sub(true); }; + +static_assert( not has_and> ); +static_assert( not has_or> ); +static_assert( not has_xor> ); +static_assert( not has_fetch_add> ); +static_assert( not has_fetch_sub> );