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-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <functional>
10 
11 // less_equal
12 
13 #include <functional>
14 #include <type_traits>
15 #include <cassert>
16 
17 #include "test_macros.h"
18 #include "pointer_comparison_test_helper.h"
19 
main(int,char **)20 int main(int, char**)
21 {
22     typedef std::less_equal<int> F;
23     const F f = F();
24     static_assert((std::is_same<int, F::first_argument_type>::value), "" );
25     static_assert((std::is_same<int, F::second_argument_type>::value), "" );
26     static_assert((std::is_same<bool, F::result_type>::value), "" );
27     assert(f(36, 36));
28     assert(!f(36, 6));
29     assert(f(6, 36));
30     {
31         // test total ordering of int* for less_equal<int*> and
32         // less_equal<void>.
33         do_pointer_comparison_test<int, std::less_equal>();
34     }
35 #if TEST_STD_VER > 11
36     typedef std::less_equal<> F2;
37     const F2 f2 = F2();
38     assert( f2(36, 36));
39     assert(!f2(36, 6));
40     assert( f2(6, 36));
41     assert(!f2(36, 6.0));
42     assert(!f2(36.0, 6));
43     assert( f2(6, 36.0));
44     assert( f2(6.0, 36));
45 
46     constexpr bool foo = std::less_equal<int> () (36, 36);
47     static_assert ( foo, "" );
48 
49     constexpr bool bar = std::less_equal<> () (36.0, 36);
50     static_assert ( bar, "" );
51 #endif
52 
53   return 0;
54 }
55