]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/experimental/memory/shared_ptr/observers/owner_before.cc
1 // { dg-do run { target c++14 } }
3 // Copyright (C) 2015-2019 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // 8.2.1 Class template shared_ptr [memory.smartptr.shared]
22 #include <experimental/memory>
23 #include <testsuite_hooks.h>
33 // 8.2.1.2 shared_ptr observers [memory.smartptr.shared.obs]
39 // test empty shared_ptrs compare equivalent
40 std::experimental::shared_ptr
<A
[5]> p1
;
41 std::experimental::shared_ptr
<B
[5]> p2
;
42 VERIFY( !p1
.owner_before(p2
) && !p2
.owner_before(p1
) );
48 std::experimental::shared_ptr
<A
[5]> a0
;
50 std::experimental::shared_ptr
<A
[5]> a1(new A
[5]);
51 VERIFY( a1
.owner_before(a0
) || a0
.owner_before(a1
) );
52 VERIFY( !(a1
.owner_before(a0
) && a0
.owner_before(a1
)) );
54 std::experimental::shared_ptr
<B
[5]> b1(new B
[5]);
55 VERIFY( a1
.owner_before(b1
) || b1
.owner_before(a1
) );
56 VERIFY( !(a1
.owner_before(b1
) && b1
.owner_before(a1
)) );
58 std::experimental::shared_ptr
<A
[5]> a2(a1
);
59 VERIFY( !a1
.owner_before(a2
) && !a2
.owner_before(a1
) );
61 std::experimental::weak_ptr
<A
[5]> w1(a1
);
62 VERIFY( !a1
.owner_before(w1
) && !w1
.owner_before(a1
) );
68 std::experimental::shared_ptr
<A
[5]> p1(new A
[5]);
69 std::experimental::shared_ptr
<int> p2(p1
, &p1
[0].i
);
70 VERIFY( !p1
.owner_before(p2
) && !p2
.owner_before(p1
) );