| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <stddef.h> |
| |
| #include <stddef.h> |
| |
| #include "test_macros.h" |
| |
| void use() { |
| // Make sure we can use the following types without including anything else |
| (void)sizeof(size_t); |
| (void)sizeof(ptrdiff_t); |
| #if TEST_STD_VER >= 11 |
| (void)sizeof(nullptr); |
| (void)sizeof(nullptr_t); |
| (void)sizeof(max_align_t); |
| #endif |
| } |
| |
| #ifndef NULL |
| #error NULL not defined |
| #endif |
| |
| #ifndef offsetof |
| #error offsetof not defined |
| #endif |
| |
| #include <type_traits> |
| |
| static_assert(sizeof(size_t) == sizeof(void*), ""); |
| static_assert(std::is_unsigned<size_t>::value, ""); |
| static_assert(std::is_integral<size_t>::value, ""); |
| static_assert(sizeof(ptrdiff_t) == sizeof(void*), ""); |
| static_assert(std::is_signed<ptrdiff_t>::value, ""); |
| static_assert(std::is_integral<ptrdiff_t>::value, ""); |
| static_assert((std::is_same<decltype(nullptr), nullptr_t>::value), ""); |
| static_assert(sizeof(nullptr_t) == sizeof(void*), ""); |
| #if TEST_STD_VER >= 11 |
| # if TEST_STD_VER >= 20 |
| // P0767 |
| static_assert(std::is_trivial<max_align_t>::value, ""); |
| static_assert(std::is_standard_layout<max_align_t>::value, ""); |
| # else |
| static_assert(std::is_pod<max_align_t>::value, ""); |
| # endif |
| static_assert(std::alignment_of<max_align_t>::value >= std::alignment_of<long long>::value, ""); |
| static_assert(std::alignment_of<max_align_t>::value >= std::alignment_of<long double>::value, ""); |
| static_assert(std::alignment_of<max_align_t>::value >= std::alignment_of<void*>::value, ""); |
| #endif // TEST_STD_VER >= 11 |