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 // <map>
105a83710eSEric Fiselier
115a83710eSEric Fiselier // class map
125a83710eSEric Fiselier
135a83710eSEric Fiselier // mapped_type& operator[](const key_type& k);
145a83710eSEric Fiselier
155a83710eSEric Fiselier #include <map>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier
1854f0cda6SEric Fiselier #include "test_macros.h"
19*cc89063bSNico Weber #include "count_new.h"
205a83710eSEric Fiselier #include "min_allocator.h"
21*cc89063bSNico Weber #include "private_constructor.h"
2254f0cda6SEric Fiselier #if TEST_STD_VER >= 11
2354f0cda6SEric Fiselier #include "container_test_types.h"
2454f0cda6SEric Fiselier #endif
255a83710eSEric Fiselier
main(int,char **)262df59c50SJF Bastien int main(int, char**)
275a83710eSEric Fiselier {
285a83710eSEric Fiselier {
295a83710eSEric Fiselier typedef std::pair<const int, double> V;
305a83710eSEric Fiselier V ar[] =
315a83710eSEric Fiselier {
325a83710eSEric Fiselier V(1, 1.5),
335a83710eSEric Fiselier V(2, 2.5),
345a83710eSEric Fiselier V(3, 3.5),
355a83710eSEric Fiselier V(4, 4.5),
365a83710eSEric Fiselier V(5, 5.5),
375a83710eSEric Fiselier V(7, 7.5),
385a83710eSEric Fiselier V(8, 8.5),
395a83710eSEric Fiselier };
405a83710eSEric Fiselier std::map<int, double> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
415a83710eSEric Fiselier assert(m.size() == 7);
425a83710eSEric Fiselier assert(m[1] == 1.5);
435a83710eSEric Fiselier assert(m.size() == 7);
445a83710eSEric Fiselier m[1] = -1.5;
455a83710eSEric Fiselier assert(m[1] == -1.5);
465a83710eSEric Fiselier assert(m.size() == 7);
475a83710eSEric Fiselier assert(m[6] == 0);
485a83710eSEric Fiselier assert(m.size() == 8);
495a83710eSEric Fiselier m[6] = 6.5;
505a83710eSEric Fiselier assert(m[6] == 6.5);
515a83710eSEric Fiselier assert(m.size() == 8);
525a83710eSEric Fiselier }
5354f0cda6SEric Fiselier #if TEST_STD_VER >= 11
545a83710eSEric Fiselier {
555a83710eSEric Fiselier typedef std::pair<const int, double> V;
565a83710eSEric Fiselier V ar[] =
575a83710eSEric Fiselier {
585a83710eSEric Fiselier V(1, 1.5),
595a83710eSEric Fiselier V(2, 2.5),
605a83710eSEric Fiselier V(3, 3.5),
615a83710eSEric Fiselier V(4, 4.5),
625a83710eSEric Fiselier V(5, 5.5),
635a83710eSEric Fiselier V(7, 7.5),
645a83710eSEric Fiselier V(8, 8.5),
655a83710eSEric Fiselier };
665a83710eSEric Fiselier std::map<int, double, std::less<int>, min_allocator<V>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
675a83710eSEric Fiselier assert(m.size() == 7);
685a83710eSEric Fiselier assert(m[1] == 1.5);
695a83710eSEric Fiselier assert(m.size() == 7);
705a83710eSEric Fiselier const int i = 1;
715a83710eSEric Fiselier m[i] = -1.5;
725a83710eSEric Fiselier assert(m[1] == -1.5);
735a83710eSEric Fiselier assert(m.size() == 7);
745a83710eSEric Fiselier assert(m[6] == 0);
755a83710eSEric Fiselier assert(m.size() == 8);
765a83710eSEric Fiselier m[6] = 6.5;
775a83710eSEric Fiselier assert(m[6] == 6.5);
785a83710eSEric Fiselier assert(m.size() == 8);
795a83710eSEric Fiselier }
8054f0cda6SEric Fiselier {
8154f0cda6SEric Fiselier // Use "container_test_types.h" to check what arguments get passed
8254f0cda6SEric Fiselier // to the allocator for operator[]
8354f0cda6SEric Fiselier using Container = TCT::map<>;
8454f0cda6SEric Fiselier using Key = Container::key_type;
8554f0cda6SEric Fiselier using MappedType = Container::mapped_type;
8654f0cda6SEric Fiselier ConstructController* cc = getConstructController();
8754f0cda6SEric Fiselier cc->reset();
8854f0cda6SEric Fiselier {
8954f0cda6SEric Fiselier Container c;
9054f0cda6SEric Fiselier const Key k(1);
9154f0cda6SEric Fiselier cc->expect<std::piecewise_construct_t const&, std::tuple<Key const&>&&, std::tuple<>&&>();
9254f0cda6SEric Fiselier MappedType& mref = c[k];
9354f0cda6SEric Fiselier assert(!cc->unchecked());
9454f0cda6SEric Fiselier {
9554f0cda6SEric Fiselier DisableAllocationGuard g;
9654f0cda6SEric Fiselier MappedType& mref2 = c[k];
9754f0cda6SEric Fiselier assert(&mref == &mref2);
9854f0cda6SEric Fiselier }
9954f0cda6SEric Fiselier }
10054f0cda6SEric Fiselier {
10154f0cda6SEric Fiselier Container c;
10254f0cda6SEric Fiselier Key k(1);
10354f0cda6SEric Fiselier cc->expect<std::piecewise_construct_t const&, std::tuple<Key const&>&&, std::tuple<>&&>();
10454f0cda6SEric Fiselier MappedType& mref = c[k];
10554f0cda6SEric Fiselier assert(!cc->unchecked());
10654f0cda6SEric Fiselier {
10754f0cda6SEric Fiselier DisableAllocationGuard g;
10854f0cda6SEric Fiselier MappedType& mref2 = c[k];
10954f0cda6SEric Fiselier assert(&mref == &mref2);
11054f0cda6SEric Fiselier }
11154f0cda6SEric Fiselier }
11254f0cda6SEric Fiselier }
1135a83710eSEric Fiselier #endif
11454f0cda6SEric Fiselier #if TEST_STD_VER > 11
1155a83710eSEric Fiselier {
1165a83710eSEric Fiselier typedef std::pair<const int, double> V;
1175a83710eSEric Fiselier V ar[] =
1185a83710eSEric Fiselier {
1195a83710eSEric Fiselier V(1, 1.5),
1205a83710eSEric Fiselier V(2, 2.5),
1215a83710eSEric Fiselier V(3, 3.5),
1225a83710eSEric Fiselier V(4, 4.5),
1235a83710eSEric Fiselier V(5, 5.5),
1245a83710eSEric Fiselier V(7, 7.5),
1255a83710eSEric Fiselier V(8, 8.5),
1265a83710eSEric Fiselier };
1275a83710eSEric Fiselier std::map<int, double, std::less<>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
1285a83710eSEric Fiselier
1295a83710eSEric Fiselier assert(m.size() == 7);
1305a83710eSEric Fiselier assert(m[1] == 1.5);
1315a83710eSEric Fiselier assert(m.size() == 7);
1325a83710eSEric Fiselier m[1] = -1.5;
1335a83710eSEric Fiselier assert(m[1] == -1.5);
1345a83710eSEric Fiselier assert(m.size() == 7);
1355a83710eSEric Fiselier assert(m[6] == 0);
1365a83710eSEric Fiselier assert(m.size() == 8);
1375a83710eSEric Fiselier m[6] = 6.5;
1385a83710eSEric Fiselier assert(m[6] == 6.5);
1395a83710eSEric Fiselier assert(m.size() == 8);
1405a83710eSEric Fiselier }
1415a83710eSEric Fiselier #endif
1422df59c50SJF Bastien
1432df59c50SJF Bastien return 0;
1445a83710eSEric Fiselier }
145