1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-linux-gnu -verify %s 2 3 alignas(1) int n1; // expected-error {{requested alignment is less than minimum alignment of 4 for type 'int'}} 4 alignas(1) alignas(2) int n2; // expected-error {{less than minimum alignment}} 5 alignas(1) alignas(2) alignas(4) int n3; // ok 6 alignas(1) alignas(2) alignas(0) int n4; // expected-error {{less than minimum alignment}} 7 alignas(1) alignas(2) int n5 alignas(4); // ok 8 alignas(1) alignas(4) int n6 alignas(2); // ok 9 alignas(1) int n7 alignas(2), // expected-error {{less than minimum alignment}} 10 n8 alignas(4); // ok 11 alignas(8) int n9 alignas(2); // ok, overaligned 12 alignas(1) extern int n10; // expected-error {{less than minimum alignment}} 13 14 enum alignas(1) E1 {}; // expected-error {{requested alignment is less than minimum alignment of 4 for type 'E1'}} 15 enum alignas(1) E2 : char {}; // ok 16 enum alignas(4) E3 { e3 = 0 }; // ok 17 enum alignas(4) E4 { e4 = 1ull << 33 }; // expected-error {{requested alignment is less than minimum alignment of 8 for type 'E4'}} 18 enum alignas(8) E5 {}; 19 static_assert(alignof(E5) == 8, ""); 20 21 typedef __attribute__((aligned(16))) int IntAlign16; 22 enum E6 : IntAlign16 {}; 23 static_assert(alignof(E6) == 4, ""); 24 25 struct S1 { 26 alignas(8) int n; 27 }; 28 struct alignas(2) S2 { // expected-error {{requested alignment is less than minimum alignment of 4 for type 'S2'}} 29 int n; 30 }; 31 struct alignas(2) S3 { // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S3'}} 32 S1 s1; 33 }; 34 struct alignas(2) S4 : S1 { // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S4'}} 35 }; 36 struct S5 : S1 { 37 alignas(2) S1 s1; // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S1'}} 38 }; 39 struct S6 { 40 S1 s1; 41 }; 42 struct S7 : S1 { 43 }; 44 struct alignas(2) alignas(8) alignas(1) S8 : S1 { 45 }; 46 47 S1 s1 alignas(4); // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S1'}} 48 S6 s6 alignas(4); // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S6'}} 49 S7 s7 alignas(4); // expected-error {{requested alignment is less than minimum alignment of 8 for type 'S7'}} 50 51 template<int N, int M, typename T> 52 struct alignas(N) X { // expected-error 3{{requested alignment is less than minimum}} 53 alignas(M) T t; // expected-error 3{{requested alignment is less than minimum}} 54 }; 55 56 template struct X<1, 1, char>; 57 template struct X<4, 1, char>; 58 template struct X<1, 2, char>; // expected-note {{instantiation}} 59 template struct X<1, 1, short>; // expected-note {{instantiation}} 60 template struct X<2, 1, short>; // expected-note {{instantiation}} 61 template struct X<2, 2, short>; 62 template struct X<16, 8, S1>; 63 template struct X<4, 4, S1>; // expected-note {{instantiation}} 64 65 template<int N, typename T> 66 struct Y { 67 enum alignas(N) E : T {}; // expected-error {{requested alignment is less than minimum}} 68 }; 69 template struct Y<1, char>; 70 template struct Y<2, char>; 71 template struct Y<1, short>; // expected-note {{instantiation}} 72 template struct Y<2, short>; 73 74 template<int N, typename T> 75 void f() { 76 alignas(N) T v; // expected-error {{requested alignment is less than minimum}} 77 }; 78 template void f<1, char>(); 79 template void f<2, char>(); 80 template void f<1, short>(); // expected-note {{instantiation}} 81 template void f<2, short>(); 82