Skip to content

Commit efd2d4c

Browse files
committed
---
yaml --- r: 187888 b: refs/heads/tmp c: 48aeaba h: refs/heads/master v: v3
1 parent b13a029 commit efd2d4c

File tree

3 files changed

+8
-2
lines changed

3 files changed

+8
-2
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,5 +34,5 @@ refs/heads/building: 126db549b038c84269a1e4fe46f051b2c15d6970
3434
refs/heads/beta: 522d09dfecbeca1595f25ac58c6d0178bbd21d7d
3535
refs/heads/windistfix: 7608dbad651f02e837ed05eef3d74a6662a6e928
3636
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
37-
refs/heads/tmp: 39092530a418fe9d361907546e16194d09f89f9a
37+
refs/heads/tmp: 48aeaba9347a25b2e3848e0dcbc1d8f6b0076718
3838
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f

branches/tmp/src/libcollections/vec.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -433,8 +433,10 @@ impl<T> Vec<T> {
433433
#[stable(feature = "rust1", since = "1.0.0")]
434434
pub fn as_mut_slice(&mut self) -> &mut [T] {
435435
unsafe {
436+
let ptr = *self.ptr;
437+
assume(!ptr.is_null());
436438
mem::transmute(RawSlice {
437-
data: *self.ptr,
439+
data: ptr,
438440
len: self.len,
439441
})
440442
}
@@ -458,6 +460,7 @@ impl<T> Vec<T> {
458460
pub fn into_iter(self) -> IntoIter<T> {
459461
unsafe {
460462
let ptr = *self.ptr;
463+
assume(!ptr.is_null());
461464
let cap = self.cap;
462465
let begin = ptr as *const T;
463466
let end = if mem::size_of::<T>() == 0 {

branches/tmp/src/libcore/slice.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ use cmp::{Ordering, PartialEq, PartialOrd, Eq, Ord};
4040
use cmp::Ordering::{Less, Equal, Greater};
4141
use cmp;
4242
use default::Default;
43+
use intrinsics::assume;
4344
use iter::*;
4445
use ops::{FnMut, self, Index};
4546
use ops::RangeFull;
@@ -137,6 +138,7 @@ impl<T> SliceExt for [T] {
137138
fn iter<'a>(&'a self) -> Iter<'a, T> {
138139
unsafe {
139140
let p = self.as_ptr();
141+
assume(!p.is_null());
140142
if mem::size_of::<T>() == 0 {
141143
Iter {ptr: p,
142144
end: (p as usize + self.len()) as *const T,
@@ -276,6 +278,7 @@ impl<T> SliceExt for [T] {
276278
fn iter_mut<'a>(&'a mut self) -> IterMut<'a, T> {
277279
unsafe {
278280
let p = self.as_mut_ptr();
281+
assume(!p.is_null());
279282
if mem::size_of::<T>() == 0 {
280283
IterMut {ptr: p,
281284
end: (p as usize + self.len()) as *mut T,

0 commit comments

Comments
 (0)