15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 35a83710eSEric Fiselier // The LLVM Compiler Infrastructure 45a83710eSEric Fiselier // 55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open 65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details. 75a83710eSEric Fiselier // 85a83710eSEric Fiselier //===----------------------------------------------------------------------===// 95a83710eSEric Fiselier 105a83710eSEric Fiselier // <functional> 115a83710eSEric Fiselier 125a83710eSEric Fiselier // modulus 135a83710eSEric Fiselier 145a83710eSEric Fiselier #include <functional> 155a83710eSEric Fiselier #include <type_traits> 165a83710eSEric Fiselier #include <cassert> 175a83710eSEric Fiselier 185a83710eSEric Fiselier int main() 195a83710eSEric Fiselier { 205a83710eSEric Fiselier typedef std::modulus<int> F; 215a83710eSEric Fiselier const F f = F(); 22*66369c03SMarshall Clow static_assert((std::is_same<int, F::first_argument_type>::value), "" ); 23*66369c03SMarshall Clow static_assert((std::is_same<int, F::second_argument_type>::value), "" ); 24*66369c03SMarshall Clow static_assert((std::is_same<int, F::result_type>::value), "" ); 255a83710eSEric Fiselier assert(f(36, 8) == 4); 265a83710eSEric Fiselier #if _LIBCPP_STD_VER > 11 275a83710eSEric Fiselier typedef std::modulus<> F2; 285a83710eSEric Fiselier const F2 f2 = F2(); 295a83710eSEric Fiselier assert(f2(36, 8) == 4); 305a83710eSEric Fiselier assert(f2(36L, 8) == 4); 315a83710eSEric Fiselier assert(f2(36, 8L) == 4); 325a83710eSEric Fiselier 335a83710eSEric Fiselier constexpr int foo = std::modulus<int> () (3, 2); 345a83710eSEric Fiselier static_assert ( foo == 1, "" ); 355a83710eSEric Fiselier 365a83710eSEric Fiselier constexpr int bar = std::modulus<> () (3L, 2); 375a83710eSEric Fiselier static_assert ( bar == 1, "" ); 385a83710eSEric Fiselier #endif 395a83710eSEric Fiselier } 40