1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// <memory>
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// shared_ptr
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// template<class Y> shared_ptr& operator=(auto_ptr<Y>&& r);
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory>
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits>
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static int count;
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    B() {++count;}
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    B(const B&) {++count;}
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    virtual ~B() {--count;}
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant};
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint B::count = 0;
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    : public B
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static int count;
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    A() {++count;}
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    A(const A&) {++count;}
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    ~A() {--count;}
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant};
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint A::count = 0;
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::auto_ptr<A> pA(new A);
47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<B> pB(new B);
506b41c6047ba9016a4a183fd77522db941bc32392Howard Hinnant            pB = std::move(pA);
51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 1);
52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 1);
53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 1);
54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == 0);
55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
61c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
62c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::auto_ptr<A> pA;
64c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
65c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<B> pB(new B);
676b41c6047ba9016a4a183fd77522db941bc32392Howard Hinnant            pB = std::move(pA);
68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 0);
69c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 0);
70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 1);
71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == 0);
72c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
73c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
74c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
75c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
76c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
77c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
78c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
79c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
80c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::auto_ptr<A> pA(new A);
81c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
82c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
83c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<B> pB;
846b41c6047ba9016a4a183fd77522db941bc32392Howard Hinnant            pB = std::move(pA);
85c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 1);
86c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 1);
87c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 1);
88c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == 0);
89c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
90c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
91c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
92c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
93c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
94c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
95c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
96c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
97c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::auto_ptr<A> pA;
98c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
99c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
100c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<B> pB;
1016b41c6047ba9016a4a183fd77522db941bc32392Howard Hinnant            pB = std::move(pA);
102c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 0);
103c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 0);
104c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 1);
105c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == 0);
106c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
107c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
108c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
109c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
110c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
111c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
112c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
113c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
114