63 lines · cpp
1// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -verify %s2// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -ast-dump %s | FileCheck %s3// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -emit-pch -o %t %s4// RUN: %clang_cc1 -x c++ -std=c++23 -triple x86_64-unknown-linux -include-pch %t -ast-dump-all /dev/null | FileCheck %s5// expected-no-diagnostics6 7// Check that we both don't crash on transforming FunctionProtoType's8// wrapped in type sugar and that we don't drop it when performing9// instantiations either.10 11#define PRESERVE __attribute__((preserve_most))12 13// Skip to the instantiation of f().14// CHECK: FunctionDecl {{.*}} f 'void ()' implicit_instantiation15template <typename T>16void f() {17 // CHECK: CXXMethodDecl {{.*}} operator() '__attribute__((preserve_most)) void (int) const':'void (int) __attribute__((preserve_most)) const' implicit_instantiation18 (void) [] (T) __attribute__((preserve_most)) { };19 20 // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation21 (void) [] (T) [[clang::annotate_type("foo")]] { };22 23 // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]] {{\[}}[clang::annotate_type(...)]] {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation24 (void) [] (T) [[clang::annotate_type("foo")]]25 [[clang::annotate_type("foo")]]26 [[clang::annotate_type("foo")]] { };27 28 // CHECK: CXXMethodDecl {{.*}} operator() '__attribute__((preserve_most)) void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation29 (void) [] (T) __attribute__((preserve_most))30 [[clang::annotate_type("foo")]] { };31 32 // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((cdecl)) {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation33 (void) [] (T) __attribute__((cdecl))34 [[clang::annotate_type("foo")]] { };35 36 // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation37 (void) [] (T t) [[clang::annotate_type("foo", t)]] { };38 39 // CHECK: CXXMethodDecl {{.*}} operator() '__attribute__((preserve_most)) void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation40 (void) [] (T t) __attribute__((preserve_most))41 [[clang::annotate_type("foo", t, t, t, t)]] { };42 43 // Check that the MacroQualifiedType is preserved.44 // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const':'void (int) __attribute__((preserve_most)) const' implicit_instantiation45 (void) [] (T) PRESERVE { };46 47 // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation48 (void) [] (T) PRESERVE [[clang::annotate_type("foo")]] { };49 50 // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation51 (void) [] (T) [[clang::annotate_type("foo")]] {52 // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation53 auto l = []<typename U = T> (U u = {}) PRESERVE [[clang::annotate_type("foo", u)]] { };54 55 // CHECK: DeclRefExpr {{.*}} 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' lvalue CXXMethod56 l();57 };58}59 60void g() {61 f<int>();62}63