//===----------------------------------------------------------------------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

// <memory>

// shared_ptr

// template<class T, class... Args> shared_ptr<T> make_shared(Args&&... args);

#include <memory>
#include <cassert>

template <typename T>
void test(const T &t0)
{
    {
    T t1 = t0;
    std::shared_ptr<T> p0 = std::make_shared<T>(t0);
    std::shared_ptr<T> p1 = std::make_shared<T>(t1);
    assert(*p0 == t0);
    assert(*p1 == t1);
    }

    {
    const T t1 = t0;
    std::shared_ptr<const T> p0 = std::make_shared<const T>(t0);
    std::shared_ptr<const T> p1 = std::make_shared<const T>(t1);
    assert(*p0 == t0);
    assert(*p1 == t1);
    }
    
    {
    volatile T t1 = t0;
    std::shared_ptr<volatile T> p0 = std::make_shared<volatile T>(t0);
    std::shared_ptr<volatile T> p1 = std::make_shared<volatile T>(t1);
    assert(*p0 == t0);
    assert(*p1 == t1);
    }

    {
    const volatile T t1 = t0;
    std::shared_ptr<const volatile T> p0 = std::make_shared<const volatile T>(t0);
    std::shared_ptr<const volatile T> p1 = std::make_shared<const volatile T>(t1);
    assert(*p0 == t0);
    assert(*p1 == t1);
    }
    
}

int main()
{
    test<bool>(true);
    test<int>(3);
    test<double>(5.0);
}