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 // <unordered_set>
10
11 // class unordered_set
12
13 // size_type max_size() const;
14
15 #include <cassert>
16 #include <limits>
17 #include <type_traits>
18 #include <unordered_set>
19
20 #include "test_allocator.h"
21 #include "test_macros.h"
22
main(int,char **)23 int main(int, char**)
24 {
25 {
26 typedef limited_allocator<int, 10> A;
27 typedef std::unordered_set<int, std::hash<int>, std::equal_to<int>, A> C;
28 C c;
29 assert(c.max_size() <= 10);
30 LIBCPP_ASSERT(c.max_size() == 10);
31 }
32 {
33 typedef limited_allocator<int, (std::size_t)-1> A;
34 typedef std::unordered_set<int, std::hash<int>, std::equal_to<int>, A> C;
35 const C::size_type max_dist =
36 static_cast<C::size_type>(std::numeric_limits<C::difference_type>::max());
37 C c;
38 assert(c.max_size() <= max_dist);
39 LIBCPP_ASSERT(c.max_size() == max_dist);
40 }
41 {
42 typedef std::unordered_set<char> C;
43 const C::size_type max_dist =
44 static_cast<C::size_type>(std::numeric_limits<C::difference_type>::max());
45 C c;
46 assert(c.max_size() <= max_dist);
47 assert(c.max_size() <= alloc_max_size(c.get_allocator()));
48 }
49
50 return 0;
51 }
52