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