[Bug libstdc++/64585] New: The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[Bug libstdc++/64585] New: The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[kariya_mitsuru at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64585

            Bug ID: 64585
           Summary: The basic_regex object should not match any character
                    sequence after a call to basic_regex::imbue
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kariya_mitsuru at hotmail dot com

Created attachment 34437
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34437&action=edit
g++ -v

Please see the following sample.

=============================== sample code ===============================
#include <iostream>
#include <regex>

int main()
{
    static const char s[] = "";
    std::regex re("");
    std::cout << std::boolalpha << std::regex_search(s, re) << std::endl;

    auto loc = re.imbue(re.getloc());
    std::cout << std::boolalpha << std::regex_search(s, re) << std::endl;
}
===========================================================================

================================= output ==================================
true
true
===========================================================================

cf. http://melpon.org/wandbox/permlink/0wKMiCY8uNEhOecE


The C++11 standard 28.8.5[re.regex.locale]/p.1 says, "After a call to imbue the
basic_regex object does not match any character sequence."

So I think that the output should be

================================= output ==================================
true
false
===========================================================================

[Bug libstdc++/64585] The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[timshen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64585

--- Comment #1 from Tim Shen <timshen at gcc dot gnu.org> ---
Author: timshen
Date: Mon Jan 19 22:56:04 2015
New Revision: 219865

URL: https://gcc.gnu.org/viewcvs?rev=219865&root=gcc&view=rev
Log:
    PR libstdc++/64584
    PR libstdc++/64585
    * include/bits/regex.h (basic_regex<>::basic_regex,
    basic_regex<>::assign, basic_regex<>::imbue,
    basic_regex<>::swap, basic_regex<>::mark_count): Drop NFA after
    imbuing basic_regex; Make assign() transactional against exception.
    * include/bits/regex_compiler.h (__compile_nfa<>): Add back
    __compile_nfa SFINAE.
    * include/std/regex: Adjust include order to avoid __compile_nfa
    forward declaration.
    * testsuite/28_regex/basic_regex/assign/char/string.cc: New testcase.
    * testsuite/28_regex/basic_regex/imbue/string.cc: New testcase.

Added:
    trunk/libstdc++-v3/testsuite/28_regex/basic_regex/imbue/
    trunk/libstdc++-v3/testsuite/28_regex/basic_regex/imbue/string.cc
Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/bits/regex.h
    trunk/libstdc++-v3/include/bits/regex_compiler.h
    trunk/libstdc++-v3/include/std/regex
    trunk/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/string.cc

[Bug libstdc++/64585] The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[timshen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64585

--- Comment #2 from Tim Shen <timshen at gcc dot gnu.org> ---
Author: timshen
Date: Mon Jan 19 23:09:07 2015
New Revision: 219868

URL: https://gcc.gnu.org/viewcvs?rev=219868&root=gcc&view=rev
Log:
    PR libstdc++/64584
    PR libstdc++/64585
    * include/bits/regex.h (basic_regex<>::basic_regex,
    basic_regex<>::assign, basic_regex<>::imbue,
    basic_regex<>::swap, basic_regex<>::mark_count): Drop NFA after
    imbuing basic_regex; Make assign() transactional against exception.
    * testsuite/28_regex/basic_regex/assign/char/string.cc: New testcase.
    * testsuite/28_regex/basic_regex/imbue/string.cc: New testcase.

Added:
    branches/gcc-4_9-branch/libstdc++-v3/testsuite/28_regex/basic_regex/imbue/
   
branches/gcc-4_9-branch/libstdc++-v3/testsuite/28_regex/basic_regex/imbue/string.cc
Modified:
    branches/gcc-4_9-branch/libstdc++-v3/ChangeLog
    branches/gcc-4_9-branch/libstdc++-v3/include/bits/regex.h
   
branches/gcc-4_9-branch/libstdc++-v3/testsuite/28_regex/basic_regex/assign/char/string.cc

[Bug libstdc++/64585] The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[timshen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64585

Tim Shen <timshen at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |timshen at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #3 from Tim Shen <timshen at gcc dot gnu.org> ---
Resolved.

[Bug libstdc++/64585] The basic_regex object should not match any character sequence after a call to basic_regex::imbue

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64585

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.3