15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier
95a83710eSEric Fiselier // <set>
105a83710eSEric Fiselier
115a83710eSEric Fiselier // class multiset
125a83710eSEric Fiselier
135a83710eSEric Fiselier // iterator begin();
145a83710eSEric Fiselier // const_iterator begin() const;
155a83710eSEric Fiselier // iterator end();
165a83710eSEric Fiselier // const_iterator end() const;
175a83710eSEric Fiselier //
185a83710eSEric Fiselier // reverse_iterator rbegin();
195a83710eSEric Fiselier // const_reverse_iterator rbegin() const;
205a83710eSEric Fiselier // reverse_iterator rend();
215a83710eSEric Fiselier // const_reverse_iterator rend() const;
225a83710eSEric Fiselier //
235a83710eSEric Fiselier // const_iterator cbegin() const;
245a83710eSEric Fiselier // const_iterator cend() const;
255a83710eSEric Fiselier // const_reverse_iterator crbegin() const;
265a83710eSEric Fiselier // const_reverse_iterator crend() const;
275a83710eSEric Fiselier
285a83710eSEric Fiselier #include <set>
295a83710eSEric Fiselier #include <cassert>
30fbfb2ab6SStephan T. Lavavej #include <cstddef>
315a83710eSEric Fiselier
320f901c7eSStephan T. Lavavej #include "test_macros.h"
335a83710eSEric Fiselier #include "min_allocator.h"
345a83710eSEric Fiselier
main(int,char **)352df59c50SJF Bastien int main(int, char**)
365a83710eSEric Fiselier {
375a83710eSEric Fiselier {
385a83710eSEric Fiselier typedef int V;
395a83710eSEric Fiselier V ar[] =
405a83710eSEric Fiselier {
415a83710eSEric Fiselier 1,
425a83710eSEric Fiselier 1,
435a83710eSEric Fiselier 1,
445a83710eSEric Fiselier 2,
455a83710eSEric Fiselier 2,
465a83710eSEric Fiselier 2,
475a83710eSEric Fiselier 3,
485a83710eSEric Fiselier 3,
495a83710eSEric Fiselier 3,
505a83710eSEric Fiselier 4,
515a83710eSEric Fiselier 4,
525a83710eSEric Fiselier 4,
535a83710eSEric Fiselier 5,
545a83710eSEric Fiselier 5,
555a83710eSEric Fiselier 5,
565a83710eSEric Fiselier 6,
575a83710eSEric Fiselier 6,
585a83710eSEric Fiselier 6,
595a83710eSEric Fiselier 7,
605a83710eSEric Fiselier 7,
615a83710eSEric Fiselier 7,
625a83710eSEric Fiselier 8,
635a83710eSEric Fiselier 8,
645a83710eSEric Fiselier 8
655a83710eSEric Fiselier };
665a83710eSEric Fiselier std::multiset<int> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
67fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.begin(), m.end())) == m.size());
68fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.rbegin(), m.rend())) == m.size());
695a83710eSEric Fiselier std::multiset<int>::iterator i;
705a83710eSEric Fiselier i = m.begin();
715a83710eSEric Fiselier std::multiset<int>::const_iterator k = i;
725a83710eSEric Fiselier assert(i == k);
735a83710eSEric Fiselier for (int j = 1; j <= 8; ++j)
740d627919SEric Fiselier for (int n = 0; n < 3; ++n, ++i)
755a83710eSEric Fiselier assert(*i == j);
76*6a929492SRuslan Arutyunyan assert(i == m.end());
77*6a929492SRuslan Arutyunyan for (int j = 8; j >= 1; --j)
78*6a929492SRuslan Arutyunyan for (int n = 0; n < 3; ++n) {
79*6a929492SRuslan Arutyunyan --i;
80*6a929492SRuslan Arutyunyan assert(*i == j);
81*6a929492SRuslan Arutyunyan }
82*6a929492SRuslan Arutyunyan assert(i == m.begin());
835a83710eSEric Fiselier }
845a83710eSEric Fiselier {
855a83710eSEric Fiselier typedef int V;
865a83710eSEric Fiselier V ar[] =
875a83710eSEric Fiselier {
885a83710eSEric Fiselier 1,
895a83710eSEric Fiselier 1,
905a83710eSEric Fiselier 1,
915a83710eSEric Fiselier 2,
925a83710eSEric Fiselier 2,
935a83710eSEric Fiselier 2,
945a83710eSEric Fiselier 3,
955a83710eSEric Fiselier 3,
965a83710eSEric Fiselier 3,
975a83710eSEric Fiselier 4,
985a83710eSEric Fiselier 4,
995a83710eSEric Fiselier 4,
1005a83710eSEric Fiselier 5,
1015a83710eSEric Fiselier 5,
1025a83710eSEric Fiselier 5,
1035a83710eSEric Fiselier 6,
1045a83710eSEric Fiselier 6,
1055a83710eSEric Fiselier 6,
1065a83710eSEric Fiselier 7,
1075a83710eSEric Fiselier 7,
1085a83710eSEric Fiselier 7,
1095a83710eSEric Fiselier 8,
1105a83710eSEric Fiselier 8,
1115a83710eSEric Fiselier 8
1125a83710eSEric Fiselier };
1135a83710eSEric Fiselier const std::multiset<int> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
114fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.begin(), m.end())) == m.size());
115fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.cbegin(), m.cend())) == m.size());
116fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.rbegin(), m.rend())) == m.size());
117fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.crbegin(), m.crend())) == m.size());
1185a83710eSEric Fiselier std::multiset<int>::const_iterator i;
1195a83710eSEric Fiselier i = m.begin();
1205a83710eSEric Fiselier for (int j = 1; j <= 8; ++j)
1215a83710eSEric Fiselier for (int k = 0; k < 3; ++k, ++i)
1225a83710eSEric Fiselier assert(*i == j);
123*6a929492SRuslan Arutyunyan assert(i == m.end());
124*6a929492SRuslan Arutyunyan for (int j = 8; j >= 1; --j)
125*6a929492SRuslan Arutyunyan for (int k = 0; k < 3; ++k) {
126*6a929492SRuslan Arutyunyan --i;
127*6a929492SRuslan Arutyunyan assert(*i == j);
128*6a929492SRuslan Arutyunyan }
129*6a929492SRuslan Arutyunyan assert(i == m.begin());
1305a83710eSEric Fiselier }
131f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
1325a83710eSEric Fiselier {
1335a83710eSEric Fiselier typedef int V;
1345a83710eSEric Fiselier V ar[] =
1355a83710eSEric Fiselier {
1365a83710eSEric Fiselier 1,
1375a83710eSEric Fiselier 1,
1385a83710eSEric Fiselier 1,
1395a83710eSEric Fiselier 2,
1405a83710eSEric Fiselier 2,
1415a83710eSEric Fiselier 2,
1425a83710eSEric Fiselier 3,
1435a83710eSEric Fiselier 3,
1445a83710eSEric Fiselier 3,
1455a83710eSEric Fiselier 4,
1465a83710eSEric Fiselier 4,
1475a83710eSEric Fiselier 4,
1485a83710eSEric Fiselier 5,
1495a83710eSEric Fiselier 5,
1505a83710eSEric Fiselier 5,
1515a83710eSEric Fiselier 6,
1525a83710eSEric Fiselier 6,
1535a83710eSEric Fiselier 6,
1545a83710eSEric Fiselier 7,
1555a83710eSEric Fiselier 7,
1565a83710eSEric Fiselier 7,
1575a83710eSEric Fiselier 8,
1585a83710eSEric Fiselier 8,
1595a83710eSEric Fiselier 8
1605a83710eSEric Fiselier };
1615a83710eSEric Fiselier std::multiset<int, std::less<int>, min_allocator<int>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
162fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.begin(), m.end())) == m.size());
163fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.rbegin(), m.rend())) == m.size());
1645a83710eSEric Fiselier std::multiset<int, std::less<int>, min_allocator<int>>::iterator i;
1655a83710eSEric Fiselier i = m.begin();
1665a83710eSEric Fiselier std::multiset<int, std::less<int>, min_allocator<int>>::const_iterator k = i;
1675a83710eSEric Fiselier assert(i == k);
1685a83710eSEric Fiselier for (int j = 1; j <= 8; ++j)
1690d627919SEric Fiselier for (int n = 0; n < 3; ++n, ++i)
1705a83710eSEric Fiselier assert(*i == j);
171*6a929492SRuslan Arutyunyan assert(i == m.end());
172*6a929492SRuslan Arutyunyan for (int j = 8; j >= 1; --j)
173*6a929492SRuslan Arutyunyan for (int n = 0; n < 3; ++n) {
174*6a929492SRuslan Arutyunyan --i;
175*6a929492SRuslan Arutyunyan assert(*i == j);
176*6a929492SRuslan Arutyunyan }
177*6a929492SRuslan Arutyunyan assert(i == m.begin());
1785a83710eSEric Fiselier }
1795a83710eSEric Fiselier {
1805a83710eSEric Fiselier typedef int V;
1815a83710eSEric Fiselier V ar[] =
1825a83710eSEric Fiselier {
1835a83710eSEric Fiselier 1,
1845a83710eSEric Fiselier 1,
1855a83710eSEric Fiselier 1,
1865a83710eSEric Fiselier 2,
1875a83710eSEric Fiselier 2,
1885a83710eSEric Fiselier 2,
1895a83710eSEric Fiselier 3,
1905a83710eSEric Fiselier 3,
1915a83710eSEric Fiselier 3,
1925a83710eSEric Fiselier 4,
1935a83710eSEric Fiselier 4,
1945a83710eSEric Fiselier 4,
1955a83710eSEric Fiselier 5,
1965a83710eSEric Fiselier 5,
1975a83710eSEric Fiselier 5,
1985a83710eSEric Fiselier 6,
1995a83710eSEric Fiselier 6,
2005a83710eSEric Fiselier 6,
2015a83710eSEric Fiselier 7,
2025a83710eSEric Fiselier 7,
2035a83710eSEric Fiselier 7,
2045a83710eSEric Fiselier 8,
2055a83710eSEric Fiselier 8,
2065a83710eSEric Fiselier 8
2075a83710eSEric Fiselier };
2085a83710eSEric Fiselier const std::multiset<int, std::less<int>, min_allocator<int>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
209fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.begin(), m.end())) == m.size());
210fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.cbegin(), m.cend())) == m.size());
211fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.rbegin(), m.rend())) == m.size());
212fbfb2ab6SStephan T. Lavavej assert(static_cast<std::size_t>(std::distance(m.crbegin(), m.crend())) == m.size());
2135a83710eSEric Fiselier std::multiset<int, std::less<int>, min_allocator<int>>::const_iterator i;
2145a83710eSEric Fiselier i = m.begin();
2155a83710eSEric Fiselier for (int j = 1; j <= 8; ++j)
2165a83710eSEric Fiselier for (int k = 0; k < 3; ++k, ++i)
2175a83710eSEric Fiselier assert(*i == j);
218*6a929492SRuslan Arutyunyan assert(i == m.end());
219*6a929492SRuslan Arutyunyan for (int j = 8; j >= 1; --j)
220*6a929492SRuslan Arutyunyan for (int k = 0; k < 3; ++k) {
221*6a929492SRuslan Arutyunyan --i;
222*6a929492SRuslan Arutyunyan assert(*i == j);
223*6a929492SRuslan Arutyunyan }
224*6a929492SRuslan Arutyunyan assert(i == m.begin());
2255a83710eSEric Fiselier }
2265a83710eSEric Fiselier #endif
2270f901c7eSStephan T. Lavavej #if TEST_STD_VER > 11
2285a83710eSEric Fiselier { // N3644 testing
2295a83710eSEric Fiselier typedef std::multiset<int> C;
2305a83710eSEric Fiselier C::iterator ii1{}, ii2{};
2315a83710eSEric Fiselier C::iterator ii4 = ii1;
2325a83710eSEric Fiselier C::const_iterator cii{};
2335a83710eSEric Fiselier assert ( ii1 == ii2 );
2345a83710eSEric Fiselier assert ( ii1 == ii4 );
2355a83710eSEric Fiselier
2365a83710eSEric Fiselier assert (!(ii1 != ii2 ));
2375a83710eSEric Fiselier
2385a83710eSEric Fiselier assert ( (ii1 == cii ));
2395a83710eSEric Fiselier assert ( (cii == ii1 ));
2405a83710eSEric Fiselier assert (!(ii1 != cii ));
2415a83710eSEric Fiselier assert (!(cii != ii1 ));
2425a83710eSEric Fiselier }
2435a83710eSEric Fiselier #endif
2442df59c50SJF Bastien
2452df59c50SJF Bastien return 0;
2465a83710eSEric Fiselier }
247