1 // RUN: %clang_cc1 -std=c++11 -verify %s 2 3 alignas(4) extern int n1; // expected-note {{previous declaration}} 4 alignas(8) int n1; // expected-error {{redeclaration has different alignment requirement (8 vs 4)}} 5 6 alignas(8) int n2; // expected-note {{previous declaration}} 7 alignas(4) extern int n2; // expected-error {{different alignment requirement (4 vs 8)}} 8 9 alignas(8) extern int n3; // expected-note {{previous declaration}} 10 alignas(4) extern int n3; // expected-error {{different alignment requirement (4 vs 8)}} 11 12 extern int n4; 13 alignas(8) extern int n4; 14 15 alignas(8) extern int n5; 16 extern int n5; 17 18 int n6; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 19 alignas(8) extern int n6; // expected-note {{declared with 'alignas' attribute here}} 20 21 extern int n7; 22 alignas(8) int n7; 23 24 alignas(8) extern int n8; // expected-note {{declared with 'alignas' attribute here}} 25 int n8; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 26 27 int n9; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 28 alignas(4) extern int n9; // expected-note {{declared with 'alignas' attribute here}} 29 30 31 enum alignas(2) E : char; // expected-note {{declared with 'alignas' attribute here}} 32 enum E : char {}; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 33 34 enum alignas(4) F : char; // expected-note {{previous declaration is here}} 35 enum alignas(2) F : char; // expected-error {{redeclaration has different alignment requirement (2 vs 4)}} 36 37 enum G : char; 38 enum alignas(8) G : char {}; 39 enum G : char; 40 41 enum H : char {}; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 42 enum alignas(1) H : char; // expected-note {{declared with 'alignas' attribute here}} 43 44 45 struct S; 46 struct alignas(16) S; // expected-note {{declared with 'alignas' attribute here}} 47 struct S; 48 struct S { int n; }; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 49 50 struct alignas(2) T; 51 struct alignas(2) T { char c; }; // expected-note {{previous declaration is here}} 52 struct T; 53 struct alignas(4) T; // expected-error {{redeclaration has different alignment requirement (4 vs 2)}} 54 55 struct U; 56 struct alignas(2) U {}; 57 58 struct V {}; // expected-error {{'alignas' must be specified on definition if it is specified on any declaration}} 59 struct alignas(1) V; // expected-note {{declared with 'alignas' attribute here}} 60 61 template<int M, int N> struct alignas(M) W; 62 template<int M, int N> struct alignas(N) W {}; 63 W<4,4> w44; // ok 64 // FIXME: We should reject this. 65 W<1,2> w12; 66 static_assert(alignof(W<4,4>) == 4, ""); 67 68 template<int M, int N, int O, int P> struct X { 69 alignas(M) alignas(N) static char Buffer[32]; // expected-note {{previous declaration is here}} 70 }; 71 template<int M, int N, int O, int P> 72 alignas(O) alignas(P) char X<M, N, O, P>::Buffer[32]; // expected-error {{redeclaration has different alignment requirement (8 vs 2)}} 73 char *x1848 = X<1,8,4,8>::Buffer; // ok 74 char *x1248 = X<1,2,4,8>::Buffer; // expected-note {{in instantiation of}} 75 76 template<int M, int N, int O, int P> struct Y { 77 enum alignas(M) alignas(N) E : char; 78 }; 79 template<int M, int N, int O, int P> 80 enum alignas(O) alignas(P) Y<M,N,O,P>::E : char { e }; 81 int y1848 = Y<1,8,4,8>::e; 82 // FIXME: We should reject this. 83 int y1248 = Y<1,2,4,8>::e; 84 85 // Don't crash here. 86 alignas(4) struct Incomplete incomplete; // expected-error {{incomplete type}} expected-note {{forward declaration}} 87