clang/test/AST/ast-dump-record-definition-data.cpp

   1 // Test without serialization:
   2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=c++17 -ast-dump %s \
   3 // RUN: | FileCheck -strict-whitespace %s
   4 //
   5 // Test with serialization:
   6 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=c++17 -emit-pch -o %t %s
   7 // RUN: %clang_cc1 -x c++ -triple x86_64-unknown-unknown -std=c++17 -include-pch %t -ast-dump-all /dev/null \
   8 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \
   9 // RUN: | FileCheck -strict-whitespace %s
  10
  11 void f() {
  12   auto IsNotGenericLambda = [](){};
  13   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <col:29> col:29 implicit class definition
  14   // CHECK-NOT: DefinitionData {{.*}}generic{{.*}}
  15   // CHECK-NEXT: DefinitionData {{.*}}lambda{{.*}}
  16   auto IsGenericLambda = [](auto){};
  17   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <col:26> col:26 implicit class definition
  18   // CHECK-NEXT: DefinitionData {{.*}}generic{{.*}}lambda{{.*}}
  19 }
  20
  21 struct CanPassInRegisters {
  22   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct CanPassInRegisters definition
  23   // CHECK-NEXT: DefinitionData {{.*}}pass_in_registers{{.*}}
  24   CanPassInRegisters(const CanPassInRegisters&) = default;
  25 };
  26
  27 struct CantPassInRegisters {
  28   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct CantPassInRegisters definition
  29   // CHECK-NOT: DefinitionData {{.*}}pass_in_registers{{.*}}
  30   CantPassInRegisters(const CantPassInRegisters&) = delete;
  31 };
  32
  33 struct IsEmpty {
  34   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:1> line:[[@LINE-1]]:8 struct IsEmpty definition
  35   // CHECK-NEXT: DefinitionData {{.*}}empty{{.*}}
  36 };
  37
  38 struct IsNotEmpty {
  39   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotEmpty definition
  40   // CHECK-NOT: DefinitionData {{.*}}empty{{.*}}
  41   int a;
  42 };
  43
  44 struct IsAggregate {
  45   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsAggregate definition
  46   // CHECK-NEXT: DefinitionData {{.*}}aggregate{{.*}}
  47   int a;
  48 };
  49
  50 struct IsNotAggregate {
  51   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+4]]:1> line:[[@LINE-1]]:8 struct IsNotAggregate definition
  52   // CHECK-NOT: DefinitionData {{.*}}aggregate{{.*}}
  53 private:
  54   int a;
  55 };
  56
  57 struct IsStandardLayout {
  58   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsStandardLayout definition
  59   // CHECK-NEXT: DefinitionData {{.*}}standard_layout{{.*}}
  60   void f();
  61 };
  62
  63 struct IsNotStandardLayout {
  64   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotStandardLayout definition
  65   // CHECK-NOT: DefinitionData {{.*}}standard_layout{{.*}}
  66   virtual void f();
  67 };
  68
  69 struct IsTriviallyCopyable {
  70   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:1> line:[[@LINE-1]]:8 struct IsTriviallyCopyable definition
  71   // CHECK-NEXT: DefinitionData {{.*}}trivially_copyable{{.*}}
  72 };
  73
  74 struct IsNotTriviallyCopyable {
  75   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotTriviallyCopyable definition
  76   // CHECK-NOT: DefinitionData {{.*}}trivially_copyable{{.*}}
  77   IsNotTriviallyCopyable(const IsNotTriviallyCopyable&) {}
  78 };
  79
  80 struct IsPOD {
  81   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsPOD definition
  82   // CHECK-NEXT: DefinitionData {{.*}}pod{{.*}}
  83   int a;
  84 };
  85
  86 struct IsNotPOD {
  87   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotPOD definition
  88   // CHECK-NOT: DefinitionData {{.*}}pod{{.*}}
  89   int &a;
  90 };
  91
  92 struct IsTrivial {
  93   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsTrivial definition
  94   // CHECK-NEXT: DefinitionData {{.*}}trivial {{.*}}
  95   IsTrivial() = default;
  96 };
  97
  98 struct IsNotTrivial {
  99   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotTrivial definition
 100   // CHECK-NOT: DefinitionData {{.*}}trivial {{.*}}
 101   IsNotTrivial() {}
 102 };
 103
 104 struct IsPolymorphic {
 105   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsPolymorphic definition
 106   // CHECK-NEXT: DefinitionData {{.*}}polymorphic{{.*}}
 107   virtual void f();
 108 };
 109
 110 struct IsNotPolymorphic {
 111   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotPolymorphic definition
 112   // CHECK-NOT: DefinitionData {{.*}}polymorphic{{.*}}
 113   void f();
 114 };
 115
 116 struct IsAbstract {
 117   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsAbstract definition
 118   // CHECK-NEXT: DefinitionData {{.*}}abstract{{.*}}
 119   virtual void f() = 0;
 120 };
 121
 122 struct IsNotAbstract {
 123   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotAbstract definition
 124   // CHECK-NOT: DefinitionData {{.*}}abstract{{.*}}
 125   virtual void f();
 126 };
 127
 128 struct IsLiteral {
 129   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsLiteral definition
 130   // CHECK-NEXT: DefinitionData {{.*}}literal{{.*}}
 131   ~IsLiteral() = default;
 132 };
 133
 134 struct IsNotLiteral {
 135   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct IsNotLiteral definition
 136   // CHECK-NOT: DefinitionData {{.*}}literal{{.*}}
 137   ~IsNotLiteral() {}
 138 };
 139
 140 struct HasUserDeclaredConstructor {
 141   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct HasUserDeclaredConstructor definition
 142   // CHECK-NEXT: DefinitionData {{.*}}has_user_declared_ctor{{.*}}
 143   HasUserDeclaredConstructor() {}
 144 };
 145
 146 struct HasNoUserDeclaredConstructor {
 147   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:1> line:[[@LINE-1]]:8 struct HasNoUserDeclaredConstructor definition
 148   // CHECK-NOT: DefinitionData {{.*}}has_user_declared_ctor{{.*}}
 149 };
 150
 151 struct HasConstexprNonCopyMoveConstructor {
 152   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct HasConstexprNonCopyMoveConstructor definition
 153   // CHECK-NEXT: DefinitionData {{.*}}has_constexpr_non_copy_move_ctor{{.*}}
 154   constexpr HasConstexprNonCopyMoveConstructor() {}
 155 };
 156
 157 struct HasNoConstexprNonCopyMoveConstructor {
 158   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct HasNoConstexprNonCopyMoveConstructor definition
 159   // CHECK-NOT: DefinitionData {{.*}}has_constexpr_non_copy_move_ctor{{.*}}
 160   HasNoConstexprNonCopyMoveConstructor() {}
 161 };
 162
 163 struct HasMutableFields {
 164   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct HasMutableFields definition
 165   // CHECK-NEXT: DefinitionData {{.*}}has_mutable_fields{{.*}}
 166   mutable int i;
 167 };
 168
 169 struct HasNoMutableFields {
 170   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct HasNoMutableFields definition
 171   // CHECK-NOT: DefinitionData {{.*}}has_mutable_fields{{.*}}
 172   int i;
 173 };
 174
 175 struct HasVariantMembers {
 176   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+5]]:1> line:[[@LINE-1]]:8 struct HasVariantMembers definition
 177   // CHECK-NEXT: DefinitionData {{.*}}has_variant_members{{.*}}
 178   union {
 179     int i;
 180   };
 181 };
 182
 183 struct HasNoVariantMembers {
 184   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:1> line:[[@LINE-1]]:8 struct HasNoVariantMembers definition
 185   // CHECK-NOT: DefinitionData {{.*}}has_variant_members{{.*}}
 186 };
 187
 188 struct AllowsConstDefaultInit {
 189   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct AllowsConstDefaultInit definition
 190   // CHECK-NEXT: DefinitionData {{.*}}can_const_default_init{{.*}}
 191   int i = 12;
 192 };
 193
 194 struct DoesNotAllowConstDefaultInit {
 195   // CHECK: CXXRecordDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+3]]:1> line:[[@LINE-1]]:8 struct DoesNotAllowConstDefaultInit definition
 196   // CHECK-NOT: DefinitionData {{.*}}can_const_default_init{{.*}}
 197   int i;
 198 };