| 1 | // RUN: %clang_cc1 %s -ast-print | FileCheck %s |
|---|
| 2 | // RUN: %clang -emit-ast -o %t.ast %s |
|---|
| 3 | // RUN: %clang_cc1 %t.ast -ast-print | FileCheck %s |
|---|
| 4 | |
|---|
| 5 | // CHECK: void xla(int a) __attribute__((xray_log_args(1))); |
|---|
| 6 | void xla(int a) __attribute__((xray_log_args(1))); |
|---|
| 7 | |
|---|
| 8 | // CHECK: void *as2(int, int) __attribute__((alloc_size(1, 2))); |
|---|
| 9 | void *as2(int, int) __attribute__((alloc_size(1, 2))); |
|---|
| 10 | // CHECK: void *as1(void *, int) __attribute__((alloc_size(2))); |
|---|
| 11 | void *as1(void *, int) __attribute__((alloc_size(2))); |
|---|
| 12 | |
|---|
| 13 | // CHECK: void fmt(int, const char *, ...) __attribute__((format(printf, 2, 3))); |
|---|
| 14 | void fmt(int, const char *, ...) __attribute__((format(printf, 2, 3))); |
|---|
| 15 | |
|---|
| 16 | // CHECK: char *fmta(int, const char *) __attribute__((format_arg(2))); |
|---|
| 17 | char *fmta(int, const char *) __attribute__((format_arg(2))); |
|---|
| 18 | |
|---|
| 19 | // CHECK: void nn(int *, int *) __attribute__((nonnull(1, 2))); |
|---|
| 20 | void nn(int *, int *) __attribute__((nonnull(1, 2))); |
|---|
| 21 | |
|---|
| 22 | // CHECK: int *aa(int i) __attribute__((alloc_align(1))); |
|---|
| 23 | int *aa(int i) __attribute__((alloc_align(1))); |
|---|
| 24 | |
|---|
| 25 | // CHECK: void ownt(int *, int *) __attribute__((ownership_takes(foo, 1, 2))); |
|---|
| 26 | void ownt(int *, int *) __attribute__((ownership_takes(foo, 1, 2))); |
|---|
| 27 | // CHECK: void ownh(int *, int *) __attribute__((ownership_holds(foo, 1, 2))); |
|---|
| 28 | void ownh(int *, int *) __attribute__((ownership_holds(foo, 1, 2))); |
|---|
| 29 | // CHECK: void ownr(int) __attribute__((ownership_returns(foo, 1))); |
|---|
| 30 | void ownr(int) __attribute__((ownership_returns(foo, 1))); |
|---|
| 31 | |
|---|
| 32 | // CHECK: void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 3, 2))); |
|---|
| 33 | void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 3, 2))); |
|---|
| 34 | // CHECK: void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 1, 2))); |
|---|
| 35 | void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 1, 2))); |
|---|
| 36 | |
|---|
| 37 | class C { |
|---|
| 38 | // CHECK: void xla(int a) __attribute__((xray_log_args(2))); |
|---|
| 39 | void xla(int a) __attribute__((xray_log_args(2))); |
|---|
| 40 | |
|---|
| 41 | // CHECK: void *as2(int, int) __attribute__((alloc_size(2, 3))); |
|---|
| 42 | void *as2(int, int) __attribute__((alloc_size(2, 3))); |
|---|
| 43 | // CHECK: void *as1(void *, int) __attribute__((alloc_size(3))); |
|---|
| 44 | void *as1(void *, int) __attribute__((alloc_size(3))); |
|---|
| 45 | |
|---|
| 46 | // CHECK: void fmt(int, const char *, ...) __attribute__((format(printf, 3, 4))); |
|---|
| 47 | void fmt(int, const char *, ...) __attribute__((format(printf, 3, 4))); |
|---|
| 48 | |
|---|
| 49 | // CHECK: char *fmta(int, const char *) __attribute__((format_arg(3))); |
|---|
| 50 | char *fmta(int, const char *) __attribute__((format_arg(3))); |
|---|
| 51 | |
|---|
| 52 | // CHECK: void nn(int *, int *) __attribute__((nonnull(2, 3))); |
|---|
| 53 | void nn(int *, int *) __attribute__((nonnull(2, 3))); |
|---|
| 54 | |
|---|
| 55 | // CHECK: int *aa(int i) __attribute__((alloc_align(2))); |
|---|
| 56 | int *aa(int i) __attribute__((alloc_align(2))); |
|---|
| 57 | |
|---|
| 58 | // CHECK: void ownt(int *, int *) __attribute__((ownership_takes(foo, 2, 3))); |
|---|
| 59 | void ownt(int *, int *) __attribute__((ownership_takes(foo, 2, 3))); |
|---|
| 60 | // CHECK: void ownh(int *, int *) __attribute__((ownership_holds(foo, 2, 3))); |
|---|
| 61 | void ownh(int *, int *) __attribute__((ownership_holds(foo, 2, 3))); |
|---|
| 62 | // CHECK: void ownr(int) __attribute__((ownership_returns(foo, 2))); |
|---|
| 63 | void ownr(int) __attribute__((ownership_returns(foo, 2))); |
|---|
| 64 | |
|---|
| 65 | // CHECK: void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 4, 3))); |
|---|
| 66 | void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 4, 3))); |
|---|
| 67 | // CHECK: void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 2, 3))); |
|---|
| 68 | void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 2, 3))); |
|---|
| 69 | }; |
|---|
| 70 | |
|---|