alignas.c revision 4cd81c5bf5957b2b10ddf253035f6e1596082108 
1// RUN: %clang_cc1 -fsyntax-only -verify -std=c11 -Dalignof=__alignof %s
2// RUN: %clang_cc1 -fsyntax-only -verify -std=c11 -Dalignof=_Alignof %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; // FIXME: this should be rejected
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, functions and tag types}}
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_Static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong");
21_Static_assert(alignof(align_small) == 1, "j's alignment is wrong");
22_Static_assert(alignof(align_multiple) == 8, "l's alignment is wrong");
23_Static_assert(alignof(struct align_member) == 8, "quuux's alignment is wrong");
24_Static_assert(sizeof(struct align_member) == 8, "quuux's size is wrong");
25