37 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// <functional>10 11// binary_negate12 13// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_ENABLE_CXX20_REMOVED_BINDER_TYPEDEFS14// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_ENABLE_CXX20_REMOVED_NEGATORS15// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_DISABLE_DEPRECATION_WARNINGS16 17#include <functional>18#include <type_traits>19#include <cassert>20 21#include "test_macros.h"22 23int main(int, char**)24{25 typedef std::binary_negate<std::logical_and<int> > F;26 const F f = F(std::logical_and<int>());27 static_assert((std::is_same<int, F::first_argument_type>::value), "" );28 static_assert((std::is_same<int, F::second_argument_type>::value), "" );29 static_assert((std::is_same<bool, F::result_type>::value), "" );30 assert(!f(36, 36));31 assert( f(36, 0));32 assert( f(0, 36));33 assert( f(0, 0));34 35 return 0;36}37