| // RUN: %clang_cc1 -std=c++11 -triple i386-apple-darwin9 -fsyntax-only -verify %s |
| // expected-no-diagnostics |
| |
| using size_t = decltype(sizeof(0)); |
| |
| struct complex_double { |
| double real; |
| double imag; |
| }; |
| |
| template <typename T, size_t ABI, size_t Preferred> |
| struct check_alignment { |
| using type = T; |
| static type value; |
| |
| static_assert(__alignof__(value) == Preferred, "__alignof__(value) != Preferred"); |
| static_assert(__alignof__(type) == Preferred, "__alignof__(type) != Preferred"); |
| static_assert(alignof(type) == ABI, "alignof(type) != ABI"); |
| }; |
| |
| // PR3433 |
| template struct check_alignment<double, 4, 8>; |
| template struct check_alignment<long long, 4, 8>; |
| template struct check_alignment<unsigned long long, 4, 8>; |
| template struct check_alignment<complex_double, 4, 4>; |
| |
| // PR6362 |
| struct __attribute__((packed)) |
| packed_struct { |
| unsigned int a; |
| } g_packedstruct; |
| template struct check_alignment<packed_struct, 1, 1>; |
| static_assert(__alignof__(g_packedstruct.a) == 1, "__alignof__(packed_struct.member) != 1"); |
| |
| template struct check_alignment<double[3], 4, 8>; |
| |
| enum big_enum { x = 18446744073709551615ULL }; |
| template struct check_alignment<big_enum, 4, 8>; |
| |
| // PR5637 |
| |
| #define ALIGNED(x) __attribute__((aligned(x))) |
| |
| typedef ALIGNED(2) struct { |
| char a[3]; |
| } aligned_before_struct; |
| |
| static_assert(sizeof(aligned_before_struct) == 3, ""); |
| static_assert(sizeof(aligned_before_struct[1]) == 4, ""); |
| static_assert(sizeof(aligned_before_struct[2]) == 6, ""); |
| static_assert(sizeof(aligned_before_struct[2][1]) == 8, ""); |
| static_assert(sizeof(aligned_before_struct[1][2]) == 6, ""); |
| |
| typedef struct ALIGNED(2) { |
| char a[3]; |
| } aligned_after_struct; |
| |
| static_assert(sizeof(aligned_after_struct) == 4, ""); |
| static_assert(sizeof(aligned_after_struct[1]) == 4, ""); |
| static_assert(sizeof(aligned_after_struct[2]) == 8, ""); |
| static_assert(sizeof(aligned_after_struct[2][1]) == 8, ""); |
| static_assert(sizeof(aligned_after_struct[1][2]) == 8, ""); |