forked from OSchip/llvm-project
				
			
		
			
				
	
	
		
			60 lines
		
	
	
		
			2.2 KiB
		
	
	
	
		
			C++
		
	
	
	
			
		
		
	
	
			60 lines
		
	
	
		
			2.2 KiB
		
	
	
	
		
			C++
		
	
	
	
| //===----------------------------------------------------------------------===//
 | |
| //
 | |
| //                     The LLVM Compiler Infrastructure
 | |
| //
 | |
| // This file is dual licensed under the MIT and the University of Illinois Open
 | |
| // Source Licenses. See LICENSE.TXT for details.
 | |
| //
 | |
| //===----------------------------------------------------------------------===//
 | |
| 
 | |
| // <stddef.h>
 | |
| 
 | |
| #include <stddef.h>
 | |
| #include <cassert>
 | |
| #include <type_traits>
 | |
| 
 | |
| #ifndef NULL
 | |
| #error NULL not defined
 | |
| #endif
 | |
| 
 | |
| #ifndef offsetof
 | |
| #error offsetof not defined
 | |
| #endif
 | |
| 
 | |
| int main()
 | |
| {
 | |
|     void *p = NULL;
 | |
|     assert(!p);
 | |
| 
 | |
|     static_assert(sizeof(size_t) == sizeof(void*),
 | |
|                   "sizeof(size_t) == sizeof(void*)");
 | |
|     static_assert(std::is_unsigned<size_t>::value,
 | |
|                   "std::is_unsigned<size_t>::value");
 | |
|     static_assert(std::is_integral<size_t>::value,
 | |
|                   "std::is_integral<size_t>::value");
 | |
|     static_assert(sizeof(ptrdiff_t) == sizeof(void*),
 | |
|                   "sizeof(ptrdiff_t) == sizeof(void*)");
 | |
|     static_assert(std::is_signed<ptrdiff_t>::value,
 | |
|                   "std::is_signed<ptrdiff_t>::value");
 | |
|     static_assert(std::is_integral<ptrdiff_t>::value,
 | |
|                   "std::is_integral<ptrdiff_t>::value");
 | |
|     static_assert((std::is_same<decltype(nullptr), nullptr_t>::value),
 | |
|                   "decltype(nullptr) == nullptr_t");
 | |
|     static_assert(sizeof(nullptr_t) == sizeof(void*),
 | |
|                   "sizeof(nullptr_t) == sizeof(void*)");
 | |
|     static_assert(std::is_pod<max_align_t>::value,
 | |
|                   "std::is_pod<max_align_t>::value");
 | |
|     static_assert((std::alignment_of<max_align_t>::value >=
 | |
|                   std::alignment_of<long long>::value),
 | |
|                   "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,
 | |
|                   "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,
 | |
|                   "std::alignment_of<max_align_t>::value >= "
 | |
|                   "std::alignment_of<void*>::value");
 | |
| }
 |