1*3fca07d7SMarek Kurdej //===----------------------------------------------------------------------===//
2*3fca07d7SMarek Kurdej //
3*3fca07d7SMarek Kurdej // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*3fca07d7SMarek Kurdej // See https://llvm.org/LICENSE.txt for license information.
5*3fca07d7SMarek Kurdej // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*3fca07d7SMarek Kurdej //
7*3fca07d7SMarek Kurdej //===----------------------------------------------------------------------===//
8*3fca07d7SMarek Kurdej 
9*3fca07d7SMarek Kurdej // UNSUPPORTED: c++03, c++11, c++14, c++17
10*3fca07d7SMarek Kurdej 
11*3fca07d7SMarek Kurdej #include <cassert>
12*3fca07d7SMarek Kurdej #include <map>
13*3fca07d7SMarek Kurdej 
14*3fca07d7SMarek Kurdej // <map>
15*3fca07d7SMarek Kurdej 
16*3fca07d7SMarek Kurdej // bool contains(const key_type& x) const;
17*3fca07d7SMarek Kurdej 
18*3fca07d7SMarek Kurdej template <typename T, typename P, typename B, typename... Pairs>
test(B bad,Pairs...args)19*3fca07d7SMarek Kurdej void test(B bad, Pairs... args) {
20*3fca07d7SMarek Kurdej     T map;
21*3fca07d7SMarek Kurdej     P pairs[] = {args...};
22*3fca07d7SMarek Kurdej 
23*3fca07d7SMarek Kurdej     for (auto& p : pairs) map.insert(p);
24*3fca07d7SMarek Kurdej     for (auto& p : pairs) assert(map.contains(p.first));
25*3fca07d7SMarek Kurdej 
26*3fca07d7SMarek Kurdej     assert(!map.contains(bad));
27*3fca07d7SMarek Kurdej }
28*3fca07d7SMarek Kurdej 
29*3fca07d7SMarek Kurdej struct E { int a = 1; double b = 1; char c = 1; };
30*3fca07d7SMarek Kurdej 
main(int,char **)31*3fca07d7SMarek Kurdej int main(int, char**)
32*3fca07d7SMarek Kurdej {
33*3fca07d7SMarek Kurdej     {
34*3fca07d7SMarek Kurdej         test<std::map<char, int>, std::pair<char, int> >(
35*3fca07d7SMarek Kurdej             'e', std::make_pair('a', 10), std::make_pair('b', 11),
36*3fca07d7SMarek Kurdej             std::make_pair('c', 12), std::make_pair('d', 13));
37*3fca07d7SMarek Kurdej 
38*3fca07d7SMarek Kurdej         test<std::map<char, char>, std::pair<char, char> >(
39*3fca07d7SMarek Kurdej             'e', std::make_pair('a', 'a'), std::make_pair('b', 'a'),
40*3fca07d7SMarek Kurdej             std::make_pair('c', 'a'), std::make_pair('d', 'b'));
41*3fca07d7SMarek Kurdej 
42*3fca07d7SMarek Kurdej         test<std::map<int, E>, std::pair<int, E> >(
43*3fca07d7SMarek Kurdej             -1, std::make_pair(1, E{}), std::make_pair(2, E{}),
44*3fca07d7SMarek Kurdej             std::make_pair(3, E{}), std::make_pair(4, E{}));
45*3fca07d7SMarek Kurdej     }
46*3fca07d7SMarek Kurdej     {
47*3fca07d7SMarek Kurdej         test<std::multimap<char, int>, std::pair<char, int> >(
48*3fca07d7SMarek Kurdej             'e', std::make_pair('a', 10), std::make_pair('b', 11),
49*3fca07d7SMarek Kurdej             std::make_pair('c', 12), std::make_pair('d', 13));
50*3fca07d7SMarek Kurdej 
51*3fca07d7SMarek Kurdej         test<std::multimap<char, char>, std::pair<char, char> >(
52*3fca07d7SMarek Kurdej             'e', std::make_pair('a', 'a'), std::make_pair('b', 'a'),
53*3fca07d7SMarek Kurdej             std::make_pair('c', 'a'), std::make_pair('d', 'b'));
54*3fca07d7SMarek Kurdej 
55*3fca07d7SMarek Kurdej         test<std::multimap<int, E>, std::pair<int, E> >(
56*3fca07d7SMarek Kurdej             -1, std::make_pair(1, E{}), std::make_pair(2, E{}),
57*3fca07d7SMarek Kurdej             std::make_pair(3, E{}), std::make_pair(4, E{}));
58*3fca07d7SMarek Kurdej     }
59*3fca07d7SMarek Kurdej 
60*3fca07d7SMarek Kurdej     return 0;
61*3fca07d7SMarek Kurdej }
62