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// function12 13#include <type_traits>14 15#include "test_macros.h"16 17template <class T>18void test_function_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_function()31{32 test_function_imp<T>();33 test_function_imp<const T>();34 test_function_imp<volatile T>();35 test_function_imp<const volatile T>();36}37 38int main(int, char**)39{40 test_function<void ()>();41 test_function<void (int)>();42 test_function<int (double)>();43 test_function<int (double, char)>();44 45 return 0;46}47