Richard Smith | 6822bd7 | 2018-10-26 19:26:45 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -triple i386-apple-darwin9 -fsyntax-only -verify %s |
| 2 | // expected-no-diagnostics |
| 3 | |
| 4 | using size_t = decltype(sizeof(0)); |
| 5 | |
| 6 | struct complex_double { |
| 7 | double real; |
| 8 | double imag; |
| 9 | }; |
| 10 | |
| 11 | template <typename T, size_t ABI, size_t Preferred> |
| 12 | struct check_alignment { |
| 13 | using type = T; |
| 14 | static type value; |
| 15 | |
| 16 | static_assert(__alignof__(value) == Preferred, "__alignof__(value) != Preferred"); |
| 17 | static_assert(__alignof__(type) == Preferred, "__alignof__(type) != Preferred"); |
| 18 | static_assert(alignof(type) == ABI, "alignof(type) != ABI"); |
| 19 | }; |
| 20 | |
| 21 | // PR3433 |
| 22 | template struct check_alignment<double, 4, 8>; |
| 23 | template struct check_alignment<long long, 4, 8>; |
| 24 | template struct check_alignment<unsigned long long, 4, 8>; |
| 25 | template struct check_alignment<complex_double, 4, 4>; |
| 26 | |
| 27 | // PR6362 |
| 28 | struct __attribute__((packed)) |
| 29 | packed_struct { |
| 30 | unsigned int a; |
| 31 | } g_packedstruct; |
| 32 | template struct check_alignment<packed_struct, 1, 1>; |
| 33 | static_assert(__alignof__(g_packedstruct.a) == 1, "__alignof__(packed_struct.member) != 1"); |
| 34 | |
| 35 | template struct check_alignment<double[3], 4, 8>; |
| 36 | |
| 37 | enum big_enum { x = 18446744073709551615ULL }; |
| 38 | template struct check_alignment<big_enum, 4, 8>; |
| 39 | |
| 40 | // PR5637 |
| 41 | |
| 42 | #define ALIGNED(x) __attribute__((aligned(x))) |
| 43 | |
| 44 | typedef ALIGNED(2) struct { |
| 45 | char a[3]; |
| 46 | } aligned_before_struct; |
| 47 | |
| 48 | static_assert(sizeof(aligned_before_struct) == 3, ""); |
| 49 | static_assert(sizeof(aligned_before_struct[1]) == 4, ""); |
| 50 | static_assert(sizeof(aligned_before_struct[2]) == 6, ""); |
| 51 | static_assert(sizeof(aligned_before_struct[2][1]) == 8, ""); |
| 52 | static_assert(sizeof(aligned_before_struct[1][2]) == 6, ""); |
| 53 | |
| 54 | typedef struct ALIGNED(2) { |
| 55 | char a[3]; |
| 56 | } aligned_after_struct; |
| 57 | |
| 58 | static_assert(sizeof(aligned_after_struct) == 4, ""); |
| 59 | static_assert(sizeof(aligned_after_struct[1]) == 4, ""); |
| 60 | static_assert(sizeof(aligned_after_struct[2]) == 8, ""); |
| 61 | static_assert(sizeof(aligned_after_struct[2][1]) == 8, ""); |
| 62 | static_assert(sizeof(aligned_after_struct[1][2]) == 8, ""); |