Re: [Patch, libstdc++/64680] Conform the standard regex interface

[Tim Shen]

On Tue, Jan 20, 2015 at 8:05 PM, Tim Shen <tims...@google.com> wrote:
> Certainly.

Removed dg-do compile flag, so that the testcase really works.


-- 
Regards,
Tim Shen

commit fc08df0cbf03ad571414c5551b6eb014c27efe4a
Author: timshen <tims...@google.com>
Date:   Tue Jan 20 00:20:14 2015 -0800

        PR libstdc++/64680
        * include/bits/regex.h (basic_regex<>::basic_regex,
        basic_regex<>::operator=, basic_regex<>::imbue): Conform the
        standard interface.
        * testsuite/28_regex/basic_regex/assign/char/cstring.cc: New testcase.

diff --git a/libstdc++-v3/include/bits/regex.h 
b/libstdc++-v3/include/bits/regex.h
index 6de883a..2b09da6 100644
--- a/libstdc++-v3/include/bits/regex.h
+++ b/libstdc++-v3/include/bits/regex.h
@@ -442,7 +442,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
        */
       explicit
       basic_regex(const _Ch_type* __p, flag_type __f = ECMAScript)
-      : basic_regex(__p, __p + _Rx_traits::length(__p), __f)
+      : basic_regex(__p, __p + char_traits<_Ch_type>::length(__p), __f)
       { }
 
       /**
@@ -553,7 +553,19 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
        */
       basic_regex&
       operator=(const _Ch_type* __p)
-      { return this->assign(__p, flags()); }
+      { return this->assign(__p); }
+
+      /**
+       * @brief Replaces a regular expression with a new one constructed from
+       * an initializer list.
+       *
+       * @param __l  The initializer list.
+       *
+       * @throws regex_error if @p __l is not a valid regular expression.
+       */
+      basic_regex&
+      operator=(initializer_list<_Ch_type> __l)
+      { return this->assign(__l.begin(), __l.end()); }
 
       /**
        * @brief Replaces a regular expression with a new one constructed from
@@ -564,7 +576,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
       template<typename _Ch_traits, typename _Alloc>
        basic_regex&
        operator=(const basic_string<_Ch_type, _Ch_traits, _Alloc>& __s)
-       { return this->assign(__s, flags()); }
+       { return this->assign(__s); }
 
       // [7.8.3] assign
       /**
@@ -644,7 +656,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
               flag_type __flags = ECMAScript)
        {
          return this->assign(basic_regex(__s.data(), __s.data() + __s.size(),
-                                         _M_loc, _M_flags));
+                                         _M_loc, __flags));
        }
 
       /**
@@ -712,7 +724,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
       imbue(locale_type __loc)
       {
        std::swap(__loc, _M_loc);
-       _M_automaton = nullptr;
+       _M_automaton.reset();
        return __loc;
       }
 
diff --git a/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/cstring.cc 
b/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/cstring.cc
index 19528b6..445006b 100644
--- a/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/cstring.cc
+++ b/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/cstring.cc
@@ -1,5 +1,4 @@
-// { dg-do compile }
-// { dg-options "-std=gnu++11" }
+// { dg-options "-std=c++11" }
 
 // 2009-06-05  Stephen M. Webb  <stephen.w...@bregmasoft.ca>
 //
@@ -36,9 +35,19 @@ void test01()
   re.assign(cs);
 }
 
+// basic_regex::operator=() resets flags. libstdc++/64680
+void test02()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::regex re("[[:alnum:]]", std::regex_constants::basic);
+  re = "\\w+";
+}
+
 int
 main()
 { 
   test01();
+  test02();
   return 0;
 }