boostorg/type_traits
1
0
Fork 1
mirror of https://github.com/boostorg/type_traits.git synced 2025-08-02 22:14:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Ooops, original test case invoked very undefined behaviour.

Browse Source 
[SVN r58215]
This commit is contained in:
John Maddock
2009-12-07 12:56:29 +00:00
parent 908fa41cc3
commit 89f18be48e
1 changed files with 12 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
test/aligned_storage_empy_test.cpp
View File

@@ -22,7 +22,7 @@ namespace
struct alignment_implementation1
{
boost::detail::aligned_storage::aligned_storage_imp<N,Alignment> type;
const void* address() const { return this; }
const void* address() const { return type.address(); }
};
template< unsigned N, unsigned Alignment >
@@ -39,24 +39,24 @@ namespace
};
template< unsigned N, class T >
const void* get_address1()
std::ptrdiff_t get_address1()
{
alignment_implementation1<N*sizeof(T), tt::alignment_of<T>::value> imp1;
return imp1.address();
static alignment_implementation1<N*sizeof(T), tt::alignment_of<T>::value> imp1;
return static_cast<const char*>(imp1.address()) - reinterpret_cast<const char*>(&imp1);
}
template< unsigned N, class T >
const void* get_address2()
std::ptrdiff_t get_address2()
{
alignment_implementation2<N*sizeof(T), tt::alignment_of<T>::value> imp2;
return imp2.address();
static alignment_implementation2<N*sizeof(T), tt::alignment_of<T>::value> imp2;
return static_cast<const char*>(imp2.address()) - reinterpret_cast<const char*>(&imp2);
}
template< class T >
void check()
{
const void* addr1 = get_address1<0,T>();
const void* addr2 = get_address2<0,T>();
std::ptrdiff_t addr1 = get_address1<0,T>();
std::ptrdiff_t addr2 = get_address2<0,T>();
//
// @remark: only the empty case differs
//
@@ -101,6 +101,9 @@ check<long double>();
#ifdef BOOST_HAS_MS_INT64
check<__int64>();
#endif
#ifdef BOOST_HAS_LONG_LONG
check<long long>();
#endif
check<int(*)(int)>();
check<int*>();