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 // template <class T>
12 // struct hash
13 // {
14 // size_t operator()(T val) const;
15 // };
16
17 // Not very portable
18
19 #include <vector>
20 #include <cassert>
21 #include <iterator>
22 #include <type_traits>
23
24 #include "test_macros.h"
25 #include "min_allocator.h"
26
tests()27 TEST_CONSTEXPR_CXX20 bool tests()
28 {
29 {
30 typedef std::vector<bool> T;
31 typedef std::hash<T> H;
32 #if TEST_STD_VER <= 14
33 static_assert((std::is_same<H::argument_type, T>::value), "" );
34 static_assert((std::is_same<H::result_type, std::size_t>::value), "" );
35 #endif
36 ASSERT_NOEXCEPT(H()(T()));
37
38 bool ba[] = {true, false, true, true, false};
39 T vb(std::begin(ba), std::end(ba));
40 H h;
41 assert(h(vb) != 0);
42 }
43 #if TEST_STD_VER >= 11
44 {
45 typedef std::vector<bool, min_allocator<bool>> T;
46 typedef std::hash<T> H;
47 #if TEST_STD_VER <= 14
48 static_assert((std::is_same<H::argument_type, T>::value), "" );
49 static_assert((std::is_same<H::result_type, std::size_t>::value), "" );
50 #endif
51 ASSERT_NOEXCEPT(H()(T()));
52 bool ba[] = {true, false, true, true, false};
53 T vb(std::begin(ba), std::end(ba));
54 H h;
55 assert(h(vb) != 0);
56 }
57 #endif
58
59 return true;
60 }
61
main(int,char **)62 int main(int, char**)
63 {
64 tests();
65 #if TEST_STD_VER > 17
66 static_assert(tests());
67 #endif
68 return 0;
69 }
70