1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
// RUN: %clang_cc1 -triple arm64-apple-ios -fsyntax-only -verify -fptrauth-intrinsics %s
// RUN: %clang_cc1 -triple aarch64-linux-gnu -fsyntax-only -verify -fptrauth-intrinsics %s
#include <stdatomic.h>
int i;
int *__ptrauth(2, 1, 100) authenticated_ptr = &i;
int *__ptrauth(2, 0, 200) non_addr_discriminatedauthenticated_ptr = &i;
int * wat = &i;
#define ATOMIZE(p) (__typeof__(p) volatile _Atomic *)(long)(&p)
void f() {
static int j = 1;
__c11_atomic_init(ATOMIZE(authenticated_ptr), 5);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_store(ATOMIZE(authenticated_ptr), 0, memory_order_relaxed);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_load(ATOMIZE(authenticated_ptr), memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_store(ATOMIZE(authenticated_ptr), 1, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_store_n(ATOMIZE(authenticated_ptr), 4, memory_order_release);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_store(ATOMIZE(authenticated_ptr), j, memory_order_release);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_exchange(ATOMIZE(authenticated_ptr), 1, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_exchange(ATOMIZE(authenticated_ptr), &j, &j, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_fetch_add(ATOMIZE(authenticated_ptr), 1, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_add(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_sub(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_min(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_max(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_fetch_and(ATOMIZE(authenticated_ptr), 1, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_and(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_or(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__atomic_fetch_xor(ATOMIZE(authenticated_ptr), 3, memory_order_seq_cst);
// expected-error@-1 {{address argument to atomic operation must be a pointer to a non address discriminated type ('volatile __ptrauth(2,1,100) _Atomic(int *) *' invalid)}}
__c11_atomic_init(ATOMIZE(non_addr_discriminatedauthenticated_ptr), &j);
__c11_atomic_store(ATOMIZE(non_addr_discriminatedauthenticated_ptr), 0, memory_order_relaxed);
__c11_atomic_load(ATOMIZE(non_addr_discriminatedauthenticated_ptr), memory_order_seq_cst);
__atomic_store(&j, ATOMIZE(non_addr_discriminatedauthenticated_ptr), memory_order_release);
// expected-warning@-1 {{incompatible pointer types passing 'volatile __ptrauth(2,0,200) _Atomic(int *) *' to parameter of type 'int *'}}
__c11_atomic_exchange(ATOMIZE(j), ATOMIZE(non_addr_discriminatedauthenticated_ptr), memory_order_seq_cst);
// expected-error@-1 {{incompatible pointer to integer conversion passing 'volatile __ptrauth(2,0,200) _Atomic(int *) *' to parameter of type 'typeof (j)' (aka 'int')}}
__c11_atomic_fetch_add(ATOMIZE(non_addr_discriminatedauthenticated_ptr), ATOMIZE(j), memory_order_seq_cst);
// expected-error@-1 {{incompatible pointer to integer conversion passing 'volatile _Atomic(typeof (j)) *' to parameter of type '__ptrdiff_t'}}
__c11_atomic_fetch_and(ATOMIZE(j), ATOMIZE(non_addr_discriminatedauthenticated_ptr), memory_order_seq_cst);
// expected-error@-1 {{incompatible pointer to integer conversion passing 'volatile __ptrauth(2,0,200) _Atomic(int *) *' to parameter of type 'typeof (j)' (aka 'int')}}
__sync_fetch_and_add(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_fetch_and_sub(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_fetch_and_or(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_fetch_and_and(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_fetch_and_xor(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_fetch_and_nand(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_add_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_sub_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_or_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_and_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_xor_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_nand_and_fetch(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_bool_compare_and_swap(&authenticated_ptr, 1, 0);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_val_compare_and_swap(&authenticated_ptr, 1, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_lock_test_and_set(&authenticated_ptr, 1);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
__sync_lock_release(&authenticated_ptr);
// expected-error@-1 {{address argument to __sync operation must be a pointer to a non address discriminated type ('int *__ptrauth(2,1,100)' invalid)}}
int i = 0;
__sync_fetch_and_add(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_fetch_and_sub(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_fetch_and_or(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_fetch_and_and(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_fetch_and_xor(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_add_and_fetch(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_sub_and_fetch(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_or_and_fetch(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_and_and_fetch(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_xor_and_fetch(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_bool_compare_and_swap(&non_addr_discriminatedauthenticated_ptr, &i, &i);
__sync_val_compare_and_swap(&non_addr_discriminatedauthenticated_ptr, &i, &i);
__sync_lock_test_and_set(&non_addr_discriminatedauthenticated_ptr, &i);
__sync_lock_release(&non_addr_discriminatedauthenticated_ptr);
}
|
