| //===----------------------------------------------------------------------===// |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| //===----------------------------------------------------------------------===// |
| typedef std::multiplies<int> F; |
| static_assert((std::is_same<int, F::first_argument_type>::value), "" ); |
| static_assert((std::is_same<int, F::second_argument_type>::value), "" ); |
| static_assert((std::is_same<int, F::result_type>::value), "" ); |
| typedef std::multiplies<> F2; |
| assert(f2(3, 2.5) == 7.5); // exact in binary |
| constexpr int foo = std::multiplies<int> () (3, 2); |
| static_assert ( foo == 6, "" ); |
| constexpr double bar = std::multiplies<> () (3.0, 2); |
| static_assert ( bar == 6.0, "" ); |