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 | } |
Eli Friedman | b68ec6b | 2012-11-07 00:35:20 +0000 | [diff] [blame] | 28 | |
| 29 | namespace test2 { |
| 30 | template <class type> |
| 31 | struct fastscriptmember { |
| 32 | type Member __attribute__ ((packed)); |
| 33 | char x; |
| 34 | }; |
| 35 | int test0[sizeof(fastscriptmember<int>) == 5 ? 1 : -1]; |
| 36 | } |