1 // RUN: %clang_cc1 %s -verify -fsyntax-only -triple=i686-linux-gnu -std=c11
2 // RUN: %clang_cc1 %s -verify -fsyntax-only -triple=aarch64-linux-gnu -std=c11
3 
4 // Basic parsing/Sema tests for __c11_atomic_*
5 
6 typedef enum memory_order {
7   memory_order_relaxed, memory_order_consume, memory_order_acquire,
8   memory_order_release, memory_order_acq_rel, memory_order_seq_cst
9 } memory_order;
10 
11 struct S { char c[3]; };
12 
13 _Static_assert(__GCC_ATOMIC_BOOL_LOCK_FREE == 2, "");
14 _Static_assert(__GCC_ATOMIC_CHAR_LOCK_FREE == 2, "");
15 _Static_assert(__GCC_ATOMIC_CHAR16_T_LOCK_FREE == 2, "");
16 _Static_assert(__GCC_ATOMIC_CHAR32_T_LOCK_FREE == 2, "");
17 _Static_assert(__GCC_ATOMIC_WCHAR_T_LOCK_FREE == 2, "");
18 _Static_assert(__GCC_ATOMIC_SHORT_LOCK_FREE == 2, "");
19 _Static_assert(__GCC_ATOMIC_INT_LOCK_FREE == 2, "");
20 _Static_assert(__GCC_ATOMIC_LONG_LOCK_FREE == 2, "");
21 #ifdef __i386__
22 _Static_assert(__GCC_ATOMIC_LLONG_LOCK_FREE == 1, "");
23 #else
24 _Static_assert(__GCC_ATOMIC_LLONG_LOCK_FREE == 2, "");
25 #endif
26 _Static_assert(__GCC_ATOMIC_POINTER_LOCK_FREE == 2, "");
27 
28 _Static_assert(__c11_atomic_is_lock_free(1), "");
29 _Static_assert(__c11_atomic_is_lock_free(2), "");
30 _Static_assert(__c11_atomic_is_lock_free(3), ""); // expected-error {{not an integral constant expression}}
31 _Static_assert(__c11_atomic_is_lock_free(4), "");
32 _Static_assert(__c11_atomic_is_lock_free(8), "");
33 _Static_assert(__c11_atomic_is_lock_free(16), ""); // expected-error {{not an integral constant expression}}
34 _Static_assert(__c11_atomic_is_lock_free(17), ""); // expected-error {{not an integral constant expression}}
35 
36 _Static_assert(__atomic_is_lock_free(1, 0), "");
37 _Static_assert(__atomic_is_lock_free(2, 0), "");
38 _Static_assert(__atomic_is_lock_free(3, 0), ""); // expected-error {{not an integral constant expression}}
39 _Static_assert(__atomic_is_lock_free(4, 0), "");
40 _Static_assert(__atomic_is_lock_free(8, 0), "");
41 _Static_assert(__atomic_is_lock_free(16, 0), ""); // expected-error {{not an integral constant expression}}
42 _Static_assert(__atomic_is_lock_free(17, 0), ""); // expected-error {{not an integral constant expression}}
43 
44 char i8;
45 short i16;
46 int i32;
47 int __attribute__((vector_size(8))) i64;
48 struct Incomplete *incomplete;
49 
50 _Static_assert(__atomic_is_lock_free(1, &i8), "");
51 _Static_assert(__atomic_is_lock_free(1, &i64), "");
52 _Static_assert(__atomic_is_lock_free(2, &i8), ""); // expected-error {{not an integral constant expression}}
53 _Static_assert(__atomic_is_lock_free(2, &i16), "");
54 _Static_assert(__atomic_is_lock_free(2, &i64), "");
55 _Static_assert(__atomic_is_lock_free(4, &i16), ""); // expected-error {{not an integral constant expression}}
56 _Static_assert(__atomic_is_lock_free(4, &i32), "");
57 _Static_assert(__atomic_is_lock_free(4, &i64), "");
58 _Static_assert(__atomic_is_lock_free(8, &i32), ""); // expected-error {{not an integral constant expression}}
59 _Static_assert(__atomic_is_lock_free(8, &i64), "");
60 
61 _Static_assert(__atomic_always_lock_free(1, 0), "");
62 _Static_assert(__atomic_always_lock_free(2, 0), "");
63 _Static_assert(!__atomic_always_lock_free(3, 0), "");
64 _Static_assert(__atomic_always_lock_free(4, 0), "");
65 _Static_assert(__atomic_always_lock_free(8, 0), "");
66 _Static_assert(!__atomic_always_lock_free(16, 0), "");
67 _Static_assert(!__atomic_always_lock_free(17, 0), "");
68 
69 _Static_assert(__atomic_always_lock_free(1, incomplete), "");
70 _Static_assert(!__atomic_always_lock_free(2, incomplete), "");
71 _Static_assert(!__atomic_always_lock_free(4, incomplete), "");
72 
73 _Static_assert(__atomic_always_lock_free(1, &i8), "");
74 _Static_assert(__atomic_always_lock_free(1, &i64), "");
75 _Static_assert(!__atomic_always_lock_free(2, &i8), "");
76 _Static_assert(__atomic_always_lock_free(2, &i16), "");
77 _Static_assert(__atomic_always_lock_free(2, &i64), "");
78 _Static_assert(!__atomic_always_lock_free(4, &i16), "");
79 _Static_assert(__atomic_always_lock_free(4, &i32), "");
80 _Static_assert(__atomic_always_lock_free(4, &i64), "");
81 _Static_assert(!__atomic_always_lock_free(8, &i32), "");
82 _Static_assert(__atomic_always_lock_free(8, &i64), "");
83 
84 void f(_Atomic(int) *i, _Atomic(int*) *p, _Atomic(float) *d,
85        int *I, int **P, float *D, struct S *s1, struct S *s2) {
86   __c11_atomic_init(I, 5); // expected-error {{pointer to _Atomic}}
87   __c11_atomic_load(0); // expected-error {{too few arguments to function}}
88   __c11_atomic_load(0,0,0); // expected-error {{too many arguments to function}}
89   __c11_atomic_store(0,0,0); // expected-error {{address argument to atomic builtin must be a pointer}}
90   __c11_atomic_store((int*)0,0,0); // expected-error {{address argument to atomic operation must be a pointer to _Atomic}}
91 
92   __c11_atomic_load(i, memory_order_seq_cst);
93   __c11_atomic_load(p, memory_order_seq_cst);
94   __c11_atomic_load(d, memory_order_seq_cst);
95 
96   int load_n_1 = __atomic_load_n(I, memory_order_relaxed);
97   int *load_n_2 = __atomic_load_n(P, memory_order_relaxed);
98   float load_n_3 = __atomic_load_n(D, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
99   __atomic_load_n(s1, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
100 
101   __atomic_load(i, I, memory_order_relaxed); // expected-error {{must be a pointer to a trivially-copyable type}}
102   __atomic_load(I, i, memory_order_relaxed); // expected-warning {{passing '_Atomic(int) *' to parameter of type 'int *'}}
103   __atomic_load(I, *P, memory_order_relaxed);
104   __atomic_load(I, *P, memory_order_relaxed, 42); // expected-error {{too many arguments}}
105   (int)__atomic_load(I, I, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
106   __atomic_load(s1, s2, memory_order_acquire);
107 
108   __c11_atomic_store(i, 1, memory_order_seq_cst);
109   __c11_atomic_store(p, 1, memory_order_seq_cst); // expected-warning {{incompatible integer to pointer conversion}}
110   (int)__c11_atomic_store(d, 1, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
111 
112   __atomic_store_n(I, 4, memory_order_release);
113   __atomic_store_n(I, 4.0, memory_order_release);
114   __atomic_store_n(I, P, memory_order_release); // expected-warning {{parameter of type 'int'}}
115   __atomic_store_n(i, 1, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
116   __atomic_store_n(s1, *s2, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
117 
118   __atomic_store(I, *P, memory_order_release);
119   __atomic_store(s1, s2, memory_order_release);
120   __atomic_store(i, I, memory_order_release); // expected-error {{trivially-copyable}}
121 
122   int exchange_1 = __c11_atomic_exchange(i, 1, memory_order_seq_cst);
123   int exchange_2 = __c11_atomic_exchange(I, 1, memory_order_seq_cst); // expected-error {{must be a pointer to _Atomic}}
124   int exchange_3 = __atomic_exchange_n(i, 1, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
125   int exchange_4 = __atomic_exchange_n(I, 1, memory_order_seq_cst);
126 
127   __atomic_exchange(s1, s2, s2, memory_order_seq_cst);
128   __atomic_exchange(s1, I, P, memory_order_seq_cst); // expected-warning 2{{parameter of type 'struct S *'}}
129   (int)__atomic_exchange(s1, s2, s2, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
130 
131   __c11_atomic_fetch_add(i, 1, memory_order_seq_cst);
132   __c11_atomic_fetch_add(p, 1, memory_order_seq_cst);
133   __c11_atomic_fetch_add(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer or pointer}}
134 
135   __atomic_fetch_add(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer or pointer}}
136   __atomic_fetch_sub(I, 3, memory_order_seq_cst);
137   __atomic_fetch_sub(P, 3, memory_order_seq_cst);
138   __atomic_fetch_sub(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
139   __atomic_fetch_sub(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
140 
141   __c11_atomic_fetch_and(i, 1, memory_order_seq_cst);
142   __c11_atomic_fetch_and(p, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
143   __c11_atomic_fetch_and(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
144 
145   __atomic_fetch_and(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer}}
146   __atomic_fetch_or(I, 3, memory_order_seq_cst);
147   __atomic_fetch_xor(P, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
148   __atomic_fetch_or(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
149   __atomic_fetch_and(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
150 
151   _Bool cmpexch_1 = __c11_atomic_compare_exchange_strong(i, 0, 1, memory_order_seq_cst, memory_order_seq_cst);
152   _Bool cmpexch_2 = __c11_atomic_compare_exchange_strong(p, 0, (int*)1, memory_order_seq_cst, memory_order_seq_cst);
153   _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}}
154 
155   _Bool cmpexch_4 = __atomic_compare_exchange_n(I, I, 5, 1, memory_order_seq_cst, memory_order_seq_cst);
156   _Bool cmpexch_5 = __atomic_compare_exchange_n(I, P, 5, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
157   _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'}}
158 
159   _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 *'}}
160   _Bool cmpexch_8 = __atomic_compare_exchange(I, P, I, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
161   _Bool cmpexch_9 = __atomic_compare_exchange(I, I, I, 0, memory_order_seq_cst, memory_order_seq_cst);
162 
163   const volatile int flag_k = 0;
164   volatile int flag = 0;
165   (void)(int)__atomic_test_and_set(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
166   (void)(int)__atomic_test_and_set(&flag, memory_order_seq_cst);
167   __atomic_clear(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
168   __atomic_clear(&flag, memory_order_seq_cst);
169   (int)__atomic_clear(&flag, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
170 
171   const _Atomic(int) const_atomic;
172   __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)}}
173   __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)}}
174   __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)}}
175 }
176 
177 _Atomic(int*) PR12527_a;
178 void PR12527() { int *b = PR12527_a; }
179 
180 void PR16931(int* x) { // expected-note {{passing argument to parameter 'x' here}}
181   typedef struct { _Atomic(_Bool) flag; } flag;
182   flag flagvar = { 0 };
183   PR16931(&flagvar); // expected-warning {{incompatible pointer types}}
184 }
185