From 5948d8a8260e0c3da4f58f7bd1081add1fd63e58 Mon Sep 17 00:00:00 2001
From: "Tommy M. McGuire" <mcguire@crsr.net>
Date: Fri, 1 Mar 2013 17:06:37 -0600
Subject: [PATCH] Ensure reverse_part does not access outside given vector

---
 src/libcore/vec.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/libcore/vec.rs b/src/libcore/vec.rs
index 764e329a0aa..21d12e9d1a4 100644
--- a/src/libcore/vec.rs
+++ b/src/libcore/vec.rs
@@ -1450,6 +1450,9 @@ pub fn reverse<T>(v: &mut [T]) {
  *
  * Reverse the elements in the vector between `start` and `end - 1`.
  *
+ * If either start or end do not represent valid positions in the vector, the
+ * vector is returned unchanged.
+ *
  * # Arguments
  *
  * * `v` - The mutable vector to be modified
@@ -1469,13 +1472,10 @@ pub fn reverse<T>(v: &mut [T]) {
  * ~~~
  *
  * `v` now contains `[1,4,3,2,5]`.
- *
- * # Safety note
- *
- * Behavior is undefined if `start` or `end` do not represent valid
- * positions in `v`.
  */
 pub fn reverse_part<T>(v: &mut [T], start: uint, end : uint) {
+    let sz = v.len();
+    if start >= sz || end > sz { return; }
     let mut i = start;
     let mut j = end - 1;
     while i < j {