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;
+}

Reply via email to