blob: d038e637f4ea8508d4309e6e56ffeae61f7267e8 [file] [log] [blame]
Richard Smith4cd81c52013-01-29 09:02:09 +00001// RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++11 %s
Sean Huntbbd37c62009-11-21 08:43:09 +00002
Peter Collingbourne82d0b0a2011-09-29 18:04:28 +00003int align_illegal alignas(3); //expected-error {{requested alignment is not a power of 2}}
4char align_big alignas(int);
5int align_small alignas(1); // FIXME: this should be rejected
6int align_multiple alignas(1) alignas(8) alignas(1);
Richard Smith4cd81c52013-01-29 09:02:09 +00007alignas(4) int align_before;
Sean Huntbbd37c62009-11-21 08:43:09 +00008
9struct align_member {
Peter Collingbourne82d0b0a2011-09-29 18:04:28 +000010 int member alignas(8);
Richard Smith4cd81c52013-01-29 09:02:09 +000011 int bitfield alignas(1) : 1; // expected-error {{}}
Sean Huntbbd37c62009-11-21 08:43:09 +000012};
13
Richard Smith4cd81c52013-01-29 09:02:09 +000014void f(alignas(1) char c) { // expected-error {{'alignas' attribute cannot be applied to a function parameter}}
15 alignas(1) register char k; // expected-error {{'alignas' attribute cannot be applied to a variable with 'register' storage class}}
16 try {
17 } catch (alignas(4) int n) { // expected-error {{'alignas' attribute cannot be applied to a 'catch' variable}}
18 }
19}
20
21
Eli Friedmanfc038e92011-12-17 00:36:09 +000022template <unsigned A> struct alignas(A) align_class_template {};
Peter Collingbourne0661bd0c2011-10-23 17:07:16 +000023
Peter Collingbourne0b64ba92011-10-23 20:07:52 +000024// FIXME: these should not error
25template <typename... T> alignas(T...) struct align_class_temp_pack_type {}; // expected-error{{pack expansions in alignment specifiers are not supported yet}}
26template <unsigned... A> alignas(A...) struct align_class_temp_pack_expr {}; // expected-error{{pack expansions in alignment specifiers are not supported yet}}
27
Richard Smith4cd81c52013-01-29 09:02:09 +000028typedef char align_typedef alignas(8); // expected-error {{'alignas' attribute only applies to variables, functions and tag types}}
Richard Smithd03de6a2013-01-29 10:02:16 +000029template<typename T> using align_alias_template = align_typedef alignas(8); // expected-error {{'alignas' attribute cannot be applied to types}}
Richard Smith3e4c6c42011-05-05 21:57:07 +000030
Richard Smitha0109e22013-01-29 10:18:18 +000031static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}}
32static_assert(alignof(align_small) == 1, "j's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}}
33static_assert(alignof(align_multiple) == 8, "l's alignment is wrong"); // expected-warning{{'alignof' applied to an expression is a GNU extension}}
Sean Huntbbd37c62009-11-21 08:43:09 +000034static_assert(alignof(align_member) == 8, "quuux's alignment is wrong");
35static_assert(sizeof(align_member) == 8, "quuux's size is wrong");
Peter Collingbourne0661bd0c2011-10-23 17:07:16 +000036static_assert(alignof(align_class_template<8>) == 8, "template's alignment is wrong");
37static_assert(alignof(align_class_template<16>) == 16, "template's alignment is wrong");
Peter Collingbourne0b64ba92011-10-23 20:07:52 +000038// FIXME: enable these tests
39// static_assert(alignof(align_class_temp_pack_type<short, int, long>) == alignof(long), "template's alignment is wrong");
40// static_assert(alignof(align_class_temp_pack_expr<8, 16, 32>) == 32, "template's alignment is wrong");