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 set
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // pair<iterator, bool> insert(const value_type& v);
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <set>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier 
187fc6a556SMarshall Clow #include "test_macros.h"
195a83710eSEric Fiselier #include "min_allocator.h"
205a83710eSEric Fiselier 
21ba0543b3SEric Fiselier template<class Container>
do_insert_cv_test()22ba0543b3SEric Fiselier void do_insert_cv_test()
235a83710eSEric Fiselier {
24ba0543b3SEric Fiselier     typedef Container M;
25ba0543b3SEric Fiselier     typedef std::pair<typename M::iterator, bool> R;
26ba0543b3SEric Fiselier     typedef typename M::value_type VT;
275a83710eSEric Fiselier     M m;
28ba0543b3SEric Fiselier 
29ba0543b3SEric Fiselier     const VT v1(2);
30ba0543b3SEric Fiselier     R r = m.insert(v1);
315a83710eSEric Fiselier     assert(r.second);
325a83710eSEric Fiselier     assert(r.first == m.begin());
335a83710eSEric Fiselier     assert(m.size() == 1);
345a83710eSEric Fiselier     assert(*r.first == 2);
355a83710eSEric Fiselier 
36ba0543b3SEric Fiselier     const VT v2(1);
37ba0543b3SEric Fiselier     r = m.insert(v2);
385a83710eSEric Fiselier     assert(r.second);
395a83710eSEric Fiselier     assert(r.first == m.begin());
405a83710eSEric Fiselier     assert(m.size() == 2);
415a83710eSEric Fiselier     assert(*r.first == 1);
425a83710eSEric Fiselier 
43ba0543b3SEric Fiselier     const VT v3(3);
44ba0543b3SEric Fiselier     r = m.insert(v3);
455a83710eSEric Fiselier     assert(r.second);
46*3b966c1fSArthur O'Dwyer     assert(r.first == std::prev(m.end()));
475a83710eSEric Fiselier     assert(m.size() == 3);
485a83710eSEric Fiselier     assert(*r.first == 3);
495a83710eSEric Fiselier 
50ba0543b3SEric Fiselier     r = m.insert(v3);
515a83710eSEric Fiselier     assert(!r.second);
52*3b966c1fSArthur O'Dwyer     assert(r.first == std::prev(m.end()));
535a83710eSEric Fiselier     assert(m.size() == 3);
545a83710eSEric Fiselier     assert(*r.first == 3);
555a83710eSEric Fiselier }
56ba0543b3SEric Fiselier 
main(int,char **)572df59c50SJF Bastien int main(int, char**)
58ba0543b3SEric Fiselier {
59ba0543b3SEric Fiselier     do_insert_cv_test<std::set<int> >();
60f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
615a83710eSEric Fiselier     {
625a83710eSEric Fiselier         typedef std::set<int, std::less<int>, min_allocator<int>> M;
63ba0543b3SEric Fiselier         do_insert_cv_test<M>();
645a83710eSEric Fiselier     }
655a83710eSEric Fiselier #endif
662df59c50SJF Bastien 
672df59c50SJF Bastien   return 0;
685a83710eSEric Fiselier }
69