//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// <memory>

// shared_ptr

// explicit operator bool() const;

#include <memory>
#include <cassert>
#include <type_traits>

#include "test_macros.h"

struct A {
  int a;
  virtual ~A() {}
};
struct B : A {};

int main(int, char**)
{
    static_assert(std::is_constructible<bool, std::shared_ptr<A> >::value, "");
    static_assert(!std::is_convertible<std::shared_ptr<A>, bool>::value, "");

    {
      const std::shared_ptr<int> p(new int(32));
      assert(p);
    }
    {
      const std::shared_ptr<int> p;
      assert(!p);
    }
#if !defined(TEST_HAS_NO_RTTI)
    {
      std::shared_ptr<A> basePtr = std::make_shared<B>();
      std::shared_ptr<B> sp = std::dynamic_pointer_cast<B>(basePtr);
      assert(sp);
    }
#endif

    return 0;
}