1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <unordered_set>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class Value, class Hash = hash<Value>, class Pred = equal_to<Value>,
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//           class Alloc = allocator<Value>>
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class unordered_set
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// size_type bucket(const key_type& __k) const;
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
185e57142c5902c3f73a6fdcb8cab55e88ffb43a56Howard Hinnant#ifdef _LIBCPP_DEBUG
190bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant#define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0))
200bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant#endif
210bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <unordered_set>
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
25061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
267a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::unordered_set<int> C;
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef int P;
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        P a[] =
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(1),
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(2),
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(3),
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(4),
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(1),
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(2)
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        const C c(std::begin(a), std::end(a));
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        size_t bc = c.bucket_count();
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(bc >= 5);
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        for (size_t i = 0; i < 13; ++i)
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            assert(c.bucket(i) == i % bc);
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
477a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant#if __cplusplus >= 201103L
487a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    {
497a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        typedef std::unordered_set<int, std::hash<int>, std::equal_to<int>, min_allocator<int>> C;
507a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        typedef int P;
517a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        P a[] =
527a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        {
537a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(1),
547a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(2),
557a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(3),
567a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(4),
577a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(1),
587a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(2)
597a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        };
607a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        const C c(std::begin(a), std::end(a));
617a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        size_t bc = c.bucket_count();
627a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        assert(bc >= 5);
637a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        for (size_t i = 0; i < 13; ++i)
647a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            assert(c.bucket(i) == i % bc);
657a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    }
667a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant#endif
670bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 1
680bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant    {
690bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant        typedef std::unordered_set<int> C;
700bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant        C c;
710bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant        C::size_type i = c.bucket(3);
720bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant        assert(false);
730bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant    }
740bb0a7c9ea7dc2852c9bfb38584f4673ada25e2aHoward Hinnant#endif
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
76