]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/pair/87822.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / pair / 87822.cc
CommitLineData
99dee823 1// Copyright (C) 2018-2021 Free Software Foundation, Inc.
0db78d0a
JW
2//
3// This file is part of the GNU ISO C++ Library. This library is free
4// software; you can redistribute it and/or modify it under the
5// terms of the GNU General Public License as published by the
6// Free Software Foundation; either version 3, or (at your option)
7// any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License along
15// with this library; see the file COPYING3. If not see
16// <http://www.gnu.org/licenses/>.
17
18#include <utility>
19#include <testsuite_hooks.h>
20
21void
22test01()
23{
24 std::pair<std::pair<int, int>, int> p;
25#if __cplusplus >= 201103L
26 static_assert(sizeof(p) == (3 * sizeof(int)), "PR libstdc++/87822");
27#endif
28 VERIFY( (void*)&p == (void*)&p.first );
d5e33619 29 VERIFY( (void*)&p == (void*)&p.first.first );
0db78d0a
JW
30}
31
32struct empty { };
33
34void
35test02()
36{
37 std::pair<std::pair<empty, empty>, empty> p;
38#if __cplusplus >= 201103L
39 static_assert(sizeof(p) == (3 * sizeof(empty)), "PR libstdc++/87822");
40#endif
41 VERIFY( (void*)&p == (void*)&p.first );
42}
43
d5e33619
JW
44void
45test03()
46{
47 typedef std::pair<int, int> int_pair;
48 typedef std::pair<int_pair, int_pair> int_pair_pair;
49 std::pair<int_pair_pair, int_pair_pair> p;
50#if __cplusplus >= 201103L
51 static_assert(sizeof(int_pair_pair) == (2 * sizeof(int_pair)), "nested");
52 static_assert(sizeof(p) == (2 * sizeof(int_pair_pair)), "nested again");
53#endif
54 VERIFY( (void*)&p == (void*)&p.first );
55 VERIFY( (void*)&p == (void*)&p.first.first );
56 VERIFY( (void*)&p == (void*)&p.first.first.first );
57}
58
0db78d0a
JW
59int main()
60{
61 test01();
62 test02();
d5e33619 63 test03();
0db78d0a 64}