1ee226c05af9e0187098f43fb71465a581487af9bDan Austin//===----------------------------------------------------------------------===// 2ee226c05af9e0187098f43fb71465a581487af9bDan Austin// 3ee226c05af9e0187098f43fb71465a581487af9bDan Austin// The LLVM Compiler Infrastructure 4ee226c05af9e0187098f43fb71465a581487af9bDan Austin// 5ee226c05af9e0187098f43fb71465a581487af9bDan Austin// This file is dual licensed under the MIT and the University of Illinois Open 6ee226c05af9e0187098f43fb71465a581487af9bDan Austin// Source Licenses. See LICENSE.TXT for details. 7ee226c05af9e0187098f43fb71465a581487af9bDan Austin// 8ee226c05af9e0187098f43fb71465a581487af9bDan Austin//===----------------------------------------------------------------------===// 9ee226c05af9e0187098f43fb71465a581487af9bDan Austin 10ee226c05af9e0187098f43fb71465a581487af9bDan Austin// type_traits 11ee226c05af9e0187098f43fb71465a581487af9bDan Austin 12ee226c05af9e0187098f43fb71465a581487af9bDan Austin// is_pointer 13ee226c05af9e0187098f43fb71465a581487af9bDan Austin 14ee226c05af9e0187098f43fb71465a581487af9bDan Austin#include <type_traits> 15ee226c05af9e0187098f43fb71465a581487af9bDan Austin#include <cstddef> // for std::nullptr_t 16ee226c05af9e0187098f43fb71465a581487af9bDan Austin#include "test_macros.h" 17ee226c05af9e0187098f43fb71465a581487af9bDan Austin 18ee226c05af9e0187098f43fb71465a581487af9bDan Austintemplate <class T> 19ee226c05af9e0187098f43fb71465a581487af9bDan Austinvoid test_is_pointer() 20ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 21ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer<T>::value, ""); 22ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer<const T>::value, ""); 23ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer<volatile T>::value, ""); 24ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer<const volatile T>::value, ""); 25ee226c05af9e0187098f43fb71465a581487af9bDan Austin#if TEST_STD_VER > 14 26ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer_v<T>, ""); 27ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer_v<const T>, ""); 28ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer_v<volatile T>, ""); 29ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert( std::is_pointer_v<const volatile T>, ""); 30ee226c05af9e0187098f43fb71465a581487af9bDan Austin#endif 31ee226c05af9e0187098f43fb71465a581487af9bDan Austin} 32ee226c05af9e0187098f43fb71465a581487af9bDan Austin 33ee226c05af9e0187098f43fb71465a581487af9bDan Austintemplate <class T> 34ee226c05af9e0187098f43fb71465a581487af9bDan Austinvoid test_is_not_pointer() 35ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 36ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer<T>::value, ""); 37ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer<const T>::value, ""); 38ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer<volatile T>::value, ""); 39ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer<const volatile T>::value, ""); 40ee226c05af9e0187098f43fb71465a581487af9bDan Austin#if TEST_STD_VER > 14 41ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer_v<T>, ""); 42ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer_v<const T>, ""); 43ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer_v<volatile T>, ""); 44ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert(!std::is_pointer_v<const volatile T>, ""); 45ee226c05af9e0187098f43fb71465a581487af9bDan Austin#endif 46ee226c05af9e0187098f43fb71465a581487af9bDan Austin} 47ee226c05af9e0187098f43fb71465a581487af9bDan Austin 48ee226c05af9e0187098f43fb71465a581487af9bDan Austinclass Empty 49ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 50ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 51ee226c05af9e0187098f43fb71465a581487af9bDan Austin 52ee226c05af9e0187098f43fb71465a581487af9bDan Austinclass NotEmpty 53ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 54ee226c05af9e0187098f43fb71465a581487af9bDan Austin virtual ~NotEmpty(); 55ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 56ee226c05af9e0187098f43fb71465a581487af9bDan Austin 57ee226c05af9e0187098f43fb71465a581487af9bDan Austinunion Union {}; 58ee226c05af9e0187098f43fb71465a581487af9bDan Austin 59ee226c05af9e0187098f43fb71465a581487af9bDan Austinstruct bit_zero 60ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 61ee226c05af9e0187098f43fb71465a581487af9bDan Austin int : 0; 62ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 63ee226c05af9e0187098f43fb71465a581487af9bDan Austin 64ee226c05af9e0187098f43fb71465a581487af9bDan Austinclass Abstract 65ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 66ee226c05af9e0187098f43fb71465a581487af9bDan Austin virtual ~Abstract() = 0; 67ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 68ee226c05af9e0187098f43fb71465a581487af9bDan Austin 69ee226c05af9e0187098f43fb71465a581487af9bDan Austinenum Enum {zero, one}; 70ee226c05af9e0187098f43fb71465a581487af9bDan Austinstruct incomplete_type; 71ee226c05af9e0187098f43fb71465a581487af9bDan Austin 72ee226c05af9e0187098f43fb71465a581487af9bDan Austintypedef void (*FunctionPtr)(); 73ee226c05af9e0187098f43fb71465a581487af9bDan Austin 74ee226c05af9e0187098f43fb71465a581487af9bDan Austinint main() 75ee226c05af9e0187098f43fb71465a581487af9bDan Austin{ 76ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_pointer<void*>(); 77ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_pointer<int*>(); 78ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_pointer<const int*>(); 79ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_pointer<Abstract*>(); 80ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_pointer<FunctionPtr>(); 81ee226c05af9e0187098f43fb71465a581487af9bDan Austin 82ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<std::nullptr_t>(); 83ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<void>(); 84ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<int&>(); 85ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<int&&>(); 86ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<double>(); 87ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<char[3]>(); 88ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<char[]>(); 89ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<Union>(); 90ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<Enum>(); 91ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<Empty>(); 92ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<bit_zero>(); 93ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<NotEmpty>(); 94ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<Abstract>(); 95ee226c05af9e0187098f43fb71465a581487af9bDan Austin test_is_not_pointer<incomplete_type>(); 96ee226c05af9e0187098f43fb71465a581487af9bDan Austin} 97