diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/vector | 51 |
1 files changed, 26 insertions, 25 deletions
diff --git a/src/include/vector b/src/include/vector index 4827116dc..e34991fd5 100644 --- a/src/include/vector +++ b/src/include/vector @@ -1,25 +1,26 @@ -// IBM_PROLOG_BEGIN_TAG -// This is an automatically generated prolog. -// -// $Source: src/include/vector $ -// -// IBM CONFIDENTIAL -// -// COPYRIGHT International Business Machines Corp. 2011 -// -// p1 -// -// Object Code Only (OCO) source materials -// Licensed Internal Code Source Materials -// IBM HostBoot Licensed Internal Code -// -// The source code for this program is not published or other- -// wise divested of its trade secrets, irrespective of what has -// been deposited with the U.S. Copyright Office. -// -// Origin: 30 -// -// IBM_PROLOG_END +/* IBM_PROLOG_BEGIN_TAG + * This is an automatically generated prolog. + * + * $Source: src/include/vector $ + * + * IBM CONFIDENTIAL + * + * COPYRIGHT International Business Machines Corp. 2011-2012 + * + * p1 + * + * Object Code Only (OCO) source materials + * Licensed Internal Code Source Materials + * IBM HostBoot Licensed Internal Code + * + * The source code for this program is not published or other- + * wise divested of its trade secrets, irrespective of what has + * been deposited with the U.S. Copyright Office. + * + * Origin: 30 + * + * IBM_PROLOG_END_TAG + */ #ifndef stl_vector #define stl_vector @@ -524,7 +525,7 @@ namespace std * @return new location of the element that followed the last * element erased, or end() if the operation erased * the last element in the sequence. - * @pre begin() <= first,last <= end(), first < last. + * @pre begin() <= first,last <= end(), first <= last. * @post All previously obtained iterators are invalid. * @note The element pointed to be last is not deleted. */ @@ -532,8 +533,8 @@ namespace std { assert(last >= first); assert(first >= iv_start); - assert(first < iv_finish); - assert(last > iv_start); + assert(first <= iv_finish); + assert(last >= iv_start); assert(last <= iv_finish); last = copy(last,iv_finish,first); |
