clang/test/SemaCXX/lambda-attributes.cpp

   1 // RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -verify %s
   2 // RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -ast-dump %s | FileCheck %s
   3 // RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -emit-pch -o %t %s
   4 // RUN: %clang_cc1 -x c++ -std=c++23 -triple x86_64-unknown-linux -include-pch %t -ast-dump-all /dev/null | FileCheck %s
   5 // expected-no-diagnostics
   6
   7 // Check that we both don't crash on transforming FunctionProtoType's
   8 // wrapped in type sugar and that we don't drop it when performing
   9 // instantiations either.
  10
  11 #define PRESERVE __attribute__((preserve_most))
  12
  13 // Skip to the instantiation of f().
  14 // CHECK: FunctionDecl {{.*}} f 'void ()' implicit_instantiation
  15 template <typename T>
  16 void f() {
  17   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most))':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  18   (void) [] (T) __attribute__((preserve_most)) { };
  19
  20   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  21   (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_instantiation
  24   (void) [] (T) [[clang::annotate_type("foo")]]
  25                 [[clang::annotate_type("foo")]]
  26                 [[clang::annotate_type("foo")]] { };
  27
  28   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most)) {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  29   (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_instantiation
  33   (void) [] (T) __attribute__((cdecl))
  34                 [[clang::annotate_type("foo")]] { };
  35
  36   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  37   (void) [] (T t) [[clang::annotate_type("foo", t)]] { };
  38
  39   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most)) {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  40   (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_instantiation
  45   (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_instantiation
  48   (void) [] (T) PRESERVE [[clang::annotate_type("foo")]] { };
  49
  50   // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  51   (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_instantiation
  53     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 CXXMethod
  56     l();
  57   };
  58 }
  59
  60 void g() {
  61   f<int>();
  62 }