LineageOS/android_external_libcxx
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Revert "Add nonnull; use it for atomics"

Browse Source 
That's r333325, as well as follow-up "Fix GCC handling of ATOMIC_VAR_INIT"
r333327.

Marshall asked to revert:

Let's have a discussion about how to implement this so that it is more friendly
to people with installed code bases. We've had *extremely* loud responses to
unilaterally adding warnings - especially ones that can't be easily disabled -
to the libc++ code base in the past.

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@333351 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
JF Bastien
2018-05-26 19:44:45 +00:00
parent 895c4f3ec7
commit 4b72294338
3 changed files with 23 additions and 232 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
include/__config
View File

@@ -1218,17 +1218,6 @@ _LIBCPP_FUNC_VIS extern "C" void __sanitizer_annotate_contiguous_container(
# endif # endif
#endif #endif
#if __has_attribute(nonnull) || _GNUC_VER >= 400
// Function pointer parameter must be non-null: warns on null parameter,
// undefined behavior if the parameter is null. Omitting parameter indices
// indicates that all parameters of pointer type cannot be null.
//
// Note: parameter indexing starts at 1.
# define _LIBCPP_NONNULL(...) __attribute__((nonnull(__VA_ARGS__)))
#else
# define _LIBCPP_NONNULL(...)
#endif
// Define availability macros. // Define availability macros.
#if defined(_LIBCPP_USE_AVAILABILITY_APPLE) #if defined(_LIBCPP_USE_AVAILABILITY_APPLE)
# define _LIBCPP_AVAILABILITY_SHARED_MUTEX \ # define _LIBCPP_AVAILABILITY_SHARED_MUTEX \

152
include/atomic
View File

@@ -646,23 +646,19 @@ static inline _LIBCPP_CONSTEXPR int __to_gcc_failure_order(memory_order __order)
} // namespace __gcc_atomic } // namespace __gcc_atomic
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline static inline
typename enable_if< typename enable_if<
__gcc_atomic::__can_assign<volatile _Atomic(_Tp)*, _Tp>::value>::type __gcc_atomic::__can_assign<volatile _Atomic(_Tp)*, _Tp>::value>::type
__c11_atomic_init(volatile _Atomic(_Tp)* __a, _Tp __val) __c11_atomic_init(volatile _Atomic(_Tp)* __a, _Tp __val) {
{
__a->__a_value = __val; __a->__a_value = __val;
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline static inline
typename enable_if< typename enable_if<
!__gcc_atomic::__can_assign<volatile _Atomic(_Tp)*, _Tp>::value && !__gcc_atomic::__can_assign<volatile _Atomic(_Tp)*, _Tp>::value &&
__gcc_atomic::__can_assign< _Atomic(_Tp)*, _Tp>::value>::type __gcc_atomic::__can_assign< _Atomic(_Tp)*, _Tp>::value>::type
__c11_atomic_init(volatile _Atomic(_Tp)* __a, _Tp __val) __c11_atomic_init(volatile _Atomic(_Tp)* __a, _Tp __val) {
{
// [atomics.types.generic]p1 guarantees _Tp is trivially copyable. Because // [atomics.types.generic]p1 guarantees _Tp is trivially copyable. Because
// the default operator= in an object is not volatile, a byte-by-byte copy // the default operator= in an object is not volatile, a byte-by-byte copy
// is required. // is required.
@@ -675,9 +671,7 @@ __c11_atomic_init(volatile _Atomic(_Tp)* __a, _Tp __val)
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1) static inline void __c11_atomic_init(_Atomic(_Tp)* __a, _Tp __val) {
static inline void __c11_atomic_init(_Atomic(_Tp)* __a, _Tp __val)
{
__a->__a_value = __val; __a->__a_value = __val;
} }
@@ -690,28 +684,22 @@ static inline void __c11_atomic_signal_fence(memory_order __order) {
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline void __c11_atomic_store(volatile _Atomic(_Tp)* __a, _Tp __val, static inline void __c11_atomic_store(volatile _Atomic(_Tp)* __a, _Tp __val,
memory_order __order) memory_order __order) {
{
return __atomic_store(&__a->__a_value, &__val, return __atomic_store(&__a->__a_value, &__val,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline void __c11_atomic_store(_Atomic(_Tp)* __a, _Tp __val, static inline void __c11_atomic_store(_Atomic(_Tp)* __a, _Tp __val,
memory_order __order) memory_order __order) {
{
__atomic_store(&__a->__a_value, &__val, __atomic_store(&__a->__a_value, &__val,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_load(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_load(volatile _Atomic(_Tp)* __a,
memory_order __order) memory_order __order) {
{
_Tp __ret; _Tp __ret;
__atomic_load(&__a->__a_value, &__ret, __atomic_load(&__a->__a_value, &__ret,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
@@ -719,9 +707,7 @@ static inline _Tp __c11_atomic_load(volatile _Atomic(_Tp)* __a,
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1) static inline _Tp __c11_atomic_load(_Atomic(_Tp)* __a, memory_order __order) {
static inline _Tp __c11_atomic_load(_Atomic(_Tp)* __a, memory_order __order)
{
_Tp __ret; _Tp __ret;
__atomic_load(&__a->__a_value, &__ret, __atomic_load(&__a->__a_value, &__ret,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
@@ -729,10 +715,8 @@ static inline _Tp __c11_atomic_load(_Atomic(_Tp)* __a, memory_order __order)
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_exchange(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_exchange(volatile _Atomic(_Tp)* __a,
_Tp __value, memory_order __order) _Tp __value, memory_order __order) {
{
_Tp __ret; _Tp __ret;
__atomic_exchange(&__a->__a_value, &__value, &__ret, __atomic_exchange(&__a->__a_value, &__value, &__ret,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
@@ -740,10 +724,8 @@ static inline _Tp __c11_atomic_exchange(volatile _Atomic(_Tp)* __a,
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_exchange(_Atomic(_Tp)* __a, _Tp __value, static inline _Tp __c11_atomic_exchange(_Atomic(_Tp)* __a, _Tp __value,
memory_order __order) memory_order __order) {
{
_Tp __ret; _Tp __ret;
__atomic_exchange(&__a->__a_value, &__value, &__ret, __atomic_exchange(&__a->__a_value, &__value, &__ret,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
@@ -751,11 +733,9 @@ static inline _Tp __c11_atomic_exchange(_Atomic(_Tp)* __a, _Tp __value,
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1, 2)
static inline bool __c11_atomic_compare_exchange_strong( static inline bool __c11_atomic_compare_exchange_strong(
volatile _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, volatile _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value,
memory_order __success, memory_order __failure) memory_order __success, memory_order __failure) {
{
return __atomic_compare_exchange(&__a->__a_value, __expected, &__value, return __atomic_compare_exchange(&__a->__a_value, __expected, &__value,
false, false,
__gcc_atomic::__to_gcc_order(__success), __gcc_atomic::__to_gcc_order(__success),
@@ -763,11 +743,9 @@ static inline bool __c11_atomic_compare_exchange_strong(
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1, 2)
static inline bool __c11_atomic_compare_exchange_strong( static inline bool __c11_atomic_compare_exchange_strong(
_Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, memory_order __success, _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, memory_order __success,
memory_order __failure) memory_order __failure) {
{
return __atomic_compare_exchange(&__a->__a_value, __expected, &__value, return __atomic_compare_exchange(&__a->__a_value, __expected, &__value,
false, false,
__gcc_atomic::__to_gcc_order(__success), __gcc_atomic::__to_gcc_order(__success),
@@ -775,11 +753,9 @@ static inline bool __c11_atomic_compare_exchange_strong(
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1, 2)
static inline bool __c11_atomic_compare_exchange_weak( static inline bool __c11_atomic_compare_exchange_weak(
volatile _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, volatile _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value,
memory_order __success, memory_order __failure) memory_order __success, memory_order __failure) {
{
return __atomic_compare_exchange(&__a->__a_value, __expected, &__value, return __atomic_compare_exchange(&__a->__a_value, __expected, &__value,
true, true,
__gcc_atomic::__to_gcc_order(__success), __gcc_atomic::__to_gcc_order(__success),
@@ -787,11 +763,9 @@ static inline bool __c11_atomic_compare_exchange_weak(
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1, 2)
static inline bool __c11_atomic_compare_exchange_weak( static inline bool __c11_atomic_compare_exchange_weak(
_Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, memory_order __success, _Atomic(_Tp)* __a, _Tp* __expected, _Tp __value, memory_order __success,
memory_order __failure) memory_order __failure) {
{
return __atomic_compare_exchange(&__a->__a_value, __expected, &__value, return __atomic_compare_exchange(&__a->__a_value, __expected, &__value,
true, true,
__gcc_atomic::__to_gcc_order(__success), __gcc_atomic::__to_gcc_order(__success),
@@ -812,91 +786,71 @@ template <typename _Tp, int n>
struct __skip_amt<_Tp[n]> { }; struct __skip_amt<_Tp[n]> { };
template <typename _Tp, typename _Td> template <typename _Tp, typename _Td>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_add(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_add(volatile _Atomic(_Tp)* __a,
_Td __delta, memory_order __order) _Td __delta, memory_order __order) {
{
return __atomic_fetch_add(&__a->__a_value, __delta * __skip_amt<_Tp>::value, return __atomic_fetch_add(&__a->__a_value, __delta * __skip_amt<_Tp>::value,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp, typename _Td> template <typename _Tp, typename _Td>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_add(_Atomic(_Tp)* __a, _Td __delta, static inline _Tp __c11_atomic_fetch_add(_Atomic(_Tp)* __a, _Td __delta,
memory_order __order) memory_order __order) {
{
return __atomic_fetch_add(&__a->__a_value, __delta * __skip_amt<_Tp>::value, return __atomic_fetch_add(&__a->__a_value, __delta * __skip_amt<_Tp>::value,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp, typename _Td> template <typename _Tp, typename _Td>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_sub(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_sub(volatile _Atomic(_Tp)* __a,
_Td __delta, memory_order __order) _Td __delta, memory_order __order) {
{
return __atomic_fetch_sub(&__a->__a_value, __delta * __skip_amt<_Tp>::value, return __atomic_fetch_sub(&__a->__a_value, __delta * __skip_amt<_Tp>::value,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp, typename _Td> template <typename _Tp, typename _Td>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_sub(_Atomic(_Tp)* __a, _Td __delta, static inline _Tp __c11_atomic_fetch_sub(_Atomic(_Tp)* __a, _Td __delta,
memory_order __order) memory_order __order) {
{
return __atomic_fetch_sub(&__a->__a_value, __delta * __skip_amt<_Tp>::value, return __atomic_fetch_sub(&__a->__a_value, __delta * __skip_amt<_Tp>::value,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_and(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_and(volatile _Atomic(_Tp)* __a,
_Tp __pattern, memory_order __order) _Tp __pattern, memory_order __order) {
{
return __atomic_fetch_and(&__a->__a_value, __pattern, return __atomic_fetch_and(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_and(_Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_and(_Atomic(_Tp)* __a,
_Tp __pattern, memory_order __order) _Tp __pattern, memory_order __order) {
{
return __atomic_fetch_and(&__a->__a_value, __pattern, return __atomic_fetch_and(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_or(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_or(volatile _Atomic(_Tp)* __a,
_Tp __pattern, memory_order __order) _Tp __pattern, memory_order __order) {
{
return __atomic_fetch_or(&__a->__a_value, __pattern, return __atomic_fetch_or(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_or(_Atomic(_Tp)* __a, _Tp __pattern, static inline _Tp __c11_atomic_fetch_or(_Atomic(_Tp)* __a, _Tp __pattern,
memory_order __order) memory_order __order) {
{
return __atomic_fetch_or(&__a->__a_value, __pattern, return __atomic_fetch_or(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_xor(volatile _Atomic(_Tp)* __a, static inline _Tp __c11_atomic_fetch_xor(volatile _Atomic(_Tp)* __a,
_Tp __pattern, memory_order __order) _Tp __pattern, memory_order __order) {
{
return __atomic_fetch_xor(&__a->__a_value, __pattern, return __atomic_fetch_xor(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
template <typename _Tp> template <typename _Tp>
_LIBCPP_NONNULL(1)
static inline _Tp __c11_atomic_fetch_xor(_Atomic(_Tp)* __a, _Tp __pattern, static inline _Tp __c11_atomic_fetch_xor(_Atomic(_Tp)* __a, _Tp __pattern,
memory_order __order) memory_order __order) {
{
return __atomic_fetch_xor(&__a->__a_value, __pattern, return __atomic_fetch_xor(&__a->__a_value, __pattern,
__gcc_atomic::__to_gcc_order(__order)); __gcc_atomic::__to_gcc_order(__order));
} }
@@ -1210,7 +1164,6 @@ struct atomic<_Tp*>
// atomic_is_lock_free // atomic_is_lock_free
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_is_lock_free(const volatile atomic<_Tp>* __o) _NOEXCEPT atomic_is_lock_free(const volatile atomic<_Tp>* __o) _NOEXCEPT
@@ -1219,7 +1172,6 @@ atomic_is_lock_free(const volatile atomic<_Tp>* __o) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_is_lock_free(const atomic<_Tp>* __o) _NOEXCEPT atomic_is_lock_free(const atomic<_Tp>* __o) _NOEXCEPT
@@ -1230,7 +1182,6 @@ atomic_is_lock_free(const atomic<_Tp>* __o) _NOEXCEPT
// atomic_init // atomic_init
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_init(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_init(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1239,7 +1190,6 @@ atomic_init(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_init(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_init(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1250,7 +1200,6 @@ atomic_init(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
// atomic_store // atomic_store
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_store(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_store(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1259,7 +1208,6 @@ atomic_store(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_store(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_store(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1270,7 +1218,6 @@ atomic_store(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
// atomic_store_explicit // atomic_store_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_store_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT atomic_store_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
@@ -1280,7 +1227,6 @@ atomic_store_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOE
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_store_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT atomic_store_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
@@ -1292,7 +1238,6 @@ atomic_store_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
// atomic_load // atomic_load
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_load(const volatile atomic<_Tp>* __o) _NOEXCEPT atomic_load(const volatile atomic<_Tp>* __o) _NOEXCEPT
@@ -1301,7 +1246,6 @@ atomic_load(const volatile atomic<_Tp>* __o) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_load(const atomic<_Tp>* __o) _NOEXCEPT atomic_load(const atomic<_Tp>* __o) _NOEXCEPT
@@ -1312,7 +1256,6 @@ atomic_load(const atomic<_Tp>* __o) _NOEXCEPT
// atomic_load_explicit // atomic_load_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_load_explicit(const volatile atomic<_Tp>* __o, memory_order __m) _NOEXCEPT atomic_load_explicit(const volatile atomic<_Tp>* __o, memory_order __m) _NOEXCEPT
@@ -1322,7 +1265,6 @@ atomic_load_explicit(const volatile atomic<_Tp>* __o, memory_order __m) _NOEXCEP
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_load_explicit(const atomic<_Tp>* __o, memory_order __m) _NOEXCEPT atomic_load_explicit(const atomic<_Tp>* __o, memory_order __m) _NOEXCEPT
@@ -1334,7 +1276,6 @@ atomic_load_explicit(const atomic<_Tp>* __o, memory_order __m) _NOEXCEPT
// atomic_exchange // atomic_exchange
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_exchange(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_exchange(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1343,7 +1284,6 @@ atomic_exchange(volatile atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_exchange(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT atomic_exchange(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
@@ -1354,7 +1294,6 @@ atomic_exchange(atomic<_Tp>* __o, _Tp __d) _NOEXCEPT
// atomic_exchange_explicit // atomic_exchange_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_exchange_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT atomic_exchange_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
@@ -1363,7 +1302,6 @@ atomic_exchange_explicit(volatile atomic<_Tp>* __o, _Tp __d, memory_order __m) _
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp _Tp
atomic_exchange_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT atomic_exchange_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
@@ -1374,7 +1312,6 @@ atomic_exchange_explicit(atomic<_Tp>* __o, _Tp __d, memory_order __m) _NOEXCEPT
// atomic_compare_exchange_weak // atomic_compare_exchange_weak
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_weak(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT atomic_compare_exchange_weak(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
@@ -1383,7 +1320,6 @@ atomic_compare_exchange_weak(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEX
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_weak(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT atomic_compare_exchange_weak(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
@@ -1394,7 +1330,6 @@ atomic_compare_exchange_weak(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
// atomic_compare_exchange_strong // atomic_compare_exchange_strong
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_strong(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT atomic_compare_exchange_strong(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
@@ -1403,7 +1338,6 @@ atomic_compare_exchange_strong(volatile atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NO
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_strong(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT atomic_compare_exchange_strong(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
@@ -1414,7 +1348,6 @@ atomic_compare_exchange_strong(atomic<_Tp>* __o, _Tp* __e, _Tp __d) _NOEXCEPT
// atomic_compare_exchange_weak_explicit // atomic_compare_exchange_weak_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_weak_explicit(volatile atomic<_Tp>* __o, _Tp* __e, atomic_compare_exchange_weak_explicit(volatile atomic<_Tp>* __o, _Tp* __e,
@@ -1426,7 +1359,6 @@ atomic_compare_exchange_weak_explicit(volatile atomic<_Tp>* __o, _Tp* __e,
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_weak_explicit(atomic<_Tp>* __o, _Tp* __e, _Tp __d, atomic_compare_exchange_weak_explicit(atomic<_Tp>* __o, _Tp* __e, _Tp __d,
@@ -1439,7 +1371,6 @@ atomic_compare_exchange_weak_explicit(atomic<_Tp>* __o, _Tp* __e, _Tp __d,
// atomic_compare_exchange_strong_explicit // atomic_compare_exchange_strong_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_strong_explicit(volatile atomic<_Tp>* __o, atomic_compare_exchange_strong_explicit(volatile atomic<_Tp>* __o,
@@ -1451,7 +1382,6 @@ atomic_compare_exchange_strong_explicit(volatile atomic<_Tp>* __o,
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1, 2)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_compare_exchange_strong_explicit(atomic<_Tp>* __o, _Tp* __e, atomic_compare_exchange_strong_explicit(atomic<_Tp>* __o, _Tp* __e,
@@ -1465,7 +1395,6 @@ atomic_compare_exchange_strong_explicit(atomic<_Tp>* __o, _Tp* __e,
// atomic_fetch_add // atomic_fetch_add
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1478,7 +1407,6 @@ atomic_fetch_add(volatile atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1491,7 +1419,6 @@ atomic_fetch_add(atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_add(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT atomic_fetch_add(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
@@ -1500,7 +1427,6 @@ atomic_fetch_add(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_add(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT atomic_fetch_add(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
@@ -1511,7 +1437,6 @@ atomic_fetch_add(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
// atomic_fetch_add_explicit // atomic_fetch_add_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1524,7 +1449,6 @@ atomic_fetch_add_explicit(volatile atomic<_Tp>* __o, _Tp __op, memory_order __m)
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1537,7 +1461,6 @@ atomic_fetch_add_explicit(atomic<_Tp>* __o, _Tp __op, memory_order __m) _NOEXCEP
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_add_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op, atomic_fetch_add_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op,
@@ -1547,7 +1470,6 @@ atomic_fetch_add_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op,
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_add_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _NOEXCEPT atomic_fetch_add_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _NOEXCEPT
@@ -1558,7 +1480,6 @@ atomic_fetch_add_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _
// atomic_fetch_sub // atomic_fetch_sub
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1571,7 +1492,6 @@ atomic_fetch_sub(volatile atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1584,7 +1504,6 @@ atomic_fetch_sub(atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_sub(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT atomic_fetch_sub(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
@@ -1593,7 +1512,6 @@ atomic_fetch_sub(volatile atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_sub(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT atomic_fetch_sub(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
@@ -1604,7 +1522,6 @@ atomic_fetch_sub(atomic<_Tp*>* __o, ptrdiff_t __op) _NOEXCEPT
// atomic_fetch_sub_explicit // atomic_fetch_sub_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1617,7 +1534,6 @@ atomic_fetch_sub_explicit(volatile atomic<_Tp>* __o, _Tp __op, memory_order __m)
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1630,7 +1546,6 @@ atomic_fetch_sub_explicit(atomic<_Tp>* __o, _Tp __op, memory_order __m) _NOEXCEP
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_sub_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op, atomic_fetch_sub_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op,
@@ -1640,7 +1555,6 @@ atomic_fetch_sub_explicit(volatile atomic<_Tp*>* __o, ptrdiff_t __op,
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
_Tp* _Tp*
atomic_fetch_sub_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _NOEXCEPT atomic_fetch_sub_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _NOEXCEPT
@@ -1651,7 +1565,6 @@ atomic_fetch_sub_explicit(atomic<_Tp*>* __o, ptrdiff_t __op, memory_order __m) _
// atomic_fetch_and // atomic_fetch_and
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1664,7 +1577,6 @@ atomic_fetch_and(volatile atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1679,7 +1591,6 @@ atomic_fetch_and(atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
// atomic_fetch_and_explicit // atomic_fetch_and_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1692,7 +1603,6 @@ atomic_fetch_and_explicit(volatile atomic<_Tp>* __o, _Tp __op, memory_order __m)
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1707,7 +1617,6 @@ atomic_fetch_and_explicit(atomic<_Tp>* __o, _Tp __op, memory_order __m) _NOEXCEP
// atomic_fetch_or // atomic_fetch_or
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1720,7 +1629,6 @@ atomic_fetch_or(volatile atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1735,7 +1643,6 @@ atomic_fetch_or(atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
// atomic_fetch_or_explicit // atomic_fetch_or_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1748,7 +1655,6 @@ atomic_fetch_or_explicit(volatile atomic<_Tp>* __o, _Tp __op, memory_order __m)
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1763,7 +1669,6 @@ atomic_fetch_or_explicit(atomic<_Tp>* __o, _Tp __op, memory_order __m) _NOEXCEPT
// atomic_fetch_xor // atomic_fetch_xor
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1776,7 +1681,6 @@ atomic_fetch_xor(volatile atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1791,7 +1695,6 @@ atomic_fetch_xor(atomic<_Tp>* __o, _Tp __op) _NOEXCEPT
// atomic_fetch_xor_explicit // atomic_fetch_xor_explicit
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1804,7 +1707,6 @@ atomic_fetch_xor_explicit(volatile atomic<_Tp>* __o, _Tp __op, memory_order __m)
} }
template <class _Tp> template <class _Tp>
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
typename enable_if typename enable_if
< <
@@ -1857,7 +1759,6 @@ private:
#endif #endif
} atomic_flag; } atomic_flag;
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_flag_test_and_set(volatile atomic_flag* __o) _NOEXCEPT atomic_flag_test_and_set(volatile atomic_flag* __o) _NOEXCEPT
@@ -1865,7 +1766,6 @@ atomic_flag_test_and_set(volatile atomic_flag* __o) _NOEXCEPT
return __o->test_and_set(); return __o->test_and_set();
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_flag_test_and_set(atomic_flag* __o) _NOEXCEPT atomic_flag_test_and_set(atomic_flag* __o) _NOEXCEPT
@@ -1873,7 +1773,6 @@ atomic_flag_test_and_set(atomic_flag* __o) _NOEXCEPT
return __o->test_and_set(); return __o->test_and_set();
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_flag_test_and_set_explicit(volatile atomic_flag* __o, memory_order __m) _NOEXCEPT atomic_flag_test_and_set_explicit(volatile atomic_flag* __o, memory_order __m) _NOEXCEPT
@@ -1881,7 +1780,6 @@ atomic_flag_test_and_set_explicit(volatile atomic_flag* __o, memory_order __m) _
return __o->test_and_set(__m); return __o->test_and_set(__m);
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
bool bool
atomic_flag_test_and_set_explicit(atomic_flag* __o, memory_order __m) _NOEXCEPT atomic_flag_test_and_set_explicit(atomic_flag* __o, memory_order __m) _NOEXCEPT
@@ -1889,7 +1787,6 @@ atomic_flag_test_and_set_explicit(atomic_flag* __o, memory_order __m) _NOEXCEPT
return __o->test_and_set(__m); return __o->test_and_set(__m);
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_flag_clear(volatile atomic_flag* __o) _NOEXCEPT atomic_flag_clear(volatile atomic_flag* __o) _NOEXCEPT
@@ -1897,7 +1794,6 @@ atomic_flag_clear(volatile atomic_flag* __o) _NOEXCEPT
__o->clear(); __o->clear();
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_flag_clear(atomic_flag* __o) _NOEXCEPT atomic_flag_clear(atomic_flag* __o) _NOEXCEPT
@@ -1905,7 +1801,6 @@ atomic_flag_clear(atomic_flag* __o) _NOEXCEPT
__o->clear(); __o->clear();
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_flag_clear_explicit(volatile atomic_flag* __o, memory_order __m) _NOEXCEPT atomic_flag_clear_explicit(volatile atomic_flag* __o, memory_order __m) _NOEXCEPT
@@ -1913,7 +1808,6 @@ atomic_flag_clear_explicit(volatile atomic_flag* __o, memory_order __m) _NOEXCEP
__o->clear(__m); __o->clear(__m);
} }
_LIBCPP_NONNULL(1)
inline _LIBCPP_INLINE_VISIBILITY inline _LIBCPP_INLINE_VISIBILITY
void void
atomic_flag_clear_explicit(atomic_flag* __o, memory_order __m) _NOEXCEPT atomic_flag_clear_explicit(atomic_flag* __o, memory_order __m) _NOEXCEPT

92
test/libcxx/atomics/diagnose_nonnull.fail.cpp
View File

@@ -1,92 +0,0 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// REQUIRES: verify-support
// UNSUPPORTED: libcpp-has-no-threads
// <atomic>
// Test that null pointer parameters are diagnosed.
#include <atomic>
int main() {
std::atomic<int> ai;
volatile std::atomic<int> vai;
int i = 42;
atomic_is_lock_free((const volatile std::atomic<int>*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_is_lock_free((const std::atomic<int>*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_init((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_init((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_store((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_store((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_store_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
atomic_store_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_load((const volatile std::atomic<int>*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_load((const std::atomic<int>*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_load_explicit((const volatile std::atomic<int>*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_load_explicit((const std::atomic<int>*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_exchange((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_exchange((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_exchange_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_exchange_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak((volatile std::atomic<int>*)0, &i, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak((std::atomic<int>*)0, &i, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong((volatile std::atomic<int>*)0, &i, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong((std::atomic<int>*)0, &i, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak(&vai, (int*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak(&ai, (int*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong(&vai, (int*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong(&ai, (int*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak_explicit((volatile std::atomic<int>*)0, &i, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak_explicit((std::atomic<int>*)0, &i, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong_explicit((volatile std::atomic<int>*)0, &i, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong_explicit((std::atomic<int>*)0, &i, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak_explicit(&vai, (int*)0, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_weak_explicit(&ai, (int*)0, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong_explicit(&vai, (int*)0, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_compare_exchange_strong_explicit(&ai, (int*)0, 42, std::memory_order_relaxed, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add((volatile std::atomic<int*>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add((std::atomic<int*>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add_explicit((volatile std::atomic<int*>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_add_explicit((std::atomic<int*>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub((volatile std::atomic<int*>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub((std::atomic<int*>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub_explicit((volatile std::atomic<int*>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_sub_explicit((std::atomic<int*>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_and((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_and((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_and_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_and_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_or((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_or((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_or_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_or_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_xor((volatile std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_xor((std::atomic<int>*)0, 42); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_xor_explicit((volatile std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_fetch_xor_explicit((std::atomic<int>*)0, 42, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_test_and_set((volatile std::atomic_flag*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_test_and_set((std::atomic_flag*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_test_and_set_explicit((volatile std::atomic_flag*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_test_and_set_explicit((std::atomic_flag*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_clear((volatile std::atomic_flag*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_clear((std::atomic_flag*)0); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_clear_explicit((volatile std::atomic_flag*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
(void)atomic_flag_clear_explicit((std::atomic_flag*)0, std::memory_order_relaxed); // expected-error {{null passed to a callee that requires a non-null argument}}
}