--- stdcxx-4.2.1/include/string 2011-01-07 11:48:23.120751627 -0500

+++ stdcxx-4.2.1/include/string 2011-01-07 11:34:30.231689924 -0500

@@ -874,7 +874,6 @@

pointer _C_data;

};

-

typedef basic_string<char, char_traits<char>, allocator<char> > string;

#ifndef _RWSTD_NO_WCHAR_T

@@ -884,7 +883,6 @@

#endif // _RWSTD_NO_WCHAR_T

-

template <class _CharT, class _Traits , class _Allocator>

#if !defined (__GNUG__) \

@@ -1228,6 +1226,13 @@

append (const_pointer __s, size_type __n)

{

const size_type __size0 = size ();

+

+ _RWSTD_REQUIRES (__n < (max_size() - __size0),

+ (_RWSTD_ERROR_LENGTH_ERROR,

+ _RWSTD_FUNC ("basic_string::append(const_pointer,"

+ " size_type)"),

+ __n, max_size() - __size0));

+

const _RWSTD_SIZE_T __size1 = __size0 + __n;

if ( capacity () <= __size1

@@ -1248,6 +1253,13 @@

append (size_type __n, value_type __c)

{

const size_type __size0 = size ();

+

+ _RWSTD_REQUIRES (__n < (max_size() - __size0),

+ (_RWSTD_ERROR_LENGTH_ERROR,

+ _RWSTD_FUNC ("basic_string::append(size_type,"

+ " value_type)"),

+ __n, max_size() - __size0));

+

const _RWSTD_SIZE_T __size1 = __size0 + __n;

if ( capacity () < __size1