Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / libcxx / test / std / containers / associative / set / insert_cv.pass.cpp
blob4ef283410c6b3a01e46969a62ba761001429e256
1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
9 // <set>
11 // class set
13 // pair<iterator, bool> insert(const value_type& v);
15 #include <set>
16 #include <cassert>
18 #include "test_macros.h"
19 #include "min_allocator.h"
21 template<class Container>
22 void do_insert_cv_test()
24 typedef Container M;
25 typedef std::pair<typename M::iterator, bool> R;
26 typedef typename M::value_type VT;
27 M m;
29 const VT v1(2);
30 R r = m.insert(v1);
31 assert(r.second);
32 assert(r.first == m.begin());
33 assert(m.size() == 1);
34 assert(*r.first == 2);
36 const VT v2(1);
37 r = m.insert(v2);
38 assert(r.second);
39 assert(r.first == m.begin());
40 assert(m.size() == 2);
41 assert(*r.first == 1);
43 const VT v3(3);
44 r = m.insert(v3);
45 assert(r.second);
46 assert(r.first == std::prev(m.end()));
47 assert(m.size() == 3);
48 assert(*r.first == 3);
50 r = m.insert(v3);
51 assert(!r.second);
52 assert(r.first == std::prev(m.end()));
53 assert(m.size() == 3);
54 assert(*r.first == 3);
57 int main(int, char**)
59 do_insert_cv_test<std::set<int> >();
60 #if TEST_STD_VER >= 11
62 typedef std::set<int, std::less<int>, min_allocator<int>> M;
63 do_insert_cv_test<M>();
65 #endif
67 return 0;