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