326 lines · c
1// Check struct:2//3// First check compiling and printing of this file.4//5// RUN: %clang -target x86_64-linux -Xclang -verify -S -emit-llvm \6// RUN: -DKW=struct -DBASES= -o - %s \7// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s8//9// RUN: %clang_cc1 -verify -ast-print -DKW=struct -DBASES= %s > %t.c10// RUN: FileCheck --check-prefixes=CHECK,PRINT -DKW=struct -DBASES= \11// RUN: %s --input-file %t.c12//13// Now check compiling and printing of the printed file.14//15// RUN: echo "// expected""-warning@* 10 {{'T' is deprecated}}" >> %t.c16// RUN: echo "// expected""-note@* 10 {{'T' has been explicitly marked deprecated here}}" >> %t.c17//18// RUN: %clang -target x86_64-linux -Xclang -verify -Wno-strict-prototypes -S -emit-llvm -o - %t.c \19// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s20//21// RUN: %clang_cc1 -verify -ast-print -Wno-strict-prototypes %t.c \22// RUN: | FileCheck --check-prefixes=CHECK,PRINT -DKW=struct \23// RUN: -DBASES= %s24 25// Repeat for union:26//27// First check compiling and printing of this file.28//29// RUN: %clang -target x86_64-linux -Xclang -verify -S -emit-llvm \30// RUN: -DKW=union -DBASES= -o - %s \31// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s32//33// RUN: %clang_cc1 -verify -ast-print -DKW=union -DBASES= %s > %t.c34// RUN: FileCheck --check-prefixes=CHECK,PRINT -DKW=union -DBASES= \35// RUN: %s --input-file %t.c36//37// Now check compiling and printing of the printed file.38//39// RUN: echo "// expected""-warning@* 10 {{'T' is deprecated}}" >> %t.c40// RUN: echo "// expected""-note@* 10 {{'T' has been explicitly marked deprecated here}}" >> %t.c41//42// RUN: %clang -target x86_64-linux -Xclang -verify -Wno-strict-prototypes -S -emit-llvm -o - %t.c \43// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s44//45// RUN: %clang_cc1 -verify -ast-print -Wno-strict-prototypes %t.c \46// RUN: | FileCheck --check-prefixes=CHECK,PRINT -DKW=union \47// RUN: -DBASES= %s48 49// Repeat for C++ (BASES helps ensure we're printing as C++ not as C):50//51// First check compiling and printing of this file.52//53// RUN: %clang -target x86_64-linux -Xclang -verify -S -emit-llvm \54// RUN: -DKW=struct -DBASES=' : B' -o - -xc++ %s \55// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s56//57// RUN: %clang_cc1 -verify -ast-print -DKW=struct -DBASES=' : B' -xc++ %s \58// RUN: > %t.cpp59// RUN: FileCheck --check-prefixes=CHECK,PRINT,PRINT-CXX -DKW=struct \60// RUN: -DBASES=' : B' %s --input-file %t.cpp61//62// Now check compiling and printing of the printed file.63//64// RUN: echo "// expected""-warning@* 10 {{'T' is deprecated}}" > %t.diags65// RUN: echo "// expected""-note@* 10 {{'T' has been explicitly marked deprecated here}}" >> %t.diags66// RUN: cat %t.diags >> %t.cpp67//68// RUN: %clang -target x86_64-linux -Xclang -verify -S -Wno-strict-prototypes -emit-llvm -o - %t.cpp \69// RUN: | FileCheck --check-prefixes=CHECK,LLVM %s70//71// RUN: %clang_cc1 -verify -ast-print -Wno-strict-prototypes %t.cpp \72// RUN: | FileCheck --check-prefixes=CHECK,PRINT,PRINT-CXX -DKW=struct \73// RUN: -DBASES=' : B' %s74//75// Make sure implicit attributes aren't printed. See comments in inMemberPtr76// for details.77//78// RUN: %clang_cc1 -triple i686-pc-win32 -verify -ast-print -DKW=struct \79// RUN: -DBASES=' : B' -xc++ %s > %t.cpp80// RUN: FileCheck --check-prefixes=CHECK,PRINT,PRINT-CXX -DKW=struct \81// RUN: -DBASES=' : B' %s --input-file %t.cpp82//83// RUN: cat %t.diags >> %t.cpp84// RUN: %clang_cc1 -triple i686-pc-win32 -verify -ast-print %t.cpp \85// RUN: | FileCheck --check-prefixes=CHECK,PRINT,PRINT-CXX -DKW=struct \86// RUN: -DBASES=' : B' %s87 88// END.89 90#ifndef KW91# error KW undefined92# define KW struct // help syntax checkers93#endif94 95#ifndef BASES96# error BASES undefined97# define BASES // help syntax checkers98#endif99 100struct B {};101 102// CHECK-LABEL: defFirst103void defFirst(void) {104 // PRINT-NEXT: [[KW]]105 // PRINT-DAG: __attribute__((aligned(16)))106 // PRINT-DAG: __attribute__((deprecated("")))107 // PRINT-NOT: __attribute__108 // PRINT-SAME: T[[BASES]] {109 // PRINT-NEXT: int i;110 // PRINT-NEXT: } *p0;111 // expected-warning@+2 {{'T' is deprecated}}112 // expected-note@+1 2 {{'T' has been explicitly marked deprecated here}}113 KW __attribute__((aligned(16))) __attribute__((deprecated(""))) T BASES {114 int i;115 } *p0;116 117 // PRINT-NEXT: [[KW]] T *p1;118 KW T *p1; // expected-warning {{'T' is deprecated}}119 120 // LLVM: store i64 16121 long s0 = sizeof *p0;122 // LLVM-NEXT: store i64 16123 long s1 = sizeof *p1;124}125 126// CHECK-LABEL: defLast127void defLast(void) {128 // PRINT-NEXT: [[KW]] __attribute__((aligned(16))) T *p0;129 KW __attribute__((aligned(16))) T *p0;130 131 // PRINT-NEXT: [[KW]] __attribute__((deprecated(""))) T[[BASES]] {132 // PRINT-NEXT: int i;133 // PRINT-NEXT: } *p1;134 // expected-warning@+2 {{'T' is deprecated}}135 // expected-note@+1 {{'T' has been explicitly marked deprecated here}}136 KW __attribute__((deprecated(""))) T BASES { int i; } *p1;137 138 // LLVM: store i64 16139 long s0 = sizeof *p0;140 // LLVM-NEXT: store i64 16141 long s1 = sizeof *p1;142}143 144// CHECK-LABEL: defMiddle145void defMiddle(void) {146 // PRINT-NEXT: [[KW]] __attribute__((deprecated(""))) T *p0;147 // expected-warning@+2 {{'T' is deprecated}}148 // expected-note@+1 3 {{'T' has been explicitly marked deprecated here}}149 KW __attribute__((deprecated(""))) T *p0;150 151 // PRINT-NEXT: [[KW]] __attribute__((aligned(16))) T[[BASES]] {152 // PRINT-NEXT: int i;153 // PRINT-NEXT: } *p1;154 KW __attribute__((aligned(16))) T BASES { int i; } *p1; // expected-warning {{'T' is deprecated}}155 156 // PRINT-NEXT: [[KW]] T *p2;157 KW T *p2; // expected-warning {{'T' is deprecated}}158 159 // LLVM: store i64 16160 long s0 = sizeof *p0;161 // LLVM-NEXT: store i64 16162 long s1 = sizeof *p1;163 // LLVM-NEXT: store i64 16164 long s2 = sizeof *p2;165}166 167// CHECK-LABEL: defSelfRef168void defSelfRef(void) {169 // PRINT-NEXT: [[KW]] __attribute__((deprecated(""))) T *p0;170 // expected-warning@+2 {{'T' is deprecated}}171 // expected-note@+1 2 {{'T' has been explicitly marked deprecated here}}172 KW __attribute__((deprecated(""))) T *p0;173 174 // PRINT-NEXT: [[KW]] __attribute__((aligned(64))) T[[BASES]] {175 // PRINT-NEXT: int i;176 // PRINT-NEXT: [[KW]] T *p2;177 // PRINT-NEXT: [[KW]] __attribute__((may_alias)) T *p3;178 // PRINT-NEXT: [[KW]] T *p4;179 // PRINT-NEXT: } *p1;180 KW __attribute__((aligned(64))) T BASES { // expected-warning {{'T' is deprecated}}181 int i;182 KW T *p2;183 // FIXME: For C++, T at p3 loses aligned and deprecated, perhaps because184 // that RecordDecl isn't in the same redecl list. Perhaps the redecl lists185 // are split here but not in C due to the different scoping rules in C++186 // classes.187 KW __attribute__((may_alias)) T *p3;188 KW T *p4;189 } *p1;190 191 // LLVM: store i64 64192 long s0 = sizeof *p0;193 // LLVM-NEXT: store i64 64194 long s1 = sizeof *p1;195 // LLVM-NEXT: store i64 64196 long s2 = sizeof *p0->p2;197 // LLVM-NEXT: store i64 64198 long s3 = sizeof *p1->p3;199 // LLVM-NEXT: store i64 64200 long s4 = sizeof *p1->p4->p2;201}202 203// CHECK-LABEL: declsOnly204void declsOnly(void) {205 // PRINT-NEXT: [[KW]] T *p0;206 KW T *p0;207 208 // PRINT-NEXT: [[KW]] __attribute__((may_alias)) T *p1;209 KW __attribute__((may_alias)) T *p1;210 211 // PRINT-NEXT: [[KW]] T *p2;212 KW T *p2;213 214 // PRINT-NEXT: [[KW]] __attribute__((deprecated(""))) T *p3;215 // expected-warning@+2 {{'T' is deprecated}}216 // expected-note@+1 2 {{'T' has been explicitly marked deprecated here}}217 KW __attribute__((deprecated(""))) T *p3;218 219 // PRINT-NEXT: [[KW]] T *p4;220 KW T *p4; // expected-warning {{'T' is deprecated}}221}222 223// Make sure expanded printing of tag types is turned back off in other parts224// of a tag declaration. The base class list is checked above.225 226// CHECK-LABEL: inMembers227void inMembers(void) {228 // PRINT-NEXT: [[KW]] T1 {229 // PRINT-NEXT: int i;230 // PRINT-NEXT: };231 KW T1 { int i; };232 // PRINT-NEXT: [[KW]] T2 {233 // PRINT-NEXT: [[KW]] T1 i;234 // PRINT-NEXT: };235 KW T2 { KW T1 i; };236}237 238// CHECK-LABEL: inInit239void inInit(void) {240 // PRINT-NEXT: [[KW]] T1 {241 // PRINT-NEXT: int i;242 // PRINT-NEXT: };243 KW T1 { int i; };244 // PRINT-NEXT: [[KW]] T2 {245 // PRINT-NEXT: long i;246 // PRINT-NEXT: } t2 = {sizeof([[KW]] T1)};247 KW T2 { long i; } t2 = {sizeof(KW T1)};248}249 250#ifdef __cplusplus251// PRINT-CXX-LABEL: inMemberPtr252void inMemberPtr() {253 // Under windows, the implicit attribute __single_inheritance used to print254 // between KW and T1 here, but that wasn't faithful to the original source.255 //256 // PRINT-CXX-NEXT: [[KW]] T1 {257 // PRINT-CXX-NEXT: int i;258 // PRINT-CXX-NEXT: };259 KW T1 { int i; };260 // PRINT-CXX-NEXT: [[KW]] T2 {261 // PRINT-CXX-NEXT: } T1::*p;262 KW T2 {} T1::*p;263}264#endif265 266// Check that tag decl groups stay together in decl contexts.267 268// PRINT-LABEL: DeclGroupAtFileScope {269// PRINT-NEXT: int i;270// PRINT-NEXT: } *DeclGroupAtFileScopePtr;271KW DeclGroupAtFileScope { int i; } *DeclGroupAtFileScopePtr;272 273// PRINT-LABEL: DeclGroupInMemberList {274KW DeclGroupInMemberList {275 // PRINT-NEXT: struct T1 {276 // PRINT-NEXT: int i;277 // PRINT-NEXT: } t1;278 struct T1 { int i; } t1;279 // PRINT-NEXT: union T2 {280 // PRINT-NEXT: int i;281 // PRINT-NEXT: } *t20, t21[2];282 union T2 { int i; } *t20, t21[2];283 // PRINT-NEXT: enum T3 {284 // PRINT-NEXT: T30285 // PRINT-NEXT: } t30;286 enum T3 { T30 } t30;287 // PRINT-NEXT: };288};289 290// A tag decl group in the tag decl's own member list is exercised in291// defSelfRef above.292 293#ifdef __cplusplus294 295// Check out-of-line record definition296// PRINT-CXX-NEXT: [[KW]] OutOfLineRecord {297KW OutOfLineRecord {298 // PRINT-CXX-NEXT: [[KW]] Inner299 KW Inner;300 // PRINT-CXX-NEXT: };301};302 303// PRINT-CXX-NEXT: [[KW]] OutOfLineRecord::Inner {304KW OutOfLineRecord::Inner {305 // PRINT-CXX-NEXT: };306};307 308// PRINT-CXX-NEXT: template <typename, typename = int> [[KW]] SmearedTypeDefArgs;309template <typename, typename = int> KW SmearedTypeDefArgs;310// PRINT-CXX-NEXT: template <typename = int, typename> [[KW]] SmearedTypeDefArgs;311template <typename = int, typename> KW SmearedTypeDefArgs;312 313// PRINT-CXX-NEXT: template <int, int = 0> [[KW]] SmearedNTTPDefArgs;314template <int, int = 0> KW SmearedNTTPDefArgs;315// PRINT-CXX-NEXT: template <int = 0, int> [[KW]] SmearedNTTPDefArgs;316template <int = 0, int> KW SmearedNTTPDefArgs;317 318// PRINT-CXX-LABEL: Tpl319template <int> KW Tpl;320// PRINT-CXX-NEXT: template <template <int> class, template <int> class = Tpl> [[KW]] SmearedTplDefArgs;321template <template <int> class, template <int> class = Tpl> KW SmearedTplDefArgs;322// PRINT-CXX-NEXT: template <template <int> class = Tpl, template <int> class> [[KW]] SmearedTplDefArgs;323template <template <int> class = Tpl, template <int> class> KW SmearedTplDefArgs;324 325#endif326