1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -pedantic -std=c++11 %s 2*f4a2713aSLionel Sambuc 3*f4a2713aSLionel Sambuc int align_illegal alignas(3); //expected-error {{requested alignment is not a power of 2}} 4*f4a2713aSLionel Sambuc char align_big alignas(int); 5*f4a2713aSLionel Sambuc int align_small alignas(1); // expected-error {{requested alignment is less than minimum}} 6*f4a2713aSLionel Sambuc int align_multiple alignas(1) alignas(8) alignas(1); 7*f4a2713aSLionel Sambuc alignas(4) int align_before; 8*f4a2713aSLionel Sambuc 9*f4a2713aSLionel Sambuc struct align_member { 10*f4a2713aSLionel Sambuc int member alignas(8); 11*f4a2713aSLionel Sambuc int bitfield alignas(1) : 1; // expected-error {{}} 12*f4a2713aSLionel Sambuc }; 13*f4a2713aSLionel Sambuc 14*f4a2713aSLionel Sambuc void f(alignas(1) char c) { // expected-error {{'alignas' attribute cannot be applied to a function parameter}} 15*f4a2713aSLionel Sambuc alignas(1) register char k; // expected-error {{'alignas' attribute cannot be applied to a variable with 'register' storage class}} expected-warning {{deprecated}} 16*f4a2713aSLionel Sambuc try { 17*f4a2713aSLionel Sambuc } catch (alignas(4) int n) { // expected-error {{'alignas' attribute cannot be applied to a 'catch' variable}} 18*f4a2713aSLionel Sambuc } 19*f4a2713aSLionel Sambuc } 20*f4a2713aSLionel Sambuc 21*f4a2713aSLionel Sambuc 22*f4a2713aSLionel Sambuc template <unsigned A> struct alignas(A) align_class_template {}; 23*f4a2713aSLionel Sambuc 24*f4a2713aSLionel Sambuc template <typename... T> struct alignas(T...) align_class_temp_pack_type {}; 25*f4a2713aSLionel Sambuc template <unsigned... A> struct alignas(A...) align_class_temp_pack_expr {}; 26*f4a2713aSLionel Sambuc struct alignas(int...) alignas_expansion_no_packs {}; // expected-error {{pack expansion does not contain any unexpanded parameter packs}} 27*f4a2713aSLionel Sambuc template <typename... A> struct outer { 28*f4a2713aSLionel Sambuc template <typename... B> struct alignas(alignof(A) * alignof(B)...) inner {}; 29*f4a2713aSLionel Sambuc // expected-error@-1 {{pack expansion contains parameter packs 'A' and 'B' that have different lengths (1 vs. 2)}} 30*f4a2713aSLionel Sambuc }; 31*f4a2713aSLionel Sambuc outer<int>::inner<short, double> mismatched_packs; // expected-note {{in instantiation of}} 32*f4a2713aSLionel Sambuc 33*f4a2713aSLionel Sambuc typedef char align_typedef alignas(8); // expected-error {{'alignas' attribute only applies to variables, data members and tag types}} 34*f4a2713aSLionel Sambuc template<typename T> using align_alias_template = align_typedef alignas(8); // expected-error {{'alignas' attribute cannot be applied to types}} 35*f4a2713aSLionel Sambuc 36*f4a2713aSLionel Sambuc static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}} 37*f4a2713aSLionel Sambuc static_assert(alignof(align_small) == 1, "j's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}} 38*f4a2713aSLionel Sambuc static_assert(alignof(align_multiple) == 8, "l's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}} 39*f4a2713aSLionel Sambuc static_assert(alignof(align_member) == 8, "quuux's alignment is wrong"); 40*f4a2713aSLionel Sambuc static_assert(sizeof(align_member) == 8, "quuux's size is wrong"); 41*f4a2713aSLionel Sambuc static_assert(alignof(align_class_template<8>) == 8, "template's alignment is wrong"); 42*f4a2713aSLionel Sambuc static_assert(alignof(align_class_template<16>) == 16, "template's alignment is wrong"); 43*f4a2713aSLionel Sambuc static_assert(alignof(align_class_temp_pack_type<short, int, long>) == alignof(long), "template's alignment is wrong"); 44*f4a2713aSLionel Sambuc static_assert(alignof(align_class_temp_pack_expr<8, 16, 32>) == 32, "template's alignment is wrong"); 45*f4a2713aSLionel Sambuc static_assert(alignof(outer<int,char>::inner<double,short>) == alignof(int) * alignof(double), "template's alignment is wrong"); 46*f4a2713aSLionel Sambuc 47*f4a2713aSLionel Sambuc static_assert(alignof(int(int)) >= 1, "alignof(function) not positive"); // expected-error{{invalid application of 'alignof' to a function type}} 48