43 lines
1.4 KiB
C++
43 lines
1.4 KiB
C++
|
// { dg-do compile { target c++11 } }
|
||
|
|
|
||
|
|
// Check alignment of the buffer types used for uninitialized storage.
|
||
|
|
|
||
|
|
#include <ext/aligned_buffer.h>
|
||
|
|
|
||
|
|
template<typename T> using membuf = __gnu_cxx::__aligned_membuf<T>;
|
||
|
|
template<typename T> using objbuf = __gnu_cxx::__aligned_buffer<T>;
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
constexpr bool
|
||
|
|
check_alignof_membuf()
|
||
|
|
{
|
||
|
|
return alignof(membuf<T>) == alignof(T)
|
||
|
|
&& __alignof__(membuf<T>) == alignof(T);
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
constexpr bool
|
||
|
|
check_alignof_objbuf()
|
||
|
|
{
|
||
|
|
#if _GLIBCXX_INLINE_VERSION
|
||
|
|
// For the gnu-versioned-namespace ABI __aligned_buffer == __aligned_membuf.
|
||
|
|
return check_alignof_membuf<T>();
|
||
|
|
#else
|
||
|
|
return alignof(objbuf<T>) == __alignof__(T)
|
||
|
|
&& __alignof__(objbuf<T>) == __alignof__(T);
|
||
|
|
#endif
|
||
|
|
}
|
||
|
|
|
||
|
|
struct S { long long l; };
|
||
|
|
struct alignas(128) X { char x; };
|
||
|
|
static_assert( check_alignof_membuf<int>(), "membuf<int>" );
|
||
|
|
static_assert( check_alignof_membuf<long long>(), "membuf<long long>" );
|
||
|
|
static_assert( check_alignof_membuf<void*>(), "membuf<void*>" );
|
||
|
|
static_assert( check_alignof_membuf<S>(), "membuf<S>" );
|
||
|
|
static_assert( check_alignof_membuf<X>(), "membuf<X>" );
|
||
|
|
static_assert( check_alignof_objbuf<int>(), "objbuf<int>" );
|
||
|
|
static_assert( check_alignof_objbuf<long long>(), "objbuf<long long>" );
|
||
|
|
static_assert( check_alignof_objbuf<void*>(), "objbuf<void*>" );
|
||
|
|
static_assert( check_alignof_objbuf<S>(), "objbuf<S>" );
|
||
|
|
static_assert( check_alignof_objbuf<X>(), "objbuf<X>" );
|