From f03c3b461294e19ee0e5725e0a7b19fb8fb4c44f Mon Sep 17 00:00:00 2001
From: Howard Hinnant <hhinnant@apple.com>
Date: Sat, 2 Jul 2011 20:33:23 +0000
Subject: [PATCH] http://llvm.org/bugs/show_bug.cgi?id=10248

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@134327 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/__bit_reference | 13 ++++++++++++-
 include/bitset          |  9 +++++++++
 include/vector          | 11 +++++++++--
 3 files changed, 30 insertions(+), 3 deletions(-)

diff --git a/include/__bit_reference b/include/__bit_reference
index 57b92eacd..d62bec7ce 100644
--- a/include/__bit_reference
+++ b/include/__bit_reference
@@ -21,7 +21,13 @@ _LIBCPP_BEGIN_NAMESPACE_STD
 template <class _C, bool _IsConst> class __bit_iterator;
 template <class _C> class __bit_const_reference;
 
-template <class _C>
+template <class _Tp>
+struct __has_storage_type
+{
+    static const bool value = false;
+};
+
+template <class _C, bool = __has_storage_type<_C>::value>
 class __bit_reference
 {
     typedef typename _C::__storage_type    __storage_type;
@@ -66,6 +72,11 @@ private:
         : __seg_(__s), __mask_(__m) {}
 };
 
+template <class _C>
+class __bit_reference<_C, false>
+{
+};
+
 template <class _C, class _D>
 _LIBCPP_INLINE_VISIBILITY inline
 void
diff --git a/include/bitset b/include/bitset
index de0a20149..f0e80279d 100644
--- a/include/bitset
+++ b/include/bitset
@@ -129,6 +129,15 @@ template <size_t N> struct hash<std::bitset<N>>;
 
 _LIBCPP_BEGIN_NAMESPACE_STD
 
+template <size_t _N_words, size_t _Size>
+class __bitset;
+
+template <size_t _N_words, size_t _Size>
+struct __has_storage_type<__bitset<_N_words, _Size> >
+{
+    static const bool value = true;
+};
+
 template <size_t _N_words, size_t _Size>
 class __bitset
 {
diff --git a/include/vector b/include/vector
index 0bd82ea5f..d8c9feb4e 100644
--- a/include/vector
+++ b/include/vector
@@ -1748,6 +1748,12 @@ template <class _Allocator> class vector<bool, _Allocator>;
 
 template <class _Allocator> struct hash<vector<bool, _Allocator> >;
 
+template <class _Allocator>
+struct __has_storage_type<vector<bool, _Allocator> >
+{
+    static const bool value = true;
+};
+
 template <class _Allocator>
 class _LIBCPP_VISIBLE vector<bool, _Allocator>
     : private __vector_base_common<true>
@@ -1757,8 +1763,6 @@ public:
     typedef bool                                     value_type;
     typedef _Allocator                               allocator_type;
     typedef allocator_traits<allocator_type>         __alloc_traits;
-    typedef __bit_reference<vector>                  reference;
-    typedef __bit_const_reference<vector>            const_reference;
     typedef typename __alloc_traits::size_type       size_type;
     typedef typename __alloc_traits::difference_type difference_type;
     typedef __bit_iterator<vector, false>            pointer;
@@ -1798,6 +1802,9 @@ private:
     size_type                                              __size_;
     __compressed_pair<size_type, __storage_allocator> __cap_alloc_;
 
+    typedef __bit_reference<vector>                  reference;
+    typedef __bit_const_reference<vector>            const_reference;
+
     _LIBCPP_INLINE_VISIBILITY
     size_type& __cap() _NOEXCEPT
         {return __cap_alloc_.first();}