From 2d04c70520b08ac27208ce2788cae192b90f7c91 Mon Sep 17 00:00:00 2001
From: jzmaddock <john@johnmaddock.co.uk>
Date: Tue, 7 Jul 2015 18:35:52 +0100
Subject: [PATCH] Tentative fix for VC14. Intrinsics behaviour seems to have
 changed compared to VC12.

---
 include/boost/type_traits/has_nothrow_assign.hpp      | 5 +++++
 include/boost/type_traits/has_nothrow_constructor.hpp | 9 +++++++++
 include/boost/type_traits/has_nothrow_copy.hpp        | 5 +++++
 include/boost/type_traits/has_trivial_assign.hpp      | 5 +++++
 include/boost/type_traits/has_trivial_copy.hpp        | 3 +++
 5 files changed, 27 insertions(+)

diff --git a/include/boost/type_traits/has_nothrow_assign.hpp b/include/boost/type_traits/has_nothrow_assign.hpp
index 6af665f..764844f 100644
--- a/include/boost/type_traits/has_nothrow_assign.hpp
+++ b/include/boost/type_traits/has_nothrow_assign.hpp
@@ -67,6 +67,11 @@ namespace boost {
 
 template <class T, std::size_t N> struct has_nothrow_assign <T[N]> : public has_nothrow_assign<T> {};
 template <> struct has_nothrow_assign<void> : public false_type{};
+template <class T> struct has_nothrow_assign<T volatile> : public false_type{};
+template <class T> struct has_nothrow_assign<T&> : public false_type{};
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
+template <class T> struct has_nothrow_assign<T&&> : public false_type{};
+#endif
 #ifndef BOOST_NO_CV_VOID_SPECIALIZATIONS
 template <> struct has_nothrow_assign<void const> : public false_type{};
 template <> struct has_nothrow_assign<void const volatile> : public false_type{};
diff --git a/include/boost/type_traits/has_nothrow_constructor.hpp b/include/boost/type_traits/has_nothrow_constructor.hpp
index 562283b..c57ad8c 100644
--- a/include/boost/type_traits/has_nothrow_constructor.hpp
+++ b/include/boost/type_traits/has_nothrow_constructor.hpp
@@ -30,6 +30,11 @@ template <class T> struct has_nothrow_constructor : public integral_constant<boo
 #include <boost/type_traits/is_default_constructible.hpp>
 #include <boost/type_traits/remove_all_extents.hpp>
 
+#ifdef BOOST_MSVC
+#pragma warning(push)
+#pragma warning(disable:4197) // top-level volatile in cast is ignored
+#endif
+
 namespace boost { namespace detail{
 
    template <class T, bool b> struct has_nothrow_constructor_imp : public boost::integral_constant<bool, false>{};
@@ -39,6 +44,10 @@ namespace boost { namespace detail{
 
 template <class T> struct has_nothrow_constructor : public detail::has_nothrow_constructor_imp<T, is_default_constructible<T>::value>{};
 
+#ifdef BOOST_MSVC
+#pragma warning(pop)
+#endif
+
 #else
 
 #include <boost/type_traits/has_trivial_constructor.hpp>
diff --git a/include/boost/type_traits/has_nothrow_copy.hpp b/include/boost/type_traits/has_nothrow_copy.hpp
index de7499a..b95e094 100644
--- a/include/boost/type_traits/has_nothrow_copy.hpp
+++ b/include/boost/type_traits/has_nothrow_copy.hpp
@@ -49,7 +49,9 @@ struct has_nothrow_copy_constructor_imp<T, true> : public boost::integral_consta
 
 template <class T> struct has_nothrow_copy_constructor : public detail::has_nothrow_copy_constructor_imp<T, boost::is_copy_constructible<T>::value>{};
 template <class T> struct has_nothrow_copy_constructor<T&> : public integral_constant<bool, false>{};
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
 template <class T> struct has_nothrow_copy_constructor<T&&> : public integral_constant<bool, false>{};
+#endif
 template <class T> struct has_nothrow_copy_constructor<T volatile> : public integral_constant<bool, false>{};
 
 #else
@@ -63,6 +65,9 @@ template <class T> struct has_nothrow_copy_constructor : public integral_constan
 #endif
 
 template <> struct has_nothrow_copy_constructor<void> : public false_type{};
+template <class T> struct has_nothrow_copy_constructor<T volatile> : public false_type{};
+template <class T> struct has_nothrow_copy_constructor<T&> : public false_type{};
+template <class T> struct has_nothrow_copy_constructor<T&&> : public false_type{};
 #ifndef BOOST_NO_CV_VOID_SPECIALIZATIONS
 template <> struct has_nothrow_copy_constructor<void const> : public false_type{};
 template <> struct has_nothrow_copy_constructor<void volatile> : public false_type{};
diff --git a/include/boost/type_traits/has_trivial_assign.hpp b/include/boost/type_traits/has_trivial_assign.hpp
index 5217c78..a5e625d 100644
--- a/include/boost/type_traits/has_trivial_assign.hpp
+++ b/include/boost/type_traits/has_trivial_assign.hpp
@@ -36,6 +36,11 @@ namespace boost {
    template<> struct has_trivial_assign<void const> : public false_type{};
    template<> struct has_trivial_assign<void const volatile> : public false_type{};
    template<> struct has_trivial_assign<void volatile> : public false_type{};
+#endif
+   template <class T> struct has_trivial_assign<T volatile> : public false_type{};
+   template <class T> struct has_trivial_assign<T&> : public false_type{};
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
+   template <class T> struct has_trivial_assign<T&&> : public false_type{};
 #endif
    // Arrays are not explictly assignable:
    template <typename T, std::size_t N> struct has_trivial_assign<T[N]> : public false_type{};
diff --git a/include/boost/type_traits/has_trivial_copy.hpp b/include/boost/type_traits/has_trivial_copy.hpp
index ef9c290..fc81dbe 100644
--- a/include/boost/type_traits/has_trivial_copy.hpp
+++ b/include/boost/type_traits/has_trivial_copy.hpp
@@ -43,6 +43,9 @@ template <> struct has_trivial_copy<void volatile> : public false_type{};
 template <> struct has_trivial_copy<void const volatile> : public false_type{};
 #endif
 
+template <class T> struct has_trivial_copy<T&> : public false_type{};
+template <class T> struct has_trivial_copy<T&&> : public false_type{};
+
 template <class T> struct has_trivial_copy_constructor : public has_trivial_copy<T>{};
 
 #undef BOOST_TT_TRIVIAL_CONSTRUCT_FIX