PR libstdc++/88119 use alignof in std::alignment_of, not __alignof__

Now that __alignof__ and alignof sometimes disagree it matters which one
we use. The standard says that std::alignment_of<T>::value equals
alignof(T), so we need to use that.

Change the only uses of alignment_of to use __alignof__ to avoid a
change in alignment.

	PR libstdc++/88119
	* include/ext/aligned_buffer.h (__aligned_membuf): Add comment.
	(__aligned_buffer): Use __alignof__ instead of std::alignment_of.
	* include/std/type_traits (alignment_of): Use alignof instead of
	__alignof__.
	* testsuite/20_util/alignment_of/value.cc: Fix test to check values
	match alignof not __alignof__, as required by the standard.

From-SVN: r266613
This commit is contained in:
Jonathan Wakely 2018-11-29 12:32:57 +00:00 committed by Jonathan Wakely
parent 479db22783
commit 8c9b385288
4 changed files with 29 additions and 14 deletions

View File

@ -1,5 +1,13 @@
2018-11-29 Jonathan Wakely <jwakely@redhat.com> 2018-11-29 Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/88119
* include/ext/aligned_buffer.h (__aligned_membuf): Add comment.
(__aligned_buffer): Use __alignof__ instead of std::alignment_of.
* include/std/type_traits (alignment_of): Use alignof instead of
__alignof__.
* testsuite/20_util/alignment_of/value.cc: Fix test to check values
match alignof not __alignof__, as required by the standard.
PR libstdc++/86910 PR libstdc++/86910
PR libstdc++/87846 PR libstdc++/87846
* src/filesystem/ops.cc (experimental::create_directories): Report * src/filesystem/ops.cc (experimental::create_directories): Report

View File

@ -49,6 +49,8 @@ namespace __gnu_cxx
// Target macro ADJUST_FIELD_ALIGN can produce different alignment for // Target macro ADJUST_FIELD_ALIGN can produce different alignment for
// types when used as class members. __aligned_membuf is intended // types when used as class members. __aligned_membuf is intended
// for use as a class member, so align the buffer as for a class member. // for use as a class member, so align the buffer as for a class member.
// Since GCC 8 we could just use alignof(_Tp) instead, but older
// versions of non-GNU compilers might still need this trick.
struct _Tp2 { _Tp _M_t; }; struct _Tp2 { _Tp _M_t; };
alignas(__alignof__(_Tp2::_M_t)) unsigned char _M_storage[sizeof(_Tp)]; alignas(__alignof__(_Tp2::_M_t)) unsigned char _M_storage[sizeof(_Tp)];
@ -86,11 +88,10 @@ namespace __gnu_cxx
// This type is still used to avoid an ABI change. // This type is still used to avoid an ABI change.
template<typename _Tp> template<typename _Tp>
struct __aligned_buffer struct __aligned_buffer
: std::aligned_storage<sizeof(_Tp), std::alignment_of<_Tp>::value> : std::aligned_storage<sizeof(_Tp), __alignof__(_Tp)>
{ {
typename typename
std::aligned_storage<sizeof(_Tp), std::alignment_of<_Tp>::value>::type std::aligned_storage<sizeof(_Tp), __alignof__(_Tp)>::type _M_storage;
_M_storage;
__aligned_buffer() = default; __aligned_buffer() = default;

View File

@ -1286,7 +1286,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
/// alignment_of /// alignment_of
template<typename _Tp> template<typename _Tp>
struct alignment_of struct alignment_of
: public integral_constant<std::size_t, __alignof__(_Tp)> { }; : public integral_constant<std::size_t, alignof(_Tp)> { };
/// rank /// rank
template<typename> template<typename>

View File

@ -20,16 +20,22 @@
#include <type_traits> #include <type_traits>
#include <testsuite_tr1.h> #include <testsuite_tr1.h>
template<typename T>
constexpr bool test()
{
return __gnu_test::test_property<std::alignment_of, T>(alignof(T));
}
void test01() void test01()
{ {
using std::alignment_of; static_assert(test<char>(), "");
using namespace __gnu_test; static_assert(test<short>(), "");
static_assert(test<int>(), "");
static_assert(test_property<alignment_of, char>(__alignof__(char)), ""); static_assert(test<long>(), "");
static_assert(test_property<alignment_of, short>(__alignof__(short)), ""); static_assert(test<long long>(), "");
static_assert(test_property<alignment_of, int>(__alignof__(int)), ""); static_assert(test<float>(), "");
static_assert(test_property<alignment_of, double>(__alignof__(double)), ""); static_assert(test<double>(), "");
static_assert(test_property<alignment_of, int[4]>(__alignof__(int[4])), ""); static_assert(test<long double>(), "");
static_assert(test_property<alignment_of, static_assert(test<int[4]>(), "");
ClassType>(__alignof__(ClassType)), ""); static_assert(test<__gnu_test::ClassType>(), "");
} }