atomic-ops.c revision fafbf06732746f3ceca21d452d77b144ba8652ae
1276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman// RUN: %clang_cc1 %s -verify -fsyntax-only 2276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman 3fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith// Basic parsing/Sema tests for __c11_atomic_* 4276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman 5fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith// FIXME: Need to implement __c11_atomic_is_lock_free 6276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman 7276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedmantypedef enum memory_order { 8276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman memory_order_relaxed, memory_order_consume, memory_order_acquire, 9276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman memory_order_release, memory_order_acq_rel, memory_order_seq_cst 10276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman} memory_order; 11276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman 12276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedmanvoid f(_Atomic(int) *i, _Atomic(int*) *p, _Atomic(float) *d) { 13fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_load(0); // expected-error {{too few arguments to function}} 14fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_load(0,0,0); // expected-error {{too many arguments to function}} 15fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_store(0,0,0); // expected-error {{first argument to atomic operation}} 16fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_store((int*)0,0,0); // expected-error {{first argument to atomic operation}} 17fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith 18fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_load(i, memory_order_seq_cst); 19fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_load(p, memory_order_seq_cst); 20fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_load(d, memory_order_seq_cst); 21fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith 22fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_store(i, 1, memory_order_seq_cst); 23fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_store(p, 1, memory_order_seq_cst); // expected-warning {{incompatible integer to pointer conversion}} 24fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith (int)__c11_atomic_store(d, 1, memory_order_seq_cst); // expected-error {{operand of type 'void'}} 25fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith 26fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_add(i, 1, memory_order_seq_cst); 27fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_add(p, 1, memory_order_seq_cst); 28fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_add(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer or pointer}} 29fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith 30fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_and(i, 1, memory_order_seq_cst); 31fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_and(p, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}} 32fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_fetch_and(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}} 33fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith 34fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_compare_exchange_strong(i, 0, 1, memory_order_seq_cst, memory_order_seq_cst); 35fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_compare_exchange_strong(p, 0, (int*)1, memory_order_seq_cst, memory_order_seq_cst); 36fafbf06732746f3ceca21d452d77b144ba8652aeRichard Smith __c11_atomic_compare_exchange_strong(d, (int*)0, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{incompatible pointer types}} 37276b061970939293f1abaf694bd3ef05b2cbda79Eli Friedman} 38