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
|
// RUN: %clang_cc1 -fblocks -triple arm64-apple-ios -fptrauth-calls -fptrauth-intrinsics -verify %s
#if __has_feature(ptrauth_objc_signable_class)
@class TestClass;
typedef TestClass *ClassPtr;
typedef void(^BlockPtr)();
@interface TestClass {
@public
__ptrauth(2, 1, 1) Class a;
__ptrauth(2, 1, 3) volatile Class vi;
__ptrauth(2, 1, 3) const Class ci;
__ptrauth(2, 1, 1) id b;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'id' is invalid}}
__ptrauth(2, 1, 2) ClassPtr c;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'ClassPtr' (aka 'TestClass *') is invalid}}
__ptrauth(2, 1, 2) BlockPtr d;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'BlockPtr' (aka 'void (^)()') is invalid}}
}
struct TestStruct {
__ptrauth(2, 1, 3) Class e;
__ptrauth(2, 1, 3) volatile Class vi;
__ptrauth(2, 1, 3) const Class ci;
__ptrauth(2, 1, 4) id f;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'id' is invalid}}
__ptrauth(2, 1, 5) ClassPtr g;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'ClassPtr' (aka 'TestClass *') is invalid}}
__ptrauth(2, 1, 2) BlockPtr h;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'BlockPtr' (aka 'void (^)()') is invalid}}
};
@end
void foo() {
__ptrauth(2, 1, 3) Class i;
__ptrauth(2, 1, 3) volatile Class vi;
__ptrauth(2, 1, 3) const Class ci = 0;
__ptrauth(2, 1, 4) id j;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'id' is invalid}}
__ptrauth(2, 1, 5) ClassPtr k;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'ClassPtr' (aka 'TestClass *') is invalid}}
__ptrauth(2, 1, 2) BlockPtr l;
// expected-error@-1 {{'__ptrauth' qualifier only applies to pointer or pointer sized integer types; 'BlockPtr' (aka 'void (^)()') is invalid}}
}
#endif
|
