xref: /minix3/external/bsd/llvm/dist/clang/test/Sema/atomic-ops.c (revision 0a6a1f1d05b60e214de2f05a7310ddd1f0e590e7)
1 // RUN: %clang_cc1 %s -verify -ffreestanding -fsyntax-only -triple=i686-linux-gnu -std=c11
2 
3 // Basic parsing/Sema tests for __c11_atomic_*
4 
5 #include <stdatomic.h>
6 
7 struct S { char c[3]; };
8 
9 _Static_assert(__GCC_ATOMIC_BOOL_LOCK_FREE == 2, "");
10 _Static_assert(__GCC_ATOMIC_CHAR_LOCK_FREE == 2, "");
11 _Static_assert(__GCC_ATOMIC_CHAR16_T_LOCK_FREE == 2, "");
12 _Static_assert(__GCC_ATOMIC_CHAR32_T_LOCK_FREE == 2, "");
13 _Static_assert(__GCC_ATOMIC_WCHAR_T_LOCK_FREE == 2, "");
14 _Static_assert(__GCC_ATOMIC_SHORT_LOCK_FREE == 2, "");
15 _Static_assert(__GCC_ATOMIC_INT_LOCK_FREE == 2, "");
16 _Static_assert(__GCC_ATOMIC_LONG_LOCK_FREE == 2, "");
17 #ifdef __i386__
18 _Static_assert(__GCC_ATOMIC_LLONG_LOCK_FREE == 1, "");
19 #else
20 _Static_assert(__GCC_ATOMIC_LLONG_LOCK_FREE == 2, "");
21 #endif
22 _Static_assert(__GCC_ATOMIC_POINTER_LOCK_FREE == 2, "");
23 
24 _Static_assert(__c11_atomic_is_lock_free(1), "");
25 _Static_assert(__c11_atomic_is_lock_free(2), "");
26 _Static_assert(__c11_atomic_is_lock_free(3), ""); // expected-error {{not an integral constant expression}}
27 _Static_assert(__c11_atomic_is_lock_free(4), "");
28 _Static_assert(__c11_atomic_is_lock_free(8), "");
29 _Static_assert(__c11_atomic_is_lock_free(16), ""); // expected-error {{not an integral constant expression}}
30 _Static_assert(__c11_atomic_is_lock_free(17), ""); // expected-error {{not an integral constant expression}}
31 
32 _Static_assert(__atomic_is_lock_free(1, 0), "");
33 _Static_assert(__atomic_is_lock_free(2, 0), "");
34 _Static_assert(__atomic_is_lock_free(3, 0), ""); // expected-error {{not an integral constant expression}}
35 _Static_assert(__atomic_is_lock_free(4, 0), "");
36 _Static_assert(__atomic_is_lock_free(8, 0), "");
37 _Static_assert(__atomic_is_lock_free(16, 0), ""); // expected-error {{not an integral constant expression}}
38 _Static_assert(__atomic_is_lock_free(17, 0), ""); // expected-error {{not an integral constant expression}}
39 
40 _Static_assert(atomic_is_lock_free((atomic_char*)0), "");
41 _Static_assert(atomic_is_lock_free((atomic_short*)0), "");
42 _Static_assert(atomic_is_lock_free((atomic_int*)0), "");
43 _Static_assert(atomic_is_lock_free((atomic_long*)0), "");
44 // expected-error@+1 {{__int128 is not supported on this target}}
45 _Static_assert(atomic_is_lock_free((_Atomic(__int128)*)0), ""); // expected-error {{not an integral constant expression}}
46 _Static_assert(atomic_is_lock_free(0 + (atomic_char*)0), "");
47 
48 char i8;
49 short i16;
50 int i32;
51 int __attribute__((vector_size(8))) i64;
52 struct Incomplete *incomplete; // expected-note {{forward declaration of 'struct Incomplete'}}
53 
54 _Static_assert(__atomic_is_lock_free(1, &i8), "");
55 _Static_assert(__atomic_is_lock_free(1, &i64), "");
56 _Static_assert(__atomic_is_lock_free(2, &i8), ""); // expected-error {{not an integral constant expression}}
57 _Static_assert(__atomic_is_lock_free(2, &i16), "");
58 _Static_assert(__atomic_is_lock_free(2, &i64), "");
59 _Static_assert(__atomic_is_lock_free(4, &i16), ""); // expected-error {{not an integral constant expression}}
60 _Static_assert(__atomic_is_lock_free(4, &i32), "");
61 _Static_assert(__atomic_is_lock_free(4, &i64), "");
62 _Static_assert(__atomic_is_lock_free(8, &i32), ""); // expected-error {{not an integral constant expression}}
63 _Static_assert(__atomic_is_lock_free(8, &i64), "");
64 
65 _Static_assert(__atomic_always_lock_free(1, 0), "");
66 _Static_assert(__atomic_always_lock_free(2, 0), "");
67 _Static_assert(!__atomic_always_lock_free(3, 0), "");
68 _Static_assert(__atomic_always_lock_free(4, 0), "");
69 _Static_assert(__atomic_always_lock_free(8, 0), "");
70 _Static_assert(!__atomic_always_lock_free(16, 0), "");
71 _Static_assert(!__atomic_always_lock_free(17, 0), "");
72 
73 _Static_assert(__atomic_always_lock_free(1, incomplete), "");
74 _Static_assert(!__atomic_always_lock_free(2, incomplete), "");
75 _Static_assert(!__atomic_always_lock_free(4, incomplete), "");
76 
77 _Static_assert(__atomic_always_lock_free(1, &i8), "");
78 _Static_assert(__atomic_always_lock_free(1, &i64), "");
79 _Static_assert(!__atomic_always_lock_free(2, &i8), "");
80 _Static_assert(__atomic_always_lock_free(2, &i16), "");
81 _Static_assert(__atomic_always_lock_free(2, &i64), "");
82 _Static_assert(!__atomic_always_lock_free(4, &i16), "");
83 _Static_assert(__atomic_always_lock_free(4, &i32), "");
84 _Static_assert(__atomic_always_lock_free(4, &i64), "");
85 _Static_assert(!__atomic_always_lock_free(8, &i32), "");
86 _Static_assert(__atomic_always_lock_free(8, &i64), "");
87 
f(_Atomic (int)* i,_Atomic (int *)* p,_Atomic (float)* d,int * I,int ** P,float * D,struct S * s1,struct S * s2)88 void f(_Atomic(int) *i, _Atomic(int*) *p, _Atomic(float) *d,
89        int *I, int **P, float *D, struct S *s1, struct S *s2) {
90   __c11_atomic_init(I, 5); // expected-error {{pointer to _Atomic}}
91   __c11_atomic_load(0); // expected-error {{too few arguments to function}}
92   __c11_atomic_load(0,0,0); // expected-error {{too many arguments to function}}
93   __c11_atomic_store(0,0,0); // expected-error {{address argument to atomic builtin must be a pointer}}
94   __c11_atomic_store((int*)0,0,0); // expected-error {{address argument to atomic operation must be a pointer to _Atomic}}
95 
96   __c11_atomic_load(i, memory_order_seq_cst);
97   __c11_atomic_load(p, memory_order_seq_cst);
98   __c11_atomic_load(d, memory_order_seq_cst);
99 
100   int load_n_1 = __atomic_load_n(I, memory_order_relaxed);
101   int *load_n_2 = __atomic_load_n(P, memory_order_relaxed);
102   float load_n_3 = __atomic_load_n(D, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
103   __atomic_load_n(s1, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
104 
105   __atomic_load(i, I, memory_order_relaxed); // expected-error {{must be a pointer to a trivially-copyable type}}
106   __atomic_load(I, i, memory_order_relaxed); // expected-warning {{passing '_Atomic(int) *' to parameter of type 'int *'}}
107   __atomic_load(I, *P, memory_order_relaxed);
108   __atomic_load(I, *P, memory_order_relaxed, 42); // expected-error {{too many arguments}}
109   (int)__atomic_load(I, I, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
110   __atomic_load(s1, s2, memory_order_acquire);
111 
112   __c11_atomic_store(i, 1, memory_order_seq_cst);
113   __c11_atomic_store(p, 1, memory_order_seq_cst); // expected-warning {{incompatible integer to pointer conversion}}
114   (int)__c11_atomic_store(d, 1, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
115 
116   __atomic_store_n(I, 4, memory_order_release);
117   __atomic_store_n(I, 4.0, memory_order_release);
118   __atomic_store_n(I, P, memory_order_release); // expected-warning {{parameter of type 'int'}}
119   __atomic_store_n(i, 1, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
120   __atomic_store_n(s1, *s2, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
121 
122   __atomic_store(I, *P, memory_order_release);
123   __atomic_store(s1, s2, memory_order_release);
124   __atomic_store(i, I, memory_order_release); // expected-error {{trivially-copyable}}
125 
126   int exchange_1 = __c11_atomic_exchange(i, 1, memory_order_seq_cst);
127   int exchange_2 = __c11_atomic_exchange(I, 1, memory_order_seq_cst); // expected-error {{must be a pointer to _Atomic}}
128   int exchange_3 = __atomic_exchange_n(i, 1, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
129   int exchange_4 = __atomic_exchange_n(I, 1, memory_order_seq_cst);
130 
131   __atomic_exchange(s1, s2, s2, memory_order_seq_cst);
132   __atomic_exchange(s1, I, P, memory_order_seq_cst); // expected-warning 2{{parameter of type 'struct S *'}}
133   (int)__atomic_exchange(s1, s2, s2, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
134 
135   __c11_atomic_fetch_add(i, 1, memory_order_seq_cst);
136   __c11_atomic_fetch_add(p, 1, memory_order_seq_cst);
137   __c11_atomic_fetch_add(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer or pointer}}
138 
139   __atomic_fetch_add(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer or pointer}}
140   __atomic_fetch_sub(I, 3, memory_order_seq_cst);
141   __atomic_fetch_sub(P, 3, memory_order_seq_cst);
142   __atomic_fetch_sub(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
143   __atomic_fetch_sub(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
144 
145   __c11_atomic_fetch_and(i, 1, memory_order_seq_cst);
146   __c11_atomic_fetch_and(p, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
147   __c11_atomic_fetch_and(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
148 
149   __atomic_fetch_and(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer}}
150   __atomic_fetch_or(I, 3, memory_order_seq_cst);
151   __atomic_fetch_xor(P, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
152   __atomic_fetch_or(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
153   __atomic_fetch_and(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
154 
155   _Bool cmpexch_1 = __c11_atomic_compare_exchange_strong(i, 0, 1, memory_order_seq_cst, memory_order_seq_cst);
156   _Bool cmpexch_2 = __c11_atomic_compare_exchange_strong(p, 0, (int*)1, memory_order_seq_cst, memory_order_seq_cst);
157   _Bool cmpexch_3 = __c11_atomic_compare_exchange_strong(d, (int*)0, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{incompatible pointer types}}
158 
159   _Bool cmpexch_4 = __atomic_compare_exchange_n(I, I, 5, 1, memory_order_seq_cst, memory_order_seq_cst);
160   _Bool cmpexch_5 = __atomic_compare_exchange_n(I, P, 5, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
161   _Bool cmpexch_6 = __atomic_compare_exchange_n(I, I, P, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{passing 'int **' to parameter of type 'int'}}
162 
163   _Bool cmpexch_7 = __atomic_compare_exchange(I, I, 5, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{passing 'int' to parameter of type 'int *'}}
164   _Bool cmpexch_8 = __atomic_compare_exchange(I, P, I, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
165   _Bool cmpexch_9 = __atomic_compare_exchange(I, I, I, 0, memory_order_seq_cst, memory_order_seq_cst);
166 
167   const volatile int flag_k = 0;
168   volatile int flag = 0;
169   (void)(int)__atomic_test_and_set(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
170   (void)(int)__atomic_test_and_set(&flag, memory_order_seq_cst);
171   __atomic_clear(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
172   __atomic_clear(&flag, memory_order_seq_cst);
173   (int)__atomic_clear(&flag, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
174 
175   const _Atomic(int) const_atomic;
176   __c11_atomic_init(&const_atomic, 0); // expected-error {{address argument to atomic operation must be a pointer to non-const _Atomic type ('const _Atomic(int) *' invalid)}}
177   __c11_atomic_store(&const_atomic, 0, memory_order_release); // expected-error {{address argument to atomic operation must be a pointer to non-const _Atomic type ('const _Atomic(int) *' invalid)}}
178   __c11_atomic_load(&const_atomic, memory_order_acquire); // expected-error {{address argument to atomic operation must be a pointer to non-const _Atomic type ('const _Atomic(int) *' invalid)}}
179 
180   // Ensure the <stdatomic.h> macros behave appropriately.
181   atomic_int n = ATOMIC_VAR_INIT(123);
182   atomic_init(&n, 456);
183   atomic_init(&n, (void*)0); // expected-warning {{passing 'void *' to parameter of type 'int'}}
184 
185   const atomic_wchar_t cawt;
186   atomic_init(&cawt, L'x'); // expected-error {{non-const}}
187   atomic_wchar_t awt;
188   atomic_init(&awt, L'x');
189 
190   int x = kill_dependency(12);
191 
192   atomic_thread_fence(); // expected-error {{too few arguments to function call}}
193   atomic_thread_fence(memory_order_seq_cst);
194   atomic_signal_fence(memory_order_seq_cst);
195   void (*pfn)(memory_order) = &atomic_thread_fence;
196   pfn = &atomic_signal_fence;
197 
198   int k = atomic_load_explicit(&n, memory_order_relaxed);
199   atomic_store_explicit(&n, k, memory_order_relaxed);
200   atomic_store(&n, atomic_load(&n));
201 
202   k = atomic_exchange(&n, 72);
203   k = atomic_exchange_explicit(&n, k, memory_order_release);
204 
205   atomic_compare_exchange_strong(&n, k, k); // expected-warning {{take the address with &}}
206   atomic_compare_exchange_weak(&n, &k, k);
207   atomic_compare_exchange_strong_explicit(&n, &k, k, memory_order_seq_cst); // expected-error {{too few arguments}}
208   atomic_compare_exchange_weak_explicit(&n, &k, k, memory_order_seq_cst, memory_order_acquire);
209 
210   atomic_fetch_add(&k, n); // expected-error {{must be a pointer to _Atomic}}
211   k = atomic_fetch_add(&n, k);
212   k = atomic_fetch_sub(&n, k);
213   k = atomic_fetch_and(&n, k);
214   k = atomic_fetch_or(&n, k);
215   k = atomic_fetch_xor(&n, k);
216   k = atomic_fetch_add_explicit(&n, k, memory_order_acquire);
217   k = atomic_fetch_sub_explicit(&n, k, memory_order_release);
218   k = atomic_fetch_and_explicit(&n, k, memory_order_acq_rel);
219   k = atomic_fetch_or_explicit(&n, k, memory_order_consume);
220   k = atomic_fetch_xor_explicit(&n, k, memory_order_relaxed);
221 
222   // C11 7.17.1/4: atomic_flag is a structure type.
223   struct atomic_flag must_be_struct = ATOMIC_FLAG_INIT;
224   // C11 7.17.8/5 implies that it is also a typedef type.
225   atomic_flag guard = ATOMIC_FLAG_INIT;
226   _Bool old_val = atomic_flag_test_and_set(&guard);
227   if (old_val) atomic_flag_clear(&guard);
228 
229   old_val = (atomic_flag_test_and_set)(&guard);
230   if (old_val) (atomic_flag_clear)(&guard);
231 
232   const atomic_flag const_guard;
233   atomic_flag_test_and_set(&const_guard); // expected-error {{address argument to atomic operation must be a pointer to non-const _Atomic type ('const atomic_bool *' (aka 'const _Atomic(_Bool) *') invalid)}}
234   atomic_flag_clear(&const_guard); // expected-error {{address argument to atomic operation must be a pointer to non-const _Atomic type ('const atomic_bool *' (aka 'const _Atomic(_Bool) *') invalid)}}
235 }
236 
237 _Atomic(int*) PR12527_a;
PR12527()238 void PR12527() { int *b = PR12527_a; }
239 
PR16931(int * x)240 void PR16931(int* x) { // expected-note {{passing argument to parameter 'x' here}}
241   typedef struct { _Atomic(_Bool) flag; } flag;
242   flag flagvar = { 0 };
243   PR16931(&flagvar); // expected-warning {{incompatible pointer types}}
244 }
245 
memory_checks(_Atomic (int)* Ap,int * p,int val)246 void memory_checks(_Atomic(int) *Ap, int *p, int val) {
247   (void)__c11_atomic_load(Ap, memory_order_relaxed);
248   (void)__c11_atomic_load(Ap, memory_order_acquire);
249   (void)__c11_atomic_load(Ap, memory_order_consume);
250   (void)__c11_atomic_load(Ap, memory_order_release); // expected-warning {{memory order argument to atomic operation is invalid}}
251   (void)__c11_atomic_load(Ap, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
252   (void)__c11_atomic_load(Ap, memory_order_seq_cst);
253   (void)__c11_atomic_load(Ap, val);
254   (void)__c11_atomic_load(Ap, -1); // expected-warning {{memory order argument to atomic operation is invalid}}
255   (void)__c11_atomic_load(Ap, 42); // expected-warning {{memory order argument to atomic operation is invalid}}
256 
257   (void)__c11_atomic_store(Ap, val, memory_order_relaxed);
258   (void)__c11_atomic_store(Ap, val, memory_order_acquire); // expected-warning {{memory order argument to atomic operation is invalid}}
259   (void)__c11_atomic_store(Ap, val, memory_order_consume); // expected-warning {{memory order argument to atomic operation is invalid}}
260   (void)__c11_atomic_store(Ap, val, memory_order_release);
261   (void)__c11_atomic_store(Ap, val, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
262   (void)__c11_atomic_store(Ap, val, memory_order_seq_cst);
263 
264   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_relaxed);
265   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_acquire);
266   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_consume);
267   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_release);
268   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_acq_rel);
269   (void)__c11_atomic_fetch_add(Ap, 1, memory_order_seq_cst);
270 
271   (void)__c11_atomic_fetch_add(
272       (struct Incomplete * _Atomic *)0, // expected-error {{incomplete type 'struct Incomplete'}}
273       1, memory_order_seq_cst);
274 
275   (void)__c11_atomic_init(Ap, val);
276   (void)__c11_atomic_init(Ap, val);
277   (void)__c11_atomic_init(Ap, val);
278   (void)__c11_atomic_init(Ap, val);
279   (void)__c11_atomic_init(Ap, val);
280   (void)__c11_atomic_init(Ap, val);
281 
282   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_relaxed);
283   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_acquire);
284   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_consume);
285   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_release);
286   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_acq_rel);
287   (void)__c11_atomic_fetch_sub(Ap, val, memory_order_seq_cst);
288 
289   (void)__c11_atomic_fetch_and(Ap, val, memory_order_relaxed);
290   (void)__c11_atomic_fetch_and(Ap, val, memory_order_acquire);
291   (void)__c11_atomic_fetch_and(Ap, val, memory_order_consume);
292   (void)__c11_atomic_fetch_and(Ap, val, memory_order_release);
293   (void)__c11_atomic_fetch_and(Ap, val, memory_order_acq_rel);
294   (void)__c11_atomic_fetch_and(Ap, val, memory_order_seq_cst);
295 
296   (void)__c11_atomic_fetch_or(Ap, val, memory_order_relaxed);
297   (void)__c11_atomic_fetch_or(Ap, val, memory_order_acquire);
298   (void)__c11_atomic_fetch_or(Ap, val, memory_order_consume);
299   (void)__c11_atomic_fetch_or(Ap, val, memory_order_release);
300   (void)__c11_atomic_fetch_or(Ap, val, memory_order_acq_rel);
301   (void)__c11_atomic_fetch_or(Ap, val, memory_order_seq_cst);
302 
303   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_relaxed);
304   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_acquire);
305   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_consume);
306   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_release);
307   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_acq_rel);
308   (void)__c11_atomic_fetch_xor(Ap, val, memory_order_seq_cst);
309 
310   (void)__c11_atomic_exchange(Ap, val, memory_order_relaxed);
311   (void)__c11_atomic_exchange(Ap, val, memory_order_acquire);
312   (void)__c11_atomic_exchange(Ap, val, memory_order_consume);
313   (void)__c11_atomic_exchange(Ap, val, memory_order_release);
314   (void)__c11_atomic_exchange(Ap, val, memory_order_acq_rel);
315   (void)__c11_atomic_exchange(Ap, val, memory_order_seq_cst);
316 
317   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_relaxed, memory_order_relaxed);
318   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_acquire, memory_order_relaxed);
319   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_consume, memory_order_relaxed);
320   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_release, memory_order_relaxed);
321   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_acq_rel, memory_order_relaxed);
322   (void)__c11_atomic_compare_exchange_strong(Ap, p, val, memory_order_seq_cst, memory_order_relaxed);
323 
324   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_relaxed, memory_order_relaxed);
325   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_acquire, memory_order_relaxed);
326   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_consume, memory_order_relaxed);
327   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_release, memory_order_relaxed);
328   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_acq_rel, memory_order_relaxed);
329   (void)__c11_atomic_compare_exchange_weak(Ap, p, val, memory_order_seq_cst, memory_order_relaxed);
330 
331   (void)__atomic_load_n(p, memory_order_relaxed);
332   (void)__atomic_load_n(p, memory_order_acquire);
333   (void)__atomic_load_n(p, memory_order_consume);
334   (void)__atomic_load_n(p, memory_order_release); // expected-warning {{memory order argument to atomic operation is invalid}}
335   (void)__atomic_load_n(p, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
336   (void)__atomic_load_n(p, memory_order_seq_cst);
337 
338   (void)__atomic_load(p, p, memory_order_relaxed);
339   (void)__atomic_load(p, p, memory_order_acquire);
340   (void)__atomic_load(p, p, memory_order_consume);
341   (void)__atomic_load(p, p, memory_order_release); // expected-warning {{memory order argument to atomic operation is invalid}}
342   (void)__atomic_load(p, p, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
343   (void)__atomic_load(p, p, memory_order_seq_cst);
344 
345   (void)__atomic_store(p, p, memory_order_relaxed);
346   (void)__atomic_store(p, p, memory_order_acquire); // expected-warning {{memory order argument to atomic operation is invalid}}
347   (void)__atomic_store(p, p, memory_order_consume); // expected-warning {{memory order argument to atomic operation is invalid}}
348   (void)__atomic_store(p, p, memory_order_release);
349   (void)__atomic_store(p, p, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
350   (void)__atomic_store(p, p, memory_order_seq_cst);
351 
352   (void)__atomic_store_n(p, val, memory_order_relaxed);
353   (void)__atomic_store_n(p, val, memory_order_acquire); // expected-warning {{memory order argument to atomic operation is invalid}}
354   (void)__atomic_store_n(p, val, memory_order_consume); // expected-warning {{memory order argument to atomic operation is invalid}}
355   (void)__atomic_store_n(p, val, memory_order_release);
356   (void)__atomic_store_n(p, val, memory_order_acq_rel); // expected-warning {{memory order argument to atomic operation is invalid}}
357   (void)__atomic_store_n(p, val, memory_order_seq_cst);
358 
359   (void)__atomic_fetch_add(p, val, memory_order_relaxed);
360   (void)__atomic_fetch_add(p, val, memory_order_acquire);
361   (void)__atomic_fetch_add(p, val, memory_order_consume);
362   (void)__atomic_fetch_add(p, val, memory_order_release);
363   (void)__atomic_fetch_add(p, val, memory_order_acq_rel);
364   (void)__atomic_fetch_add(p, val, memory_order_seq_cst);
365 
366   (void)__atomic_fetch_sub(p, val, memory_order_relaxed);
367   (void)__atomic_fetch_sub(p, val, memory_order_acquire);
368   (void)__atomic_fetch_sub(p, val, memory_order_consume);
369   (void)__atomic_fetch_sub(p, val, memory_order_release);
370   (void)__atomic_fetch_sub(p, val, memory_order_acq_rel);
371   (void)__atomic_fetch_sub(p, val, memory_order_seq_cst);
372 
373   (void)__atomic_add_fetch(p, val, memory_order_relaxed);
374   (void)__atomic_add_fetch(p, val, memory_order_acquire);
375   (void)__atomic_add_fetch(p, val, memory_order_consume);
376   (void)__atomic_add_fetch(p, val, memory_order_release);
377   (void)__atomic_add_fetch(p, val, memory_order_acq_rel);
378   (void)__atomic_add_fetch(p, val, memory_order_seq_cst);
379 
380   (void)__atomic_sub_fetch(p, val, memory_order_relaxed);
381   (void)__atomic_sub_fetch(p, val, memory_order_acquire);
382   (void)__atomic_sub_fetch(p, val, memory_order_consume);
383   (void)__atomic_sub_fetch(p, val, memory_order_release);
384   (void)__atomic_sub_fetch(p, val, memory_order_acq_rel);
385   (void)__atomic_sub_fetch(p, val, memory_order_seq_cst);
386 
387   (void)__atomic_fetch_and(p, val, memory_order_relaxed);
388   (void)__atomic_fetch_and(p, val, memory_order_acquire);
389   (void)__atomic_fetch_and(p, val, memory_order_consume);
390   (void)__atomic_fetch_and(p, val, memory_order_release);
391   (void)__atomic_fetch_and(p, val, memory_order_acq_rel);
392   (void)__atomic_fetch_and(p, val, memory_order_seq_cst);
393 
394   (void)__atomic_fetch_or(p, val, memory_order_relaxed);
395   (void)__atomic_fetch_or(p, val, memory_order_acquire);
396   (void)__atomic_fetch_or(p, val, memory_order_consume);
397   (void)__atomic_fetch_or(p, val, memory_order_release);
398   (void)__atomic_fetch_or(p, val, memory_order_acq_rel);
399   (void)__atomic_fetch_or(p, val, memory_order_seq_cst);
400 
401   (void)__atomic_fetch_xor(p, val, memory_order_relaxed);
402   (void)__atomic_fetch_xor(p, val, memory_order_acquire);
403   (void)__atomic_fetch_xor(p, val, memory_order_consume);
404   (void)__atomic_fetch_xor(p, val, memory_order_release);
405   (void)__atomic_fetch_xor(p, val, memory_order_acq_rel);
406   (void)__atomic_fetch_xor(p, val, memory_order_seq_cst);
407 
408   (void)__atomic_fetch_nand(p, val, memory_order_relaxed);
409   (void)__atomic_fetch_nand(p, val, memory_order_acquire);
410   (void)__atomic_fetch_nand(p, val, memory_order_consume);
411   (void)__atomic_fetch_nand(p, val, memory_order_release);
412   (void)__atomic_fetch_nand(p, val, memory_order_acq_rel);
413   (void)__atomic_fetch_nand(p, val, memory_order_seq_cst);
414 
415   (void)__atomic_and_fetch(p, val, memory_order_relaxed);
416   (void)__atomic_and_fetch(p, val, memory_order_acquire);
417   (void)__atomic_and_fetch(p, val, memory_order_consume);
418   (void)__atomic_and_fetch(p, val, memory_order_release);
419   (void)__atomic_and_fetch(p, val, memory_order_acq_rel);
420   (void)__atomic_and_fetch(p, val, memory_order_seq_cst);
421 
422   (void)__atomic_or_fetch(p, val, memory_order_relaxed);
423   (void)__atomic_or_fetch(p, val, memory_order_acquire);
424   (void)__atomic_or_fetch(p, val, memory_order_consume);
425   (void)__atomic_or_fetch(p, val, memory_order_release);
426   (void)__atomic_or_fetch(p, val, memory_order_acq_rel);
427   (void)__atomic_or_fetch(p, val, memory_order_seq_cst);
428 
429   (void)__atomic_xor_fetch(p, val, memory_order_relaxed);
430   (void)__atomic_xor_fetch(p, val, memory_order_acquire);
431   (void)__atomic_xor_fetch(p, val, memory_order_consume);
432   (void)__atomic_xor_fetch(p, val, memory_order_release);
433   (void)__atomic_xor_fetch(p, val, memory_order_acq_rel);
434   (void)__atomic_xor_fetch(p, val, memory_order_seq_cst);
435 
436   (void)__atomic_nand_fetch(p, val, memory_order_relaxed);
437   (void)__atomic_nand_fetch(p, val, memory_order_acquire);
438   (void)__atomic_nand_fetch(p, val, memory_order_consume);
439   (void)__atomic_nand_fetch(p, val, memory_order_release);
440   (void)__atomic_nand_fetch(p, val, memory_order_acq_rel);
441   (void)__atomic_nand_fetch(p, val, memory_order_seq_cst);
442 
443   (void)__atomic_exchange_n(p, val, memory_order_relaxed);
444   (void)__atomic_exchange_n(p, val, memory_order_acquire);
445   (void)__atomic_exchange_n(p, val, memory_order_consume);
446   (void)__atomic_exchange_n(p, val, memory_order_release);
447   (void)__atomic_exchange_n(p, val, memory_order_acq_rel);
448   (void)__atomic_exchange_n(p, val, memory_order_seq_cst);
449 
450   (void)__atomic_exchange(p, p, p, memory_order_relaxed);
451   (void)__atomic_exchange(p, p, p, memory_order_acquire);
452   (void)__atomic_exchange(p, p, p, memory_order_consume);
453   (void)__atomic_exchange(p, p, p, memory_order_release);
454   (void)__atomic_exchange(p, p, p, memory_order_acq_rel);
455   (void)__atomic_exchange(p, p, p, memory_order_seq_cst);
456 
457   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_relaxed, memory_order_relaxed);
458   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_acquire, memory_order_relaxed);
459   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_consume, memory_order_relaxed);
460   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_release, memory_order_relaxed);
461   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_acq_rel, memory_order_relaxed);
462   (void)__atomic_compare_exchange(p, p, p, 0, memory_order_seq_cst, memory_order_relaxed);
463 
464   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_relaxed, memory_order_relaxed);
465   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_acquire, memory_order_relaxed);
466   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_consume, memory_order_relaxed);
467   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_release, memory_order_relaxed);
468   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_acq_rel, memory_order_relaxed);
469   (void)__atomic_compare_exchange_n(p, p, val, 0, memory_order_seq_cst, memory_order_relaxed);
470 }
471 
472 
473