|  | //===----------------------------------------------------------------------===// | 
|  | // | 
|  | // 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 | 
|  | // | 
|  | //===----------------------------------------------------------------------===// | 
|  |  | 
|  | // <string> | 
|  |  | 
|  | // template<> struct char_traits<char> | 
|  |  | 
|  | // static char_type* move(char_type* s1, const char_type* s2, size_t n); | 
|  |  | 
|  | #include <string> | 
|  | #include <cassert> | 
|  |  | 
|  | #include "test_macros.h" | 
|  |  | 
|  | TEST_CONSTEXPR_CXX20 bool test() { | 
|  | char s1[] = {1, 2, 3}; | 
|  | assert(std::char_traits<char>::move(s1, s1 + 1, 2) == s1); | 
|  | assert(s1[0] == char(2)); | 
|  | assert(s1[1] == char(3)); | 
|  | assert(s1[2] == char(3)); | 
|  | s1[2] = char(0); | 
|  | assert(std::char_traits<char>::move(s1 + 1, s1, 2) == s1 + 1); | 
|  | assert(s1[0] == char(2)); | 
|  | assert(s1[1] == char(2)); | 
|  | assert(s1[2] == char(3)); | 
|  | assert(std::char_traits<char>::move(NULL, s1, 0) == NULL); | 
|  | assert(std::char_traits<char>::move(s1, NULL, 0) == s1); | 
|  |  | 
|  | return true; | 
|  | } | 
|  |  | 
|  | int main(int, char**) { | 
|  | test(); | 
|  |  | 
|  | #if TEST_STD_VER > 17 | 
|  | static_assert(test()); | 
|  | #endif | 
|  |  | 
|  | return 0; | 
|  | } |