1 // { dg-do run { target c++14 } }
2 
3 // Copyright (C) 2015-2018 Free Software Foundation, Inc.
4 //
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)
9 // any later version.
10 
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.
15 
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/>.
19 
20 #include <experimental/memory>
21 #include <testsuite_hooks.h>
22 #include <utility>
23 
24 using std::experimental::observer_ptr;
25 
26 struct B {};
27 struct D : B {};
28 
test01()29 void test01()
30 {
31   observer_ptr<int> a;
32   VERIFY(!a);
33   observer_ptr<int> b{nullptr};
34   VERIFY(!b);
35 }
36 
test02()37 void test02()
38 {
39   int x{};
40   observer_ptr<int> a{&x};
41   observer_ptr<int> b{a};
42   VERIFY(a == b);
43 }
44 
test03()45 void test03()
46 {
47   int x{};
48   observer_ptr<int> a;
49   observer_ptr<const int> b{a};
50   VERIFY(a == b);
51 }
52 
test04()53 void test04()
54 {
55   D x{};
56   observer_ptr<D> a{&x};
57   observer_ptr<B> b{a};
58   VERIFY(a == b);
59 }
60 
test05()61 void test05()
62 {
63   D x{};
64   observer_ptr<D> a{&x};
65   observer_ptr<B> b{std::move(a)};
66   VERIFY(a == b);
67 }
68 
test06()69 void test06()
70 {
71   static constexpr D x{};
72   constexpr observer_ptr<const D> a{&x};
73   constexpr observer_ptr<const B> b{std::move(a)};
74   VERIFY(a == b);
75   constexpr observer_ptr<const B> c{a};
76   VERIFY(a == b && a == c && b == c);
77   constexpr observer_ptr<int> d;
78   constexpr observer_ptr<int> e{nullptr};
79   VERIFY(!d);
80   VERIFY(!e);
81 }
82 
main()83 int main()
84 {
85   test01();
86   test02();
87   test03();
88   test04();
89   test05();
90   test06();
91 }
92