| 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 | |
|---|