re PR libstdc++/9168 (codecvt<char, char, mbstate_t> overwrites output buffers)

2003-01-05  Paolo Carlini <pcarlini@unitus.it>

	PR libstdc++/9168
	* src/codecvt.cc
	(codecvt<char, char, mbstate_t>::do_in, do_out):
	Implement the resolution of DR19 (TC).
	* testsuite/22_locale/codecvt_members_char_char.cc
	(test01): Tweak.

From-SVN: r60910

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 963fd9407214e5853b1ca1dbfc64fb8a2128421d..72c44e3afcf56537d95f6ef5b39cc945bf2d2c30 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,12 @@
+2003-01-05  Paolo Carlini <pcarlini@unitus.it>
+
+       PR libstdc++/9168
+       * src/codecvt.cc
+       (codecvt<char, char, mbstate_t>::do_in, do_out):
+       Implement the resolution of DR19 (TC).
+       * testsuite/22_locale/codecvt_members_char_char.cc
+       (test01): Tweak.
+
 2002-12-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
        * testsuite/23_containers/vector_capacity.cc (test03): Move ...

diff --git a/libstdc++-v3/src/codecvt.cc b/libstdc++-v3/src/codecvt.cc
index 1fe6b97bc6d02b01124519cf281457ffe2721176..0ccd10f413c812491e6d4c4f1c0b8e1b1ba608f5 100644 (file)
--- a/libstdc++-v3/src/codecvt.cc
+++ b/libstdc++-v3/src/codecvt.cc
@@ -59,8 +59,9 @@ namespace std
         extern_type* __to, extern_type* __to_end, 
         extern_type*& __to_next) const
   { 
-    size_t __len = min(__from_end - __from, __to_end - __to);
-    memcpy(__to, __from, __len);
+    // _GLIBCPP_RESOLVE_LIB_DEFECTS
+    // According to the resolution of DR19, "If returns noconv [...]
+    // there are no changes to the values in [to, to_limit)."
     __from_next = __from; 
     __to_next = __to;
     return noconv;  
@@ -82,8 +83,9 @@ namespace std
        intern_type* __to, intern_type* __to_end, 
        intern_type*& __to_next) const
   { 
-    size_t __len = min(__from_end - __from, __to_end - __to);
-    memcpy(__to, __from, __len);
+    // _GLIBCPP_RESOLVE_LIB_DEFECTS
+    // According to the resolution of DR19, "If returns noconv [...]
+    // there are no changes to the values in [to, to_limit)."
     __from_next = __from; 
     __to_next = __to;
     return noconv;  

diff --git a/libstdc++-v3/testsuite/22_locale/codecvt_members_char_char.cc b/libstdc++-v3/testsuite/22_locale/codecvt_members_char_char.cc
index 9cf4e7d5c7076420df1e6263f447f35a16ac4143..b2acb675351d98a818643bad682dbb34d0a6dcad 100644 (file)
--- a/libstdc++-v3/testsuite/22_locale/codecvt_members_char_char.cc
+++ b/libstdc++-v3/testsuite/22_locale/codecvt_members_char_char.cc
@@ -36,25 +36,33 @@ void test01()
   const char*          from_next;
   int                  size = 25;
   char*                c_arr = new char[size];
+  char*                 c_ref = new char[size];
   char*                        to_next;
 
   locale               loc;
   c_codecvt::state_type state;
   const c_codecvt*     cvt = &use_facet<c_codecvt>(loc); 
 
+  // According to the resolution of DR19 (see also libstd++/9168), in
+  // case of degenerate conversion ('noconv'), "there are no changes to
+  // the values in [to, to_limit)."
+  memset(c_ref, 'X', size);
+
   // in
+  memset(c_arr, 'X', size);
   result r1 = cvt->in(state, c_lit, c_lit + size, from_next, 
                      c_arr, c_arr + size, to_next);
   VERIFY( r1 == codecvt_base::noconv );
-  VERIFY( !strcmp(c_arr, c_lit) ); 
+  VERIFY( !memcmp(c_arr, c_ref, size) ); 
   VERIFY( from_next == c_lit );
   VERIFY( to_next == c_arr );
 
   // out
+  memset(c_arr, 'X', size);
   result r2 = cvt->out(state, c_lit, c_lit + size, from_next, 
                       c_arr, c_arr + size, to_next);
   VERIFY( r2 == codecvt_base::noconv );
-  VERIFY( !strcmp(c_arr, c_lit) ); 
+  VERIFY( !memcmp(c_arr, c_ref, size) ); 
   VERIFY( from_next == c_lit );
   VERIFY( to_next == c_arr );
 
@@ -77,6 +85,7 @@ void test01()
   VERIFY( k == 1 );
 
   delete [] c_arr;
+  delete [] c_ref;
 }
 
 // libstdc++/5280