diff options
| author | Hans Wennborg <hans@hanshq.net> | 2015-01-28 19:18:37 +0000 |
|---|---|---|
| committer | Hans Wennborg <hans@hanshq.net> | 2015-01-28 19:18:37 +0000 |
| commit | 3eedf3aeeb6677df482073037c44162c8dcd94e6 (patch) | |
| tree | 7daf85f3411f0fee7ecee289c50ed61e3a2cd79d /test | |
| parent | 76d233c3472e061dbe64101040fde2e0e8644895 (diff) | |
Merging r227295:
------------------------------------------------------------------------
r227295 | majnemer | 2015-01-27 21:48:06 -0800 (Tue, 27 Jan 2015) | 5 lines
Sema: Ensure that __c11_atomic_fetch_add has a pointer to complete type
Pointer arithmetic is only makes sense if the pointee type is complete.
This fixes PR22361.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_36@227349 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Sema/atomic-ops.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/Sema/atomic-ops.c b/test/Sema/atomic-ops.c index e21c3fd58e..71eaaa8b7a 100644 --- a/test/Sema/atomic-ops.c +++ b/test/Sema/atomic-ops.c @@ -49,7 +49,7 @@ char i8; short i16; int i32; int __attribute__((vector_size(8))) i64; -struct Incomplete *incomplete; +struct Incomplete *incomplete; // expected-note {{forward declaration of 'struct Incomplete'}} _Static_assert(__atomic_is_lock_free(1, &i8), ""); _Static_assert(__atomic_is_lock_free(1, &i64), ""); @@ -268,6 +268,10 @@ void memory_checks(_Atomic(int) *Ap, int *p, int val) { (void)__c11_atomic_fetch_add(Ap, 1, memory_order_acq_rel); (void)__c11_atomic_fetch_add(Ap, 1, memory_order_seq_cst); + (void)__c11_atomic_fetch_add( + (struct Incomplete * _Atomic *)0, // expected-error {{incomplete type 'struct Incomplete'}} + 1, memory_order_seq_cst); + (void)__c11_atomic_init(Ap, val); (void)__c11_atomic_init(Ap, val); (void)__c11_atomic_init(Ap, val); |