47 lines · cpp
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9// type_traits10 11// pointer12 13#include <type_traits>14 15#include "test_macros.h"16 17template <class T>18void test_pointer_imp()19{20 static_assert(!std::is_reference<T>::value, "");21 static_assert(!std::is_arithmetic<T>::value, "");22 static_assert(!std::is_fundamental<T>::value, "");23 static_assert( std::is_object<T>::value, "");24 static_assert( std::is_scalar<T>::value, "");25 static_assert( std::is_compound<T>::value, "");26 static_assert(!std::is_member_pointer<T>::value, "");27}28 29template <class T>30void test_pointer()31{32 test_pointer_imp<T>();33 test_pointer_imp<const T>();34 test_pointer_imp<volatile T>();35 test_pointer_imp<const volatile T>();36}37 38int main(int, char**)39{40 test_pointer<void*>();41 test_pointer<int*>();42 test_pointer<const int*>();43 test_pointer<void (*)(int)>();44 45 return 0;46}47