//////////////////////////////////////////////////////////////////////////////
//
// (C) Copyright Ion Gaztanaga 2014-2015. Distributed under the Boost
// Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// See http://www.boost.org/libs/container for documentation.
//
//////////////////////////////////////////////////////////////////////////////
#ifndef BOOST_MOVE_DETAIL_LAUNDER_HPP
#define BOOST_MOVE_DETAIL_LAUNDER_HPP

#ifndef BOOST_CONFIG_HPP
#  include <boost/config.hpp>
#endif

#if defined(BOOST_HAS_PRAGMA_ONCE)
#  pragma once
#endif

#include <boost/move/detail/workaround.hpp>

namespace boost {
namespace move_detail {

#if defined(BOOST_MOVE_HAS_BUILTIN_LAUNDER)

template<class T>
BOOST_MOVE_FORCEINLINE T* launder(T* p)
{
    return __builtin_launder( p );
}

#else

template<class T>
BOOST_MOVE_FORCEINLINE T* launder(T* p)
{
    return p;
}

#endif

template<class T>
BOOST_MOVE_FORCEINLINE T launder_cast(const volatile void* p)
{
   return (launder)(static_cast<T>(const_cast<void*>(p)));
}

}  //namespace move_detail {
}  //namespace boost {

#endif   //#ifndef BOOST_MOVE_DETAIL_LAUNDER_HPP
