1 // RUN: %clang_cc1 -std=c++11 -verify %s 2 3 // expected-no-diagnostics 4 using size_t = decltype(sizeof(0)); 5 6 template<typename T, typename U> 7 constexpr T max(T t, U u) { return t > u ? t : u; } 8 9 template<typename T, typename ...Ts> 10 constexpr auto max(T t, Ts ...ts) -> decltype(max(t, max(ts...))) { 11 return max(t, max(ts...)); 12 } 13 14 template<typename...T> struct my_union { 15 alignas(T...) char buffer[max(sizeof(T)...)]; 16 }; 17 18 struct alignas(8) A { char c; }; 19 struct alignas(4) B { short s; }; 20 struct C { char a[16]; }; 21 22 static_assert(sizeof(my_union<A, B, C>) == 16, ""); 23 static_assert(alignof(my_union<A, B, C>) == 8, ""); 24
