| Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame^] | 2 | // expected-no-diagnostics |
| Anders Carlsson | d8fe2d5 | 2009-11-07 06:07:58 +0000 | [diff] [blame] | 3 | template <typename T> |
| 4 | struct A { |
| 5 | char a __attribute__((aligned(16))); |
| Douglas Gregor | a6b0907 | 2010-05-17 23:46:49 +0000 | [diff] [blame] | 6 | |
| 7 | struct B { |
| 8 | typedef T __attribute__((aligned(16))) i16; |
| 9 | i16 x; |
| 10 | }; |
| Anders Carlsson | d8fe2d5 | 2009-11-07 06:07:58 +0000 | [diff] [blame] | 11 | }; |
| 12 | int a[sizeof(A<int>) == 16 ? 1 : -1]; |
| Douglas Gregor | a6b0907 | 2010-05-17 23:46:49 +0000 | [diff] [blame] | 13 | int a2[sizeof(A<int>::B) == 16 ? 1 : -1]; |
| Anders Carlsson | d8fe2d5 | 2009-11-07 06:07:58 +0000 | [diff] [blame] | 14 | |
| John McCall | 1d8d1cc | 2010-08-01 02:01:53 +0000 | [diff] [blame] | 15 | // rdar://problem/8243419 |
| 16 | namespace test1 { |
| 17 | template <typename T> struct A { |
| 18 | int a; |
| 19 | T b[0]; |
| 20 | } __attribute__((packed)); |
| 21 | |
| 22 | typedef A<unsigned long> type; |
| 23 | |
| 24 | int test0[sizeof(type) == 4 ? 1 : -1]; |
| 25 | int test1[__builtin_offsetof(type, a) == 0 ? 1 : -1]; |
| 26 | int test2[__builtin_offsetof(type, b) == 4 ? 1 : -1]; |
| 27 | } |