Author: dim
Date: Sat Jan 14 15:39:13 2017
New Revision: 312179
URL: https://svnweb.freebsd.org/changeset/base/312179

Log:
  Vendor import of libc++ release_40 branch r292009:
  https://llvm.org/svn/llvm-project/libcxx/branches/release_40@292009

Modified:
  vendor/libc++/dist/CMakeLists.txt
  vendor/libc++/dist/cmake/Modules/HandleOutOfTreeLLVM.cmake
  vendor/libc++/dist/include/__config
  vendor/libc++/dist/include/__mutex_base
  vendor/libc++/dist/include/__string
  vendor/libc++/dist/include/__threading_support
  vendor/libc++/dist/include/experimental/string_view
  vendor/libc++/dist/include/ios
  vendor/libc++/dist/include/memory
  vendor/libc++/dist/include/mutex
  vendor/libc++/dist/src/chrono.cpp
  vendor/libc++/dist/src/new.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/assign2.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/compare.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/find.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/length.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/assign2.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/compare.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/find.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/length.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/assign2.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/compare.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/find.pass.cpp
  
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/length.pass.cpp
  vendor/libc++/dist/test/std/thread/futures/futures.shared_future/dtor.pass.cpp
  vendor/libc++/dist/test/std/thread/futures/futures.unique_future/dtor.pass.cpp

Modified: vendor/libc++/dist/CMakeLists.txt
==============================================================================
--- vendor/libc++/dist/CMakeLists.txt   Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/CMakeLists.txt   Sat Jan 14 15:39:13 2017        
(r312179)
@@ -24,7 +24,7 @@ if (CMAKE_SOURCE_DIR STREQUAL CMAKE_CURR
   project(libcxx CXX C)
 
   set(PACKAGE_NAME libcxx)
-  set(PACKAGE_VERSION 4.0.0svn)
+  set(PACKAGE_VERSION 4.0.0)
   set(PACKAGE_STRING "${PACKAGE_NAME} ${PACKAGE_VERSION}")
   set(PACKAGE_BUGREPORT "llvm-b...@lists.llvm.org")
 

Modified: vendor/libc++/dist/cmake/Modules/HandleOutOfTreeLLVM.cmake
==============================================================================
--- vendor/libc++/dist/cmake/Modules/HandleOutOfTreeLLVM.cmake  Sat Jan 14 
15:38:56 2017        (r312178)
+++ vendor/libc++/dist/cmake/Modules/HandleOutOfTreeLLVM.cmake  Sat Jan 14 
15:39:13 2017        (r312179)
@@ -38,7 +38,18 @@ macro(find_llvm_parts)
     set(LLVM_INCLUDE_DIR ${INCLUDE_DIR} CACHE PATH "Path to llvm/include")
     set(LLVM_BINARY_DIR ${LLVM_OBJ_ROOT} CACHE PATH "Path to LLVM build tree")
     set(LLVM_MAIN_SRC_DIR ${MAIN_SRC_DIR} CACHE PATH "Path to LLVM source 
tree")
-    set(LLVM_CMAKE_PATH 
"${LLVM_BINARY_DIR}/lib${LLVM_LIBDIR_SUFFIX}/cmake/llvm")
+
+    # --cmakedir is supported since llvm r291218 (4.0 release)
+    execute_process(
+      COMMAND ${LLVM_CONFIG_PATH} --cmakedir
+      RESULT_VARIABLE HAD_ERROR
+      OUTPUT_VARIABLE CONFIG_OUTPUT)
+    if(NOT HAD_ERROR)
+      string(STRIP "${CONFIG_OUTPUT}" LLVM_CMAKE_PATH)
+    else()
+      set(LLVM_CMAKE_PATH
+          "${LLVM_BINARY_DIR}/lib${LLVM_LIBDIR_SUFFIX}/cmake/llvm")
+    endif()
   else()
     set(LLVM_FOUND OFF)
     message(WARNING "UNSUPPORTED LIBCXX CONFIGURATION DETECTED: "

Modified: vendor/libc++/dist/include/__config
==============================================================================
--- vendor/libc++/dist/include/__config Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/__config Sat Jan 14 15:39:13 2017        
(r312179)
@@ -396,6 +396,15 @@ namespace std {
 #define _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK 
__attribute__((__no_sanitize__("unsigned-integer-overflow")))
 #endif 
 
+// A constexpr version of __builtin_memcmp was added in clang 4.0
+#if __has_builtin(__builtin_memcmp)
+# ifdef __apple_build_version__
+// No shipping version of Apple's clang has constexpr __builtin_memcmp
+# elif __clang_major__ > 3
+#  define _LIBCPP_BUILTIN_MEMCMP_ISCONSTEXPR
+# endif
+#endif
+
 #elif defined(_LIBCPP_COMPILER_GCC)
 
 #define _ALIGNAS(x) __attribute__((__aligned__(x)))
@@ -763,7 +772,7 @@ template <unsigned> struct __static_asse
 #define _NOALIAS
 #endif
 
-#if __has_extension(cxx_explicit_conversions) || defined(__IBMCPP__) || \
+#if __has_feature(cxx_explicit_conversions) || defined(__IBMCPP__) || \
     (!defined(_LIBCPP_CXX03_LANG) && defined(__GNUC__)) // All supported GCC 
versions
 #   define _LIBCPP_EXPLICIT explicit
 #else

Modified: vendor/libc++/dist/include/__mutex_base
==============================================================================
--- vendor/libc++/dist/include/__mutex_base     Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/__mutex_base     Sat Jan 14 15:39:13 2017        
(r312179)
@@ -410,8 +410,8 @@ condition_variable::wait_for(unique_lock
     typedef time_point<system_clock, duration<long double, nano> > __sys_tpf;
     typedef time_point<system_clock, nanoseconds> __sys_tpi;
     __sys_tpf _Max = __sys_tpi::max();
-    system_clock::time_point __s_now = system_clock::now();
     steady_clock::time_point __c_now = steady_clock::now();
+    system_clock::time_point __s_now = system_clock::now();
     if (_Max - __d > __s_now)
         __do_timed_wait(__lk, __s_now + __ceil<nanoseconds>(__d));
     else

Modified: vendor/libc++/dist/include/__string
==============================================================================
--- vendor/libc++/dist/include/__string Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/__string Sat Jan 14 15:39:13 2017        
(r312179)
@@ -26,13 +26,14 @@ struct char_traits
     typedef streampos pos_type;
     typedef mbstate_t state_type;
 
-    static void assign(char_type& c1, const char_type& c2) noexcept;
+    static constexpr void assign(char_type& c1, const char_type& c2) noexcept;
     static constexpr bool eq(char_type c1, char_type c2) noexcept;
     static constexpr bool lt(char_type c1, char_type c2) noexcept;
 
-    static int              compare(const char_type* s1, const char_type* s2, 
size_t n);
-    static size_t           length(const char_type* s);
-    static const char_type* find(const char_type* s, size_t n, const 
char_type& a);
+    static constexpr int    compare(const char_type* s1, const char_type* s2, 
size_t n);
+    static constexpr size_t length(const char_type* s);
+    static constexpr const char_type* 
+                            find(const char_type* s, size_t n, const 
char_type& a);
     static char_type*       move(char_type* s1, const char_type* s2, size_t n);
     static char_type*       copy(char_type* s1, const char_type* s2, size_t n);
     static char_type*       assign(char_type* s, size_t n, char_type a);
@@ -77,18 +78,19 @@ struct _LIBCPP_TEMPLATE_VIS char_traits
     typedef streampos pos_type;
     typedef mbstate_t state_type;
 
-    static inline void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT
-        {__c1 = __c2;}
+    static inline void _LIBCPP_CONSTEXPR_AFTER_CXX14
+        assign(char_type& __c1, const char_type& __c2) _NOEXCEPT {__c1 = __c2;}
     static inline _LIBCPP_CONSTEXPR bool eq(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 == __c2;}
     static inline _LIBCPP_CONSTEXPR bool lt(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 < __c2;}
 
-    static int              compare(const char_type* __s1, const char_type* 
__s2, size_t __n);
-    _LIBCPP_INLINE_VISIBILITY
-    static size_t           length(const char_type* __s);
-    _LIBCPP_INLINE_VISIBILITY
-    static const char_type* find(const char_type* __s, size_t __n, const 
char_type& __a);
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    int compare(const char_type* __s1, const char_type* __s2, size_t __n);
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    size_t length(const char_type* __s);
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    const char_type* find(const char_type* __s, size_t __n, const char_type& 
__a);
     static char_type*       move(char_type* __s1, const char_type* __s2, 
size_t __n);
     _LIBCPP_INLINE_VISIBILITY
     static char_type*       copy(char_type* __s1, const char_type* __s2, 
size_t __n);
@@ -108,7 +110,7 @@ struct _LIBCPP_TEMPLATE_VIS char_traits
 };
 
 template <class _CharT>
-int
+_LIBCPP_CONSTEXPR_AFTER_CXX14 int
 char_traits<_CharT>::compare(const char_type* __s1, const char_type* __s2, 
size_t __n)
 {
     for (; __n; --__n, ++__s1, ++__s2)
@@ -123,7 +125,7 @@ char_traits<_CharT>::compare(const char_
 
 template <class _CharT>
 inline
-size_t
+_LIBCPP_CONSTEXPR_AFTER_CXX14 size_t
 char_traits<_CharT>::length(const char_type* __s)
 {
     size_t __len = 0;
@@ -134,7 +136,7 @@ char_traits<_CharT>::length(const char_t
 
 template <class _CharT>
 inline
-const _CharT*
+_LIBCPP_CONSTEXPR_AFTER_CXX14 const _CharT*
 char_traits<_CharT>::find(const char_type* __s, size_t __n, const char_type& 
__a)
 {
     for (; __n; --__n)
@@ -200,18 +202,19 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
     typedef streampos pos_type;
     typedef mbstate_t state_type;
 
-    static inline void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT
-        {__c1 = __c2;}
+    static inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+    void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT {__c1 = 
__c2;}
     static inline _LIBCPP_CONSTEXPR bool eq(char_type __c1, char_type __c2) 
_NOEXCEPT
             {return __c1 == __c2;}
     static inline _LIBCPP_CONSTEXPR bool lt(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return (unsigned char)__c1 < (unsigned char)__c2;}
 
-    static inline int compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
-        {return __n == 0 ? 0 : memcmp(__s1, __s2, __n);}
-    static inline size_t length(const char_type* __s)  _NOEXCEPT {return 
strlen(__s);}
-    static inline const char_type* find(const char_type* __s, size_t __n, 
const char_type& __a) _NOEXCEPT
-        {return __n == 0 ? NULL : (const char_type*) memchr(__s, 
to_int_type(__a), __n);}
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    int compare(const char_type* __s1, const char_type* __s2, size_t __n) 
_NOEXCEPT;
+    static inline size_t _LIBCPP_CONSTEXPR_AFTER_CXX14
+    length(const char_type* __s)  _NOEXCEPT {return __builtin_strlen(__s);}
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    const char_type* find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT;
     static inline char_type* move(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
         {return __n == 0 ? __s1 : (char_type*) memmove(__s1, __s2, __n);}
     static inline char_type* copy(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
@@ -234,6 +237,48 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
         {return int_type(EOF);}
 };
 
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+int
+char_traits<char>::compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
+{
+    if (__n == 0)
+        return 0;
+#ifdef _LIBCPP_BUILTIN_MEMCMP_ISCONSTEXPR
+    return __builtin_memcmp(__s1, __s2, __n);
+#elif _LIBCPP_STD_VER <= 14
+    return memcmp(__s1, __s2, __n);
+#else
+    for (; __n; --__n, ++__s1, ++__s2)
+    {
+        if (lt(*__s1, *__s2))
+            return -1;
+        if (lt(*__s2, *__s1))
+            return 1;
+    }
+    return 0;
+#endif
+}
+
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+const char*
+char_traits<char>::find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT
+{
+    if (__n == 0)
+        return NULL;
+#if _LIBCPP_STD_VER <= 14
+    return (const char_type*) memchr(__s, to_int_type(__a), __n);
+#else
+    for (; __n; --__n)
+    {
+        if (eq(*__s, __a))
+            return __s;
+        ++__s;
+    }
+    return NULL;
+#endif
+}
+
+
 // char_traits<wchar_t>
 
 template <>
@@ -245,19 +290,19 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
     typedef streampos pos_type;
     typedef mbstate_t state_type;
 
-    static inline void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT
-        {__c1 = __c2;}
+    static inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+    void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT {__c1 = 
__c2;}
     static inline _LIBCPP_CONSTEXPR bool eq(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 == __c2;}
     static inline _LIBCPP_CONSTEXPR bool lt(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 < __c2;}
 
-    static inline int compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
-        {return __n == 0 ? 0 : wmemcmp(__s1, __s2, __n);}
-    static inline size_t length(const char_type* __s) _NOEXCEPT
-        {return wcslen(__s);}
-    static inline const char_type* find(const char_type* __s, size_t __n, 
const char_type& __a) _NOEXCEPT
-        {return __n == 0 ? NULL : (const char_type*)wmemchr(__s, __a, __n);}
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    int compare(const char_type* __s1, const char_type* __s2, size_t __n) 
_NOEXCEPT;
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    size_t length(const char_type* __s) _NOEXCEPT;
+    static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    const char_type* find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT;
     static inline char_type* move(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
         {return __n == 0 ? __s1 : (char_type*)wmemmove(__s1, __s2, __n);}
     static inline char_type* copy(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
@@ -280,6 +325,66 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
         {return int_type(WEOF);}
 };
 
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+int
+char_traits<wchar_t>::compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
+{
+    if (__n == 0)
+        return 0;
+#if __has_builtin(__builtin_wmemcmp)
+    return __builtin_wmemcmp(__s1, __s2, __n);
+#elif _LIBCPP_STD_VER <= 14
+    return wmemcmp(__s1, __s2, __n);
+#else
+    for (; __n; --__n, ++__s1, ++__s2)
+    {
+        if (lt(*__s1, *__s2))
+            return -1;
+        if (lt(*__s2, *__s1))
+            return 1;
+    }
+    return 0;
+#endif
+}
+
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+size_t
+char_traits<wchar_t>::length(const char_type* __s) _NOEXCEPT
+{
+#if __has_builtin(__builtin_wcslen)
+    return __builtin_wcslen(__s);
+#elif _LIBCPP_STD_VER <= 14
+    return wcslen(__s);
+#else
+    size_t __len = 0;
+    for (; !eq(*__s, char_type(0)); ++__s)
+        ++__len;
+    return __len;
+#endif
+}
+
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+const wchar_t*
+char_traits<wchar_t>::find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT
+{
+    if (__n == 0)
+        return NULL;
+#if __has_builtin(__builtin_wmemchr)
+        return __builtin_wmemchr(__s, __a, __n);
+#elif _LIBCPP_STD_VER <= 14
+    return wmemchr(__s, __a, __n);
+#else
+    for (; __n; --__n)
+    {
+        if (eq(*__s, __a))
+            return __s;
+        ++__s;
+    }
+    return NULL;
+#endif
+}
+
+
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
 
 template <>
@@ -291,19 +396,19 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
     typedef u16streampos   pos_type;
     typedef mbstate_t      state_type;
 
-    static inline void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT
-        {__c1 = __c2;}
+    static inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+    void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT {__c1 = 
__c2;}
     static inline _LIBCPP_CONSTEXPR bool eq(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 == __c2;}
     static inline _LIBCPP_CONSTEXPR bool lt(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 < __c2;}
 
-    _LIBCPP_INLINE_VISIBILITY
-    static int              compare(const char_type* __s1, const char_type* 
__s2, size_t __n) _NOEXCEPT;
-    _LIBCPP_INLINE_VISIBILITY
-    static size_t           length(const char_type* __s) _NOEXCEPT;
-    _LIBCPP_INLINE_VISIBILITY
-    static const char_type* find(const char_type* __s, size_t __n, const 
char_type& __a) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    int              compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    size_t           length(const char_type* __s) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    const char_type* find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT;
     _LIBCPP_INLINE_VISIBILITY
     static char_type*       move(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT;
     _LIBCPP_INLINE_VISIBILITY
@@ -323,7 +428,7 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
         {return int_type(0xFFFF);}
 };
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 int
 char_traits<char16_t>::compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
 {
@@ -337,7 +442,7 @@ char_traits<char16_t>::compare(const cha
     return 0;
 }
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 size_t
 char_traits<char16_t>::length(const char_type* __s) _NOEXCEPT
 {
@@ -347,7 +452,7 @@ char_traits<char16_t>::length(const char
     return __len;
 }
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 const char16_t*
 char_traits<char16_t>::find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT
 {
@@ -410,19 +515,19 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
     typedef u32streampos   pos_type;
     typedef mbstate_t      state_type;
 
-    static inline void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT
-        {__c1 = __c2;}
+    static inline _LIBCPP_CONSTEXPR_AFTER_CXX14
+    void assign(char_type& __c1, const char_type& __c2) _NOEXCEPT {__c1 = 
__c2;}
     static inline _LIBCPP_CONSTEXPR bool eq(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 == __c2;}
     static inline _LIBCPP_CONSTEXPR bool lt(char_type __c1, char_type __c2) 
_NOEXCEPT
         {return __c1 < __c2;}
 
-    _LIBCPP_INLINE_VISIBILITY
-    static int              compare(const char_type* __s1, const char_type* 
__s2, size_t __n) _NOEXCEPT;
-    _LIBCPP_INLINE_VISIBILITY
-    static size_t           length(const char_type* __s) _NOEXCEPT;
-    _LIBCPP_INLINE_VISIBILITY
-    static const char_type* find(const char_type* __s, size_t __n, const 
char_type& __a) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    int              compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    size_t           length(const char_type* __s) _NOEXCEPT;
+    _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR_AFTER_CXX14
+    const char_type* find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT;
     _LIBCPP_INLINE_VISIBILITY
     static char_type*       move(char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT;
     _LIBCPP_INLINE_VISIBILITY
@@ -442,7 +547,7 @@ struct _LIBCPP_TEMPLATE_VIS char_traits<
         {return int_type(0xFFFFFFFF);}
 };
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 int
 char_traits<char32_t>::compare(const char_type* __s1, const char_type* __s2, 
size_t __n) _NOEXCEPT
 {
@@ -456,7 +561,7 @@ char_traits<char32_t>::compare(const cha
     return 0;
 }
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 size_t
 char_traits<char32_t>::length(const char_type* __s) _NOEXCEPT
 {
@@ -466,7 +571,7 @@ char_traits<char32_t>::length(const char
     return __len;
 }
 
-inline
+inline _LIBCPP_CONSTEXPR_AFTER_CXX14
 const char32_t*
 char_traits<char32_t>::find(const char_type* __s, size_t __n, const char_type& 
__a) _NOEXCEPT
 {

Modified: vendor/libc++/dist/include/__threading_support
==============================================================================
--- vendor/libc++/dist/include/__threading_support      Sat Jan 14 15:38:56 
2017        (r312178)
+++ vendor/libc++/dist/include/__threading_support      Sat Jan 14 15:39:13 
2017        (r312179)
@@ -385,7 +385,7 @@ int __libcpp_recursive_mutex_unlock(__li
 
 int __libcpp_recursive_mutex_destroy(__libcpp_recursive_mutex_t *__m)
 {
-  static_cast<void>(__m);
+  DeleteCriticalSection(__m);
   return 0;
 }
 

Modified: vendor/libc++/dist/include/experimental/string_view
==============================================================================
--- vendor/libc++/dist/include/experimental/string_view Sat Jan 14 15:38:56 
2017        (r312178)
+++ vendor/libc++/dist/include/experimental/string_view Sat Jan 14 15:39:13 
2017        (r312179)
@@ -340,12 +340,7 @@ _LIBCPP_BEGIN_NAMESPACE_LFTS
         // [string.view.ops], string operations:
         template<class _Allocator>
         _LIBCPP_INLINE_VISIBILITY
-        // Clang's extended C++11 explict conversions don't work with
-        // string_view in C++03.
-#ifndef _LIBCPP_CXX03_LANG
-        _LIBCPP_EXPLICIT
-#endif
-        operator basic_string<_CharT, _Traits, _Allocator>() const
+        _LIBCPP_EXPLICIT operator basic_string<_CharT, _Traits, _Allocator>() 
const
         { return basic_string<_CharT, _Traits, _Allocator>( begin(), end()); }
 
         template<class _Allocator = allocator<_CharT> >

Modified: vendor/libc++/dist/include/ios
==============================================================================
--- vendor/libc++/dist/include/ios      Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/ios      Sat Jan 14 15:39:13 2017        
(r312179)
@@ -572,6 +572,13 @@ ios_base::exceptions(iostate __iostate)
     clear(__rdstate_);
 }
 
+#if defined(_LIBCPP_CXX03_LANG)
+struct _LIBCPP_TYPE_VIS __cxx03_bool {
+  typedef void (__cxx03_bool::*__bool_type)();
+  void __true_value() {}
+};
+#endif
+
 template <class _CharT, class _Traits>
 class _LIBCPP_TEMPLATE_VIS basic_ios
     : public ios_base
@@ -585,8 +592,15 @@ public:
     typedef typename traits_type::pos_type pos_type;
     typedef typename traits_type::off_type off_type;
 
+#if defined(_LIBCPP_CXX03_LANG)
+    _LIBCPP_ALWAYS_INLINE
+    operator __cxx03_bool::__bool_type() const {
+        return !fail() ? &__cxx03_bool::__true_value : nullptr;
+    }
+#else
     _LIBCPP_ALWAYS_INLINE
     _LIBCPP_EXPLICIT operator bool() const {return !fail();}
+#endif
 
     _LIBCPP_ALWAYS_INLINE bool operator!() const    {return  fail();}
     _LIBCPP_ALWAYS_INLINE iostate rdstate() const   {return 
ios_base::rdstate();}

Modified: vendor/libc++/dist/include/memory
==============================================================================
--- vendor/libc++/dist/include/memory   Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/memory   Sat Jan 14 15:39:13 2017        
(r312179)
@@ -3884,6 +3884,7 @@ class _LIBCPP_TEMPLATE_VIS shared_ptr
 {
 public:
     typedef _Tp element_type;
+
 #if _LIBCPP_STD_VER > 14
     typedef weak_ptr<_Tp> weak_type;
 #endif
@@ -3914,17 +3915,17 @@ public:
     template<class _Yp>
         _LIBCPP_INLINE_VISIBILITY
         shared_ptr(const shared_ptr<_Yp>& __r,
-                   typename enable_if<is_convertible<_Yp*, _Tp*>::value, 
__nat>::type = __nat())
+                   typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type = __nat())
                        _NOEXCEPT;
 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
     _LIBCPP_INLINE_VISIBILITY
     shared_ptr(shared_ptr&& __r) _NOEXCEPT;
     template<class _Yp> _LIBCPP_INLINE_VISIBILITY  
shared_ptr(shared_ptr<_Yp>&& __r,
-                   typename enable_if<is_convertible<_Yp*, _Tp*>::value, 
__nat>::type = __nat())
+                   typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type = __nat())
                        _NOEXCEPT;
 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
     template<class _Yp> explicit shared_ptr(const weak_ptr<_Yp>& __r,
-                   typename enable_if<is_convertible<_Yp*, _Tp*>::value, 
__nat>::type= __nat());
+                   typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type= __nat());
 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
     template<class _Yp>
         shared_ptr(auto_ptr<_Yp>&& __r,
@@ -4316,7 +4317,7 @@ template<class _Tp>
 template<class _Yp>
 inline
 shared_ptr<_Tp>::shared_ptr(const shared_ptr<_Yp>& __r,
-                            typename enable_if<is_convertible<_Yp*, 
_Tp*>::value, __nat>::type)
+                            typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type)
          _NOEXCEPT
     : __ptr_(__r.__ptr_),
       __cntrl_(__r.__cntrl_)
@@ -4341,7 +4342,7 @@ template<class _Tp>
 template<class _Yp>
 inline
 shared_ptr<_Tp>::shared_ptr(shared_ptr<_Yp>&& __r,
-                            typename enable_if<is_convertible<_Yp*, 
_Tp*>::value, __nat>::type)
+                            typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type)
          _NOEXCEPT
     : __ptr_(__r.__ptr_),
       __cntrl_(__r.__cntrl_)
@@ -4639,7 +4640,7 @@ template<class _Yp>
 inline
 typename enable_if
 <
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>&
 >::type
 shared_ptr<_Tp>::operator=(const shared_ptr<_Yp>& __r) _NOEXCEPT
@@ -4664,7 +4665,7 @@ template<class _Yp>
 inline
 typename enable_if
 <
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>&
 >::type
 shared_ptr<_Tp>::operator=(shared_ptr<_Yp>&& __r)
@@ -4679,7 +4680,7 @@ inline
 typename enable_if
 <
     !is_array<_Yp>::value &&
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>
 >::type&
 shared_ptr<_Tp>::operator=(auto_ptr<_Yp>&& __r)
@@ -4694,7 +4695,8 @@ inline
 typename enable_if
 <
     !is_array<_Yp>::value &&
-    is_convertible<typename unique_ptr<_Yp, _Dp>::pointer, _Tp*>::value,
+    is_convertible<typename unique_ptr<_Yp, _Dp>::pointer, 
+                   typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>&
 >::type
 shared_ptr<_Tp>::operator=(unique_ptr<_Yp, _Dp>&& __r)
@@ -4711,7 +4713,7 @@ inline _LIBCPP_INLINE_VISIBILITY
 typename enable_if
 <
     !is_array<_Yp>::value &&
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>&
 >::type
 shared_ptr<_Tp>::operator=(auto_ptr<_Yp> __r)
@@ -4726,7 +4728,8 @@ inline _LIBCPP_INLINE_VISIBILITY
 typename enable_if
 <
     !is_array<_Yp>::value &&
-    is_convertible<typename unique_ptr<_Yp, _Dp>::pointer, _Tp*>::value,
+    is_convertible<typename unique_ptr<_Yp, _Dp>::pointer, 
+                   typename shared_ptr<_Tp>::element_type*>::value,
     shared_ptr<_Tp>&
 >::type
 shared_ptr<_Tp>::operator=(unique_ptr<_Yp, _Dp> __r)
@@ -4759,7 +4762,7 @@ template<class _Yp>
 inline
 typename enable_if
 <
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     void
 >::type
 shared_ptr<_Tp>::reset(_Yp* __p)
@@ -4772,7 +4775,7 @@ template<class _Yp, class _Dp>
 inline
 typename enable_if
 <
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     void
 >::type
 shared_ptr<_Tp>::reset(_Yp* __p, _Dp __d)
@@ -4785,7 +4788,7 @@ template<class _Yp, class _Dp, class _Al
 inline
 typename enable_if
 <
-    is_convertible<_Yp*, _Tp*>::value,
+    is_convertible<_Yp*, typename shared_ptr<_Tp>::element_type*>::value,
     void
 >::type
 shared_ptr<_Tp>::reset(_Yp* __p, _Dp __d, _Alloc __a)
@@ -5350,7 +5353,7 @@ weak_ptr<_Tp>::reset() _NOEXCEPT
 template<class _Tp>
 template<class _Yp>
 shared_ptr<_Tp>::shared_ptr(const weak_ptr<_Yp>& __r,
-                            typename enable_if<is_convertible<_Yp*, 
_Tp*>::value, __nat>::type)
+                            typename enable_if<is_convertible<_Yp*, 
element_type*>::value, __nat>::type)
     : __ptr_(__r.__ptr_),
       __cntrl_(__r.__cntrl_ ? __r.__cntrl_->lock() : __r.__cntrl_)
 {

Modified: vendor/libc++/dist/include/mutex
==============================================================================
--- vendor/libc++/dist/include/mutex    Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/include/mutex    Sat Jan 14 15:39:13 2017        
(r312179)
@@ -559,6 +559,7 @@ public:
 #endif
 
 template <class _Fp>
+inline _LIBCPP_INLINE_VISIBILITY
 void
 __call_once_proxy(void* __vp)
 {

Modified: vendor/libc++/dist/src/chrono.cpp
==============================================================================
--- vendor/libc++/dist/src/chrono.cpp   Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/src/chrono.cpp   Sat Jan 14 15:39:13 2017        
(r312179)
@@ -42,7 +42,7 @@
 #include <winapifamily.h>
 #endif
 #else
-#if !defined(CLOCK_REALTIME)
+#if !defined(CLOCK_REALTIME) || !defined(_LIBCXX_USE_CLOCK_GETTIME)
 #include <sys/time.h>        // for gettimeofday and timeval
 #endif // !defined(CLOCK_REALTIME)
 #endif // defined(_LIBCPP_WIN32API)

Modified: vendor/libc++/dist/src/new.cpp
==============================================================================
--- vendor/libc++/dist/src/new.cpp      Sat Jan 14 15:38:56 2017        
(r312178)
+++ vendor/libc++/dist/src/new.cpp      Sat Jan 14 15:39:13 2017        
(r312179)
@@ -198,7 +198,11 @@ void
 operator delete(void* ptr, std::align_val_t) _NOEXCEPT
 {
     if (ptr)
+#if defined(_LIBCPP_MSVCRT)
+        ::_aligned_free(ptr);
+#else
         ::free(ptr);
+#endif
 }
 
 _LIBCPP_WEAK

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/assign2.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/assign2.pass.cpp
       Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/assign2.pass.cpp
       Sat Jan 14 15:39:13 2017        (r312179)
@@ -11,14 +11,30 @@
 
 // template<> struct char_traits<char>
 
-// static void assign(char_type& c1, const char_type& c2);
+// static constexpr void assign(char_type& c1, const char_type& c2); // 
constexpr in C++17
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    char c = '1';
+    std::char_traits<char>::assign(c, 'a');
+    return c == 'a';
+}
+#endif
+
 int main()
 {
     char c = '\0';
     std::char_traits<char>::assign(c, 'a');
     assert(c == 'a');
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/compare.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/compare.pass.cpp
       Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/compare.pass.cpp
       Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,10 +12,22 @@
 // template<> struct char_traits<char>
 
 // static int compare(const char_type* s1, const char_type* s2, size_t n);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    return std::char_traits<char>::compare("123", "223", 3) < 0
+        && std::char_traits<char>::compare("223", "123", 3) > 0
+        && std::char_traits<char>::compare("123", "123", 3) == 0;
+}
+#endif
+
 int main()
 {
     assert(std::char_traits<char>::compare("", "", 0) == 0);
@@ -38,4 +50,8 @@ int main()
     assert(std::char_traits<char>::compare("223", "123", 3) > 0);
     assert(std::char_traits<char>::compare("133", "123", 3) > 0);
     assert(std::char_traits<char>::compare("124", "123", 3) > 0);
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/find.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/find.pass.cpp
  Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/find.pass.cpp
  Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,10 +12,24 @@
 // template<> struct char_traits<char>
 
 // static const char_type* find(const char_type* s, size_t n, const char_type& 
a);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    constexpr const char *p = "123";
+    return std::char_traits<char>::find(p, 3, '1') == p
+        && std::char_traits<char>::find(p, 3, '2') == p + 1
+        && std::char_traits<char>::find(p, 3, '3') == p + 2
+        && std::char_traits<char>::find(p, 3, '4') == nullptr;
+}
+#endif
+
 int main()
 {
     char s1[] = {1, 2, 3};
@@ -25,4 +39,8 @@ int main()
     assert(std::char_traits<char>::find(s1, 3, char(4)) == 0);
     assert(std::char_traits<char>::find(s1, 3, char(0)) == 0);
     assert(std::char_traits<char>::find(NULL, 0, char(0)) == 0);
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/length.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/length.pass.cpp
        Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/length.pass.cpp
        Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,10 +12,22 @@
 // template<> struct char_traits<char>
 
 // static size_t length(const char_type* s);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    return std::char_traits<char>::length("") == 0
+        && std::char_traits<char>::length("abcd") == 4;
+}
+#endif
+
+
 int main()
 {
     assert(std::char_traits<char>::length("") == 0);
@@ -23,4 +35,8 @@ int main()
     assert(std::char_traits<char>::length("aa") == 2);
     assert(std::char_traits<char>::length("aaa") == 3);
     assert(std::char_traits<char>::length("aaaa") == 4);
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/assign2.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/assign2.pass.cpp
   Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/assign2.pass.cpp
   Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,12 +12,22 @@
 // template<> struct char_traits<char16_t>
 
 // static void assign(char_type& c1, const char_type& c2);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
 #include "test_macros.h"
 
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    char16_t c = u'1';
+    std::char_traits<char16_t>::assign(c, u'a');
+    return c == u'a';
+}
+#endif
+
 int main()
 {
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -26,5 +36,9 @@ int main()
     std::char_traits<char16_t>::assign(c, u'a');
     assert(c == u'a');
 #endif
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/compare.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/compare.pass.cpp
   Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/compare.pass.cpp
   Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,12 +12,23 @@
 // template<> struct char_traits<char16_t>
 
 // static int compare(const char_type* s1, const char_type* s2, size_t n);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
 #include "test_macros.h"
 
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    return std::char_traits<char16_t>::compare(u"123", u"223", 3) < 0
+        && std::char_traits<char16_t>::compare(u"223", u"123", 3) > 0
+        && std::char_traits<char16_t>::compare(u"123", u"123", 3) == 0;
+}
+#endif
+
+
 int main()
 {
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -43,5 +54,9 @@ int main()
     assert(std::char_traits<char16_t>::compare(u"133", u"123", 3) > 0);
     assert(std::char_traits<char16_t>::compare(u"124", u"123", 3) > 0);
 #endif
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/find.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/find.pass.cpp
      Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/find.pass.cpp
      Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,10 +12,24 @@
 // template<> struct char_traits<char16_t>
 
 // static const char_type* find(const char_type* s, size_t n, const char_type& 
a);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    constexpr const char16_t *p = u"123";
+    return std::char_traits<char16_t>::find(p, 3, u'1') == p
+        && std::char_traits<char16_t>::find(p, 3, u'2') == p + 1
+        && std::char_traits<char16_t>::find(p, 3, u'3') == p + 2
+        && std::char_traits<char16_t>::find(p, 3, u'4') == nullptr;
+}
+#endif
+
 int main()
 {
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -26,5 +40,9 @@ int main()
     assert(std::char_traits<char16_t>::find(s1, 3, char16_t(4)) == 0);
     assert(std::char_traits<char16_t>::find(s1, 3, char16_t(0)) == 0);
     assert(std::char_traits<char16_t>::find(NULL, 0, char16_t(0)) == 0);
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/length.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/length.pass.cpp
    Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/length.pass.cpp
    Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,12 +12,21 @@
 // template<> struct char_traits<char16_t>
 
 // static size_t length(const char_type* s);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
 #include "test_macros.h"
 
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    return std::char_traits<char16_t>::length(u"") == 0
+        && std::char_traits<char16_t>::length(u"abcd") == 4;
+}
+#endif
+
 int main()
 {
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -28,5 +37,9 @@ int main()
     assert(std::char_traits<char16_t>::length(u"aaa") == 3);
     assert(std::char_traits<char16_t>::length(u"aaaa") == 4);
 #endif
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
   Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
   Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,12 +12,22 @@
 // template<> struct char_traits<char32_t>
 
 // static void assign(char_type& c1, const char_type& c2);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
 #include "test_macros.h"
 
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    char32_t c = U'1';
+    std::char_traits<char32_t>::assign(c, U'a');
+    return c == U'a';
+}
+#endif
+
 int main()
 {
 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -26,5 +36,9 @@ int main()
     std::char_traits<char32_t>::assign(c, U'a');
     assert(c == U'a');
 #endif
+
+#if TEST_STD_VER > 14
+    static_assert(test_constexpr(), "" );
+#endif
 #endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
 }

Modified: 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
==============================================================================
--- 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
   Sat Jan 14 15:38:56 2017        (r312178)
+++ 
vendor/libc++/dist/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
   Sat Jan 14 15:39:13 2017        (r312179)
@@ -12,12 +12,22 @@
 // template<> struct char_traits<char32_t>
 
 // static int compare(const char_type* s1, const char_type* s2, size_t n);
+// constexpr in C++17
 
 #include <string>
 #include <cassert>
 
 #include "test_macros.h"
 
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+    return std::char_traits<char32_t>::compare(U"123", U"223", 3) < 0
+        && std::char_traits<char32_t>::compare(U"223", U"123", 3) > 0
+        && std::char_traits<char32_t>::compare(U"123", U"123", 3) == 0;
+}
+#endif
+

*** DIFF OUTPUT TRUNCATED AT 1000 LINES ***
_______________________________________________
svn-src-all@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"

Reply via email to