[Bug libstdc++/80624] char_traits<char16_t>::eof() doesn't meet requirements

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Fri Jun  2 18:35:37 2017
New Revision: 248843

URL: https://gcc.gnu.org/viewcvs?rev=248843&root=gcc&view=rev
Log:
PR libstdc++/80624 satisfy invariant for char_traits<char16_t>::eof()

        PR libstdc++/80624
        * doc/xml/manual/status_cxx2011.xml: Document to_int_type behaviour.
        * include/bits/char_traits.h (char_traits<char16_t>::to_int_type):
        Transform eof value to U+FFFD.
        * testsuite/21_strings/char_traits/requirements/char16_t/eof.cc: New.
        * testsuite/27_io/basic_streambuf/sgetc/char16_t/80624.cc: New.
        * testsuite/27_io/basic_streambuf/sputc/char16_t/80624.cc: New.

Added:
   
trunk/libstdc++-v3/testsuite/21_strings/char_traits/requirements/char16_t/eof.cc
    trunk/libstdc++-v3/testsuite/27_io/basic_streambuf/sgetc/char16_t/
    trunk/libstdc++-v3/testsuite/27_io/basic_streambuf/sgetc/char16_t/80624.cc
    trunk/libstdc++-v3/testsuite/27_io/basic_streambuf/sputc/char16_t/
    trunk/libstdc++-v3/testsuite/27_io/basic_streambuf/sputc/char16_t/80624.cc
Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/doc/xml/manual/status_cxx2011.xml
    trunk/libstdc++-v3/include/bits/char_traits.h