| Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x %s |
| Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 2 | |
| Peter Collingbourne | 82d0b0a | 2011-09-29 18:04:28 +0000 | [diff] [blame] | 3 | int align_illegal alignas(3); //expected-error {{requested alignment is not a power of 2}} |
| 4 | char align_big alignas(int); |
| 5 | int align_small alignas(1); // FIXME: this should be rejected |
| 6 | int align_multiple alignas(1) alignas(8) alignas(1); |
| Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 7 | |
| 8 | struct align_member { |
| Peter Collingbourne | 82d0b0a | 2011-09-29 18:04:28 +0000 | [diff] [blame] | 9 | int member alignas(8); |
| Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 10 | }; |
| 11 | |
| Peter Collingbourne | 82d0b0a | 2011-09-29 18:04:28 +0000 | [diff] [blame] | 12 | typedef char align_typedef alignas(8); |
| Richard Smith | 3e4c6c4 | 2011-05-05 21:57:07 +0000 | [diff] [blame] | 13 | template<typename T> using align_alias_template = align_typedef; |
| 14 | |
| Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 15 | static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong"); |
| John McCall | 4081a5c | 2010-10-08 18:24:19 +0000 | [diff] [blame] | 16 | static_assert(alignof(align_small) == 1, "j's alignment is wrong"); |
| Sean Hunt | bbd37c6 | 2009-11-21 08:43:09 +0000 | [diff] [blame] | 17 | static_assert(alignof(align_multiple) == 8, "l's alignment is wrong"); |
| 18 | static_assert(alignof(align_member) == 8, "quuux's alignment is wrong"); |
| 19 | static_assert(sizeof(align_member) == 8, "quuux's size is wrong"); |
| Richard Smith | 3e4c6c4 | 2011-05-05 21:57:07 +0000 | [diff] [blame] | 20 | static_assert(alignof(align_typedef) == 8, "typedef's alignment is wrong"); |
| 21 | static_assert(alignof(align_alias_template<int>) == 8, "alias template's alignment is wrong"); |