1// RUN: %clang_cc1 -fsyntax-only -verify -std=c11 -Dalignof=__alignof %s
2// RUN: %clang_cc1 -fsyntax-only -verify -std=c11 -Dalignof=_Alignof -DUSING_C11_SYNTAX %s
3
4_Alignas(3) int align_illegal; //expected-error {{requested alignment is not a power of 2}}
5_Alignas(int) char align_big;
6_Alignas(1) int align_small; // expected-error {{requested alignment is less than minimum}}
7_Alignas(1) unsigned _Alignas(8) int _Alignas(1) align_multiple;
8
9struct align_member {
10  _Alignas(8) int member;
11  _Alignas(1) char bitfield : 1; // expected-error {{'_Alignas' attribute cannot be applied to a bit-field}}
12};
13
14typedef _Alignas(8) char align_typedef; // expected-error {{'_Alignas' attribute only applies to variables and fields}}
15
16void f(_Alignas(1) char c) { // expected-error {{'_Alignas' attribute cannot be applied to a function parameter}}
17  _Alignas(1) register char k; // expected-error {{'_Alignas' attribute cannot be applied to a variable with 'register' storage class}}
18}
19
20#ifdef USING_C11_SYNTAX
21// expected-warning@+4{{'_Alignof' applied to an expression is a GNU extension}}
22// expected-warning@+4{{'_Alignof' applied to an expression is a GNU extension}}
23// expected-warning@+4{{'_Alignof' applied to an expression is a GNU extension}}
24#endif
25_Static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong");
26_Static_assert(alignof(align_small) == 1, "j's alignment is wrong");
27_Static_assert(alignof(align_multiple) == 8, "l's alignment is wrong");
28_Static_assert(alignof(struct align_member) == 8, "quuux's alignment is wrong");
29_Static_assert(sizeof(struct align_member) == 8, "quuux's size is wrong");
30