File: lambda-attributes.cpp

package info (click to toggle)
llvm-toolchain-snapshot 1%3A21~%2B%2B20250612091244%2B3f0cf742ac4e-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,204,364 kB
  • sloc: cpp: 7,565,811; ansic: 1,415,365; asm: 1,031,257; python: 250,248; f90: 93,670; objc: 70,556; lisp: 41,926; pascal: 17,847; sh: 10,009; ml: 5,111; perl: 4,720; awk: 3,523; makefile: 3,423; javascript: 2,272; xml: 892; fortran: 763
file content (62 lines) | stat: -rw-r--r-- 3,875 bytes parent folder | download | duplicates (3)
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -verify %s
// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -fsyntax-only -ast-dump %s | FileCheck %s
// RUN: %clang_cc1 -std=c++23 -triple x86_64-unknown-linux -emit-pch -o %t %s
// RUN: %clang_cc1 -x c++ -std=c++23 -triple x86_64-unknown-linux -include-pch %t -ast-dump-all /dev/null | FileCheck %s
// expected-no-diagnostics

// Check that we both don't crash on transforming FunctionProtoType's
// wrapped in type sugar and that we don't drop it when performing
// instantiations either.

#define PRESERVE __attribute__((preserve_most))

// Skip to the instantiation of f().
// CHECK: FunctionDecl {{.*}} f 'void ()' implicit_instantiation
template <typename T>
void f() {
  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most))':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  (void) [] (T) __attribute__((preserve_most)) { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  (void) [] (T) [[clang::annotate_type("foo")]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]] {{\[}}[clang::annotate_type(...)]] {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  (void) [] (T) [[clang::annotate_type("foo")]]
                [[clang::annotate_type("foo")]]
                [[clang::annotate_type("foo")]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most)) {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  (void) [] (T) __attribute__((preserve_most))
                [[clang::annotate_type("foo")]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((cdecl)) {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  (void) [] (T) __attribute__((cdecl))
                [[clang::annotate_type("foo")]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  (void) [] (T t) [[clang::annotate_type("foo", t)]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const __attribute__((preserve_most)) {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  (void) [] (T t) __attribute__((preserve_most))
                [[clang::annotate_type("foo", t, t, t, t)]] { };

  // Check that the MacroQualifiedType is preserved.
  // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  (void) [] (T) PRESERVE { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
  (void) [] (T) PRESERVE [[clang::annotate_type("foo")]] { };

  // CHECK: CXXMethodDecl {{.*}} operator() 'void (int) const {{\[}}[clang::annotate_type(...)]]':'void (int) const' implicit_instantiation
  (void) [] (T) [[clang::annotate_type("foo")]] {
    // CHECK: CXXMethodDecl {{.*}} operator() 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' implicit_instantiation
    auto l = []<typename U = T> (U u = {}) PRESERVE [[clang::annotate_type("foo", u)]] { };

    // CHECK: DeclRefExpr {{.*}} 'PRESERVE void (int) __attribute__((preserve_most)) const {{\[}}[clang::annotate_type(...)]]':'void (int) __attribute__((preserve_most)) const' lvalue CXXMethod
    l();
  };
}

void g() {
  f<int>();
}