minus.pass.cpp revision 9738cafa4f5c5ce19cd674e7e8c38376eaac8abe
1c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath//===----------------------------------------------------------------------===// 27faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// 3c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// The LLVM Compiler Infrastructure 4c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 5c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This file is dual licensed under the MIT and the University of Illinois Open 6c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Source Licenses. See LICENSE.TXT for details. 7c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 8c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath//===----------------------------------------------------------------------===// 9c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 10c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// <functional> 11c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 12c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// minus 13c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 14c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <functional> 15c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <type_traits> 16c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <cassert> 17c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 18c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathint main() 19c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 20c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef std::minus<int> F; 21c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath const F f = F(); 22c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static_assert((std::is_base_of<std::binary_function<int, int, int>, F>::value), ""); 23c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath assert(f(3, 2) == 1); 24c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#if _LIBCPP_STD_VER > 11 25c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef std::minus<> F2; 26c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath const F2 f2 = F2(); 27c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath assert(f2(3,2) == 1); 28c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath assert(f2(3.0, 2) == 1); 29c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath assert(f2(3, 2.5) == 0.5); 30c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 31c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath constexpr int foo = std::minus<int> () (3, 2); 32c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static_assert ( foo == 1, "" ); 33c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 34c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath constexpr int bar = std::minus<> () (3.0, 2); 35c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static_assert ( bar == 1, "" ); 36c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif 37c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 38c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath