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// <set>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class set
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       iterator begin();
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_iterator begin() const;
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       iterator end();
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_iterator end()   const;
186046aced820aaab4f14f2026531dd11d10690691Howard Hinnant//
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       reverse_iterator rbegin();
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_reverse_iterator rbegin() const;
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       reverse_iterator rend();
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_reverse_iterator rend()   const;
236046aced820aaab4f14f2026531dd11d10690691Howard Hinnant//
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_iterator         cbegin()  const;
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_iterator         cend()    const;
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_reverse_iterator crbegin() const;
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_reverse_iterator crend()   const;
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <set>
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
32061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
3370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef int V;
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        V ar[] =
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8,
62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8,
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8
64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        std::set<int> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.begin(), m.end()) == m.size());
67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.rbegin(), m.rend()) == m.size());
68211f0ee1be4a4eaa0fab353904a8986af3f39e50Howard Hinnant        std::set<int>::iterator i;
69211f0ee1be4a4eaa0fab353904a8986af3f39e50Howard Hinnant        i = m.begin();
70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        std::set<int>::const_iterator k = i;
71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == k);
72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        for (int j = 1; j <= m.size(); ++j, ++i)
73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            assert(*i == j);
74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef int V;
77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        V ar[] =
78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
95bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
98bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
99bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8,
101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8,
102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8
103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        const std::set<int> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
105bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.begin(), m.end()) == m.size());
106bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.cbegin(), m.cend()) == m.size());
107bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.rbegin(), m.rend()) == m.size());
108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(std::distance(m.crbegin(), m.crend()) == m.size());
10970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::set<int>::const_iterator i;
11070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        i = m.begin();
11170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        for (int j = 1; j <= m.size(); ++j, ++i)
11270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            assert(*i == j);
11370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    }
11470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant#if __cplusplus >= 201103L
11570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    {
11670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        typedef int V;
11770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        V ar[] =
11870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
11970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
12070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
12170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
12270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
12370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
12470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
12570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
12670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
12770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
12870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
12970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
13070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
13170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
13270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
13370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
13470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
13570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
13670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
13770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
13870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
13970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
14070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8,
14170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8,
14270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8
14370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        };
14470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::set<int, std::less<int>, min_allocator<int>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
14570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.begin(), m.end()) == m.size());
14670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.rbegin(), m.rend()) == m.size());
14770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::set<int, std::less<int>, min_allocator<int>>::iterator i;
14870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        i = m.begin();
14970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::set<int, std::less<int>, min_allocator<int>>::const_iterator k = i;
15070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(i == k);
15170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        for (int j = 1; j <= m.size(); ++j, ++i)
15270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            assert(*i == j);
15370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    }
15470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    {
15570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        typedef int V;
15670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        V ar[] =
15770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
15870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
15970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
16070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            1,
16170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
16270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
16370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            2,
16470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
16570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
16670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            3,
16770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
16870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
16970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            4,
17070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
17170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
17270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            5,
17370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
17470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
17570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            6,
17670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
17770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
17870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            7,
17970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8,
18070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8,
18170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            8
18270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        };
18370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        const std::set<int, std::less<int>, min_allocator<int>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
18470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.begin(), m.end()) == m.size());
18570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.cbegin(), m.cend()) == m.size());
18670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.rbegin(), m.rend()) == m.size());
18770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(std::distance(m.crbegin(), m.crend()) == m.size());
18870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::set<int, std::less<int>, min_allocator<int>>::const_iterator i;
189211f0ee1be4a4eaa0fab353904a8986af3f39e50Howard Hinnant        i = m.begin();
190bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        for (int j = 1; j <= m.size(); ++j, ++i)
191bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            assert(*i == j);
192bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
19370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant#endif
194051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow#if _LIBCPP_STD_VER > 11
195051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow    { // N3644 testing
196051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        typedef std::set<int> C;
197051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        C::iterator ii1{}, ii2{};
198051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        C::iterator ii4 = ii1;
199051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        C::const_iterator cii{};
200051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        assert ( ii1 == ii2 );
201051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow        assert ( ii1 == ii4 );
202051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow
203179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow        assert (!(ii1 != ii2 ));
204179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow
205179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow        assert ( (ii1 == cii ));
206179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow        assert ( (cii == ii1 ));
207179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow        assert (!(ii1 != cii ));
208179e9455a5df659cc1d3da3251834c577e27e2a0Marshall Clow        assert (!(cii != ii1 ));
209051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow    }
210051c848e8811c753df7c38c738172ba8f5672b0aMarshall Clow#endif
211bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
212