Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -verify -fsyntax-only |
| 2 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 3 | // Basic parsing/Sema tests for __c11_atomic_* |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 4 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 5 | // FIXME: Need to implement __c11_atomic_is_lock_free |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 6 | |
| 7 | typedef enum memory_order { |
| 8 | memory_order_relaxed, memory_order_consume, memory_order_acquire, |
| 9 | memory_order_release, memory_order_acq_rel, memory_order_seq_cst |
| 10 | } memory_order; |
| 11 | |
| 12 | void f(_Atomic(int) *i, _Atomic(int*) *p, _Atomic(float) *d) { |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 13 | __c11_atomic_load(0); // expected-error {{too few arguments to function}} |
| 14 | __c11_atomic_load(0,0,0); // expected-error {{too many arguments to function}} |
| 15 | __c11_atomic_store(0,0,0); // expected-error {{first argument to atomic operation}} |
| 16 | __c11_atomic_store((int*)0,0,0); // expected-error {{first argument to atomic operation}} |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 17 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 18 | __c11_atomic_load(i, memory_order_seq_cst); |
| 19 | __c11_atomic_load(p, memory_order_seq_cst); |
| 20 | __c11_atomic_load(d, memory_order_seq_cst); |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 21 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 22 | __c11_atomic_store(i, 1, memory_order_seq_cst); |
| 23 | __c11_atomic_store(p, 1, memory_order_seq_cst); // expected-warning {{incompatible integer to pointer conversion}} |
| 24 | (int)__c11_atomic_store(d, 1, memory_order_seq_cst); // expected-error {{operand of type 'void'}} |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 25 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 26 | __c11_atomic_fetch_add(i, 1, memory_order_seq_cst); |
| 27 | __c11_atomic_fetch_add(p, 1, memory_order_seq_cst); |
| 28 | __c11_atomic_fetch_add(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer or pointer}} |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 29 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 30 | __c11_atomic_fetch_and(i, 1, memory_order_seq_cst); |
| 31 | __c11_atomic_fetch_and(p, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}} |
| 32 | __c11_atomic_fetch_and(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}} |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 33 | |
Richard Smith | fafbf06 | 2012-04-11 17:55:32 +0000 | [diff] [blame^] | 34 | __c11_atomic_compare_exchange_strong(i, 0, 1, memory_order_seq_cst, memory_order_seq_cst); |
| 35 | __c11_atomic_compare_exchange_strong(p, 0, (int*)1, memory_order_seq_cst, memory_order_seq_cst); |
| 36 | __c11_atomic_compare_exchange_strong(d, (int*)0, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{incompatible pointer types}} |
Eli Friedman | 276b061 | 2011-10-11 02:20:01 +0000 | [diff] [blame] | 37 | } |