14f7bd63b9
Original PR: #130537 Originally reverted due to revert of dependent commit. Relanding with no changes. This changes the MemberPointerType representation to use a NestedNameSpecifier instead of a Type to represent the base class. Since the qualifiers are always parsed as nested names, there was an impedance mismatch when converting these back and forth into types, and this led to issues in preserving sugar. The nested names are indeed a better match for these, as the differences which a QualType can represent cannot be expressed syntatically, and they represent the use case more exactly, being either dependent or referring to a CXXRecord, unqualified. This patch also makes the MemberPointerType able to represent sugar for a {up/downcast}cast conversion of the base class, although for now the underlying type is canonical, as preserving the sugar up to that point requires further work. As usual, includes a few drive-by fixes in order to make use of the improvements.
99 lines
4.8 KiB
C++
99 lines
4.8 KiB
C++
// RUN: %clang_cc1 %s -ast-print | FileCheck %s
|
|
// RUN: %clang_cc1 -emit-pch -o %t.ast %s
|
|
// RUN: %clang_cc1 %t.ast -ast-print | FileCheck %s
|
|
|
|
// CHECK: void *aa() __attribute__((assume_aligned(64)));
|
|
void *aa() __attribute__((assume_aligned(64)));
|
|
|
|
// CHECK: void *aa2() __attribute__((assume_aligned(64, 8)));
|
|
void *aa2() __attribute__((assume_aligned(64, 8)));
|
|
|
|
// CHECK: void xla(int a) __attribute__((xray_log_args(1)));
|
|
void xla(int a) __attribute__((xray_log_args(1)));
|
|
|
|
// CHECK: void *as2(int, int) __attribute__((alloc_size(1, 2)));
|
|
void *as2(int, int) __attribute__((alloc_size(1, 2)));
|
|
// CHECK: void *as1(void *, int) __attribute__((alloc_size(2)));
|
|
void *as1(void *, int) __attribute__((alloc_size(2)));
|
|
|
|
// CHECK: void fmt(int, const char *, ...) __attribute__((format(printf, 2, 3)));
|
|
void fmt(int, const char *, ...) __attribute__((format(printf, 2, 3)));
|
|
|
|
// CHECK: char *fmta(int, const char *) __attribute__((format_arg(2)));
|
|
char *fmta(int, const char *) __attribute__((format_arg(2)));
|
|
|
|
// CHECK: void nn(int *, int *) __attribute__((nonnull(1, 2)));
|
|
void nn(int *, int *) __attribute__((nonnull(1, 2)));
|
|
|
|
// CHECK: int *aa(int i) __attribute__((alloc_align(1)));
|
|
int *aa(int i) __attribute__((alloc_align(1)));
|
|
|
|
// CHECK: void ownt(int *, int *) __attribute__((ownership_takes(foo, 1, 2)));
|
|
void ownt(int *, int *) __attribute__((ownership_takes(foo, 1, 2)));
|
|
// CHECK: void ownh(int *, int *) __attribute__((ownership_holds(foo, 1, 2)));
|
|
void ownh(int *, int *) __attribute__((ownership_holds(foo, 1, 2)));
|
|
// CHECK: void *ownr(int) __attribute__((ownership_returns(foo, 1)));
|
|
void *ownr(int) __attribute__((ownership_returns(foo, 1)));
|
|
|
|
// CHECK: void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 3, 2)));
|
|
void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 3, 2)));
|
|
// CHECK: void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 1, 2)));
|
|
void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 1, 2)));
|
|
|
|
class C {
|
|
// CHECK: void xla(int a) __attribute__((xray_log_args(2)));
|
|
void xla(int a) __attribute__((xray_log_args(2)));
|
|
|
|
// CHECK: void *as2(int, int) __attribute__((alloc_size(2, 3)));
|
|
void *as2(int, int) __attribute__((alloc_size(2, 3)));
|
|
// CHECK: void *as1(void *, int) __attribute__((alloc_size(3)));
|
|
void *as1(void *, int) __attribute__((alloc_size(3)));
|
|
|
|
// CHECK: void fmt(int, const char *, ...) __attribute__((format(printf, 3, 4)));
|
|
void fmt(int, const char *, ...) __attribute__((format(printf, 3, 4)));
|
|
|
|
// CHECK: char *fmta(int, const char *) __attribute__((format_arg(3)));
|
|
char *fmta(int, const char *) __attribute__((format_arg(3)));
|
|
|
|
// CHECK: void nn(int *, int *) __attribute__((nonnull(2, 3)));
|
|
void nn(int *, int *) __attribute__((nonnull(2, 3)));
|
|
|
|
// CHECK: int *aa(int i) __attribute__((alloc_align(2)));
|
|
int *aa(int i) __attribute__((alloc_align(2)));
|
|
|
|
// CHECK: void ownt(int *, int *) __attribute__((ownership_takes(foo, 2, 3)));
|
|
void ownt(int *, int *) __attribute__((ownership_takes(foo, 2, 3)));
|
|
// CHECK: void ownh(int *, int *) __attribute__((ownership_holds(foo, 2, 3)));
|
|
void ownh(int *, int *) __attribute__((ownership_holds(foo, 2, 3)));
|
|
// CHECK: void *ownr(int) __attribute__((ownership_returns(foo, 2)));
|
|
void *ownr(int) __attribute__((ownership_returns(foo, 2)));
|
|
|
|
// CHECK: void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 4, 3)));
|
|
void awtt(int, int, ...) __attribute__((argument_with_type_tag(foo, 4, 3)));
|
|
// CHECK: void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 2, 3)));
|
|
void pwtt(void *, int) __attribute__((pointer_with_type_tag(foo, 2, 3)));
|
|
};
|
|
|
|
#define ANNOTATE_ATTR __attribute__((annotate("Annotated")))
|
|
ANNOTATE_ATTR int annotated_attr ANNOTATE_ATTR = 0;
|
|
// CHECK: __attribute__((annotate("Annotated"))) int annotated_attr __attribute__((annotate("Annotated"))) = 0;
|
|
|
|
void increment() { [[clang::annotate("Annotated")]] annotated_attr++; }
|
|
// CHECK: {{\[\[}}clang::annotate("Annotated")]] annotated_attr++;
|
|
|
|
// FIXME: We do not print the attribute as written after the type specifier.
|
|
int ANNOTATE_ATTR annotated_attr_fixme = 0;
|
|
// CHECK: __attribute__((annotate("Annotated"))) int annotated_attr_fixme = 0;
|
|
|
|
#define NONNULL_ATTR __attribute__((nonnull(1)))
|
|
ANNOTATE_ATTR NONNULL_ATTR void fn_non_null_annotated_attr(int *) __attribute__((annotate("AnnotatedRHS")));
|
|
// CHECK:__attribute__((annotate("Annotated"))) __attribute__((nonnull(1))) void fn_non_null_annotated_attr(int *) __attribute__((annotate("AnnotatedRHS")));
|
|
|
|
[[gnu::nonnull(1)]] [[gnu::always_inline]] void cxx11_attr(int*) ANNOTATE_ATTR;
|
|
// CHECK: {{\[\[}}gnu::nonnull(1)]] {{\[\[}}gnu::always_inline]] void cxx11_attr(int *) __attribute__((annotate("Annotated")));
|
|
|
|
struct Foo;
|
|
|
|
// CHECK: void as_member_fn_ptr(int *(Foo::*member)(int) __attribute__((alloc_size(1))));
|
|
void as_member_fn_ptr(int* (Foo::*member)(int) __attribute__((alloc_size(1))));
|