As committed: Same patch as discussed before all the holidays.
Built and tested x86_64-linux.
2014-01-24 Ed Smith-Rowland <3dw...@verizon.net> Peter A. Bigot <p...@pabigot.com> PR libstdc++/59529 * include/experimental/string_view (basic_string_view(const _CharT*, size_type)): Don't care if len == 0. * testsuite/experimental/string_view/operations/substr/char/1.cc: Comment out catch of out_of_range; No terminating null in basic_string_view. Check begin == end. * testsuite/experimental/string_view/operations/substr/wchar_t/1.cc: Ditto.
2014-01-24 Ed Smith-Rowland <3dw...@verizon.net> Peter A. Bigot <p...@pabigot.com> PR libstdc++/59530 * include/experimental/string_view (operator[](size_type) const): Fix one-off index error in debug check. * testsuite/experimental/string_view/element_access/char/1.cc: Don't test basic_string_view at size(). * testsuite/experimental/string_view/element_access/wchar_t/1.cc: Ditto.
2014-01-24 Ed Smith-Rowland <3dw...@verizon.net> PR libstdc++/59531 * testsuite/experimental/string_view/operations/copy/char/1.cc: New. * testsuite/experimental/string_view/operations/copy/wchar_t/1.cc: New. 2014-01-24 Ed Smith-Rowland <3dw...@verizon.net> Peter A. Bigot <p...@pabigot.com> PR libstdc++/59531 * include/experimental/string_view (copy(_CharT*, size_type, size_type) const): Correct throw string. Correct copy start location.
Index: include/experimental/string_view =================================================================== --- include/experimental/string_view (revision 207027) +++ include/experimental/string_view (working copy) @@ -117,7 +117,7 @@ constexpr basic_string_view(const _CharT* __str, size_type __len) : _M_len{__str == nullptr ? 0 :__len}, - _M_str{__str == nullptr || __len == 0 ? _S_empty_str : __str} + _M_str{__str == nullptr ? _S_empty_str : __str} { } basic_string_view& @@ -277,11 +277,11 @@ constexpr basic_string_view substr(size_type __pos, size_type __n=npos) const { - return __pos < this->_M_len + return __pos <= this->_M_len ? basic_string_view{this->_M_str + __pos, std::min(__n, size_type{this->_M_len - __pos})} - : (__throw_out_of_range_fmt(__N("basic_string_view::at: __pos " - "(which is %zu) >= this->size() " + : (__throw_out_of_range_fmt(__N("basic_string_view::substr: __pos " + "(which is %zu) > this->size() " "(which is %zu)"), __pos, this->size()), basic_string_view{}); } Index: testsuite/experimental/string_view/operations/substr/char/1.cc =================================================================== --- testsuite/experimental/string_view/operations/substr/char/1.cc (revision 207027) +++ testsuite/experimental/string_view/operations/substr/char/1.cc (working copy) @@ -63,11 +63,9 @@ { str02 = str01.substr(csz01); VERIFY( str02.size() == 0 ); + VERIFY( str02.begin() == str01.end() ); + VERIFY( true ); } - catch(std::out_of_range& fail) - { - VERIFY( true ); // No terminating null in basic_string_view - } catch(...) { VERIFY( false ); Index: testsuite/experimental/string_view/operations/substr/wchar_t/1.cc =================================================================== --- testsuite/experimental/string_view/operations/substr/wchar_t/1.cc (revision 207027) +++ testsuite/experimental/string_view/operations/substr/wchar_t/1.cc (working copy) @@ -63,11 +63,9 @@ { str02 = str01.substr(csz01); VERIFY( str02.size() == 0 ); + VERIFY( str02.begin() == str01.end() ); + VERIFY( true ); } - catch(std::out_of_range& fail) - { - VERIFY( true ); // No terminating null in basic_string_view - } catch(...) { VERIFY( false );
Index: include/experimental/string_view =================================================================== --- include/experimental/string_view (revision 207027) +++ include/experimental/string_view (working copy) @@ -182,7 +182,7 @@ operator[](size_type __pos) const { // TODO: Assert to restore in a way compatible with the constexpr. - // _GLIBCXX_DEBUG_ASSERT(__pos <= this->_M_len); + // _GLIBCXX_DEBUG_ASSERT(__pos < this->_M_len); return *(this->_M_str + __pos); } Index: testsuite/experimental/string_view/element_access/char/1.cc =================================================================== --- testsuite/experimental/string_view/element_access/char/1.cc (revision 207027) +++ testsuite/experimental/string_view/element_access/char/1.cc (working copy) @@ -41,8 +41,9 @@ csz01 = str01.size(); cref cref1 = str01[csz01 - 1]; VERIFY( cref1 == 'a' ); - cref cref2 = str01[csz01]; - VERIFY( cref2 == char() ); + // Undefined behavior at size(). + //cref cref2 = str01[csz01]; + //VERIFY( cref2 == char() ); // const_reference at(size_type pos) const; csz01 = str01.size(); Index: testsuite/experimental/string_view/element_access/wchar_t/1.cc =================================================================== --- testsuite/experimental/string_view/element_access/wchar_t/1.cc (revision 207027) +++ testsuite/experimental/string_view/element_access/wchar_t/1.cc (working copy) @@ -41,8 +41,9 @@ csz01 = str01.size(); cref cref1 = str01[csz01 - 1]; VERIFY( cref1 == L'a' ); - cref cref2 = str01[csz01]; - VERIFY( cref2 == wchar_t() ); + // Undefined behavior at size(). + //cref cref2 = str01[csz01]; + //VERIFY( cref2 == wchar_t() ); // const_reference at(size_type pos) const; csz01 = str01.size();
Index: include/experimental/string_view =================================================================== --- include/experimental/string_view (revision 207027) +++ include/experimental/string_view (working copy) @@ -259,14 +259,14 @@ copy(_CharT* __str, size_type __n, size_type __pos = 0) const { __glibcxx_requires_string_len(__str, __n); - if (__pos >= this->_M_len) - __throw_out_of_range_fmt(__N("basic_string_view::at: __pos " - "(which is %zu) >= this->size() " + if (__pos > this->_M_len) + __throw_out_of_range_fmt(__N("basic_string_view::copy: __pos " + "(which is %zu) > this->size() " "(which is %zu)"), __pos, this->size()); size_type __rlen{std::min(__n, size_type{this->_M_len - __pos})}; for (auto __begin = this->_M_str + __pos, - __end = this->_M_str + __rlen; __begin != __end;) + __end = __begin + __rlen; __begin != __end;) *__str++ = *__begin++; return __rlen; } Index: testsuite/experimental/string_view/operations/copy/char/1.cc =================================================================== --- testsuite/experimental/string_view/operations/copy/char/1.cc (revision 0) +++ testsuite/experimental/string_view/operations/copy/char/1.cc (working copy) @@ -0,0 +1,50 @@ +// { dg-options "-std=gnu++1y" } + +// Copyright (C) 2013 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// basic_string_view::copy + +#include <experimental/string_view> +#include <stdexcept> +#include <testsuite_hooks.h> + +bool +test01() +{ + bool test [[gnu::unused]] = true; + + typedef std::experimental::string_view::size_type csize_type; + + const char str_lit01[] = "123456789A"; + const std::experimental::string_view str01(str_lit01); + char buffer[4] = { 0 }; + + csize_type len = str01.copy(buffer, sizeof(buffer), 8); + VERIFY( 2 == len ); + VERIFY( '9' == buffer[0] ); + + return test; +} + +int +main() +{ + test01(); + + return 0; +} Index: testsuite/experimental/string_view/operations/copy/wchar_t/1.cc =================================================================== --- testsuite/experimental/string_view/operations/copy/wchar_t/1.cc (revision 0) +++ testsuite/experimental/string_view/operations/copy/wchar_t/1.cc (working copy) @@ -0,0 +1,51 @@ +// { dg-options "-std=gnu++1y" } + +// Copyright (C) 2013 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// basic_string_view::copy + +#include <experimental/string_view> +#include <stdexcept> +#include <testsuite_hooks.h> + +bool +test01() +{ + bool test [[gnu::unused]] = true; + + typedef std::experimental::wstring_view::size_type csize_type; + csize_type csz01; + + const wchar_t str_lit01[] = L"123456789A"; + const std::experimental::wstring_view str01(str_lit01); + wchar_t buffer[4] = { 0 }; + + csize_type len = str01.copy(buffer, sizeof(buffer), 8); + VERIFY( 2 == len ); + VERIFY( L'9' == buffer[0] ); + + return test; +} + +int +main() +{ + test01(); + + return 0; +}