Skip to content

Commit 73d4330

Browse files
committed
Use raw pointers to avoid aliasing violation in split_at_mut
Fixes #27357
1 parent 1b28ffa commit 73d4330

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

src/libcore/slice.rs

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -288,11 +288,12 @@ impl<T> SliceExt for [T] {
288288

289289
#[inline]
290290
fn split_at_mut(&mut self, mid: usize) -> (&mut [T], &mut [T]) {
291+
let len = self.len();
292+
let ptr = self.as_mut_ptr();
293+
assert!(mid <= len);
291294
unsafe {
292-
let self2: &mut [T] = mem::transmute_copy(&self);
293-
294-
(ops::IndexMut::index_mut(self, ops::RangeTo { end: mid } ),
295-
ops::IndexMut::index_mut(self2, ops::RangeFrom { start: mid } ))
295+
(from_raw_parts_mut(ptr, mid),
296+
from_raw_parts_mut(ptr.offset(mid as isize), len - mid))
296297
}
297298
}
298299

0 commit comments

Comments
 (0)