Skip to content

Commit dd0c5a4

Browse files
committed
rc,sync: Do not create references to uninitialized values
1 parent 8d76d07 commit dd0c5a4

File tree

2 files changed

+20
-16
lines changed

2 files changed

+20
-16
lines changed

library/alloc/src/rc.rs

+12-8
Original file line numberDiff line numberDiff line change
@@ -1885,10 +1885,10 @@ impl<T: ?Sized> Rc<T> {
18851885
// Initialize the RcBox
18861886
let inner = mem_to_rcbox(ptr.as_non_null_ptr().as_ptr());
18871887
unsafe {
1888-
debug_assert_eq!(Layout::for_value(&*inner), layout);
1888+
debug_assert_eq!(Layout::for_value_raw(inner), layout);
18891889

1890-
ptr::write(&mut (*inner).strong, Cell::new(1));
1891-
ptr::write(&mut (*inner).weak, Cell::new(1));
1890+
ptr::addr_of_mut!((*inner).strong).write(Cell::new(1));
1891+
ptr::addr_of_mut!((*inner).weak).write(Cell::new(1));
18921892
}
18931893

18941894
Ok(inner)
@@ -1918,7 +1918,7 @@ impl<T: ?Sized, A: Allocator> Rc<T, A> {
19181918
// Copy value as bytes
19191919
ptr::copy_nonoverlapping(
19201920
&*src as *const T as *const u8,
1921-
&mut (*ptr).value as *mut _ as *mut u8,
1921+
ptr::addr_of_mut!((*ptr).value) as *mut u8,
19221922
value_size,
19231923
);
19241924

@@ -1952,7 +1952,11 @@ impl<T> Rc<[T]> {
19521952
unsafe fn copy_from_slice(v: &[T]) -> Rc<[T]> {
19531953
unsafe {
19541954
let ptr = Self::allocate_for_slice(v.len());
1955-
ptr::copy_nonoverlapping(v.as_ptr(), &mut (*ptr).value as *mut [T] as *mut T, v.len());
1955+
ptr::copy_nonoverlapping(
1956+
v.as_ptr(),
1957+
ptr::addr_of_mut!((*ptr).value) as *mut T,
1958+
v.len(),
1959+
);
19561960
Self::from_ptr(ptr)
19571961
}
19581962
}
@@ -1987,10 +1991,10 @@ impl<T> Rc<[T]> {
19871991
let ptr = Self::allocate_for_slice(len);
19881992

19891993
let mem = ptr as *mut _ as *mut u8;
1990-
let layout = Layout::for_value(&*ptr);
1994+
let layout = Layout::for_value_raw(ptr);
19911995

19921996
// Pointer to first element
1993-
let elems = &mut (*ptr).value as *mut [T] as *mut T;
1997+
let elems = ptr::addr_of_mut!((*ptr).value) as *mut T;
19941998

19951999
let mut guard = Guard { mem: NonNull::new_unchecked(mem), elems, layout, n_elems: 0 };
19962000

@@ -2524,7 +2528,7 @@ impl<T, A: Allocator> From<Vec<T, A>> for Rc<[T], A> {
25242528
let (vec_ptr, len, cap, alloc) = v.into_raw_parts_with_alloc();
25252529

25262530
let rc_ptr = Self::allocate_for_slice_in(len, &alloc);
2527-
ptr::copy_nonoverlapping(vec_ptr, &mut (*rc_ptr).value as *mut [T] as *mut T, len);
2531+
ptr::copy_nonoverlapping(vec_ptr, ptr::addr_of_mut!((*rc_ptr).value) as *mut T, len);
25282532

25292533
// Create a `Vec<T, &A>` with length 0, to deallocate the buffer
25302534
// without dropping its contents or the allocator

library/alloc/src/sync.rs

+8-8
Original file line numberDiff line numberDiff line change
@@ -1828,11 +1828,11 @@ impl<T: ?Sized> Arc<T> {
18281828
mem_to_arcinner: impl FnOnce(*mut u8) -> *mut ArcInner<T>,
18291829
) -> *mut ArcInner<T> {
18301830
let inner = mem_to_arcinner(ptr.as_non_null_ptr().as_ptr());
1831-
debug_assert_eq!(unsafe { Layout::for_value(&*inner) }, layout);
1831+
debug_assert_eq!(unsafe { Layout::for_value_raw(inner) }, layout);
18321832

18331833
unsafe {
1834-
ptr::write(&mut (*inner).strong, atomic::AtomicUsize::new(1));
1835-
ptr::write(&mut (*inner).weak, atomic::AtomicUsize::new(1));
1834+
ptr::addr_of_mut!((*inner).strong).write(atomic::AtomicUsize::new(1));
1835+
ptr::addr_of_mut!((*inner).weak).write(atomic::AtomicUsize::new(1));
18361836
}
18371837

18381838
inner
@@ -1863,7 +1863,7 @@ impl<T: ?Sized, A: Allocator> Arc<T, A> {
18631863
// Copy value as bytes
18641864
ptr::copy_nonoverlapping(
18651865
&*src as *const T as *const u8,
1866-
&mut (*ptr).data as *mut _ as *mut u8,
1866+
ptr::addr_of_mut!((*ptr).data) as *mut u8,
18671867
value_size,
18681868
);
18691869

@@ -1898,7 +1898,7 @@ impl<T> Arc<[T]> {
18981898
unsafe {
18991899
let ptr = Self::allocate_for_slice(v.len());
19001900

1901-
ptr::copy_nonoverlapping(v.as_ptr(), &mut (*ptr).data as *mut [T] as *mut T, v.len());
1901+
ptr::copy_nonoverlapping(v.as_ptr(), ptr::addr_of_mut!((*ptr).data) as *mut T, v.len());
19021902

19031903
Self::from_ptr(ptr)
19041904
}
@@ -1934,10 +1934,10 @@ impl<T> Arc<[T]> {
19341934
let ptr = Self::allocate_for_slice(len);
19351935

19361936
let mem = ptr as *mut _ as *mut u8;
1937-
let layout = Layout::for_value(&*ptr);
1937+
let layout = Layout::for_value_raw(ptr);
19381938

19391939
// Pointer to first element
1940-
let elems = &mut (*ptr).data as *mut [T] as *mut T;
1940+
let elems = ptr::addr_of_mut!((*ptr).data) as *mut T;
19411941

19421942
let mut guard = Guard { mem: NonNull::new_unchecked(mem), elems, layout, n_elems: 0 };
19431943

@@ -3383,7 +3383,7 @@ impl<T, A: Allocator + Clone> From<Vec<T, A>> for Arc<[T], A> {
33833383
let (vec_ptr, len, cap, alloc) = v.into_raw_parts_with_alloc();
33843384

33853385
let rc_ptr = Self::allocate_for_slice_in(len, &alloc);
3386-
ptr::copy_nonoverlapping(vec_ptr, &mut (*rc_ptr).data as *mut [T] as *mut T, len);
3386+
ptr::copy_nonoverlapping(vec_ptr, ptr::addr_of_mut!((*rc_ptr).data) as *mut T, len);
33873387

33883388
// Create a `Vec<T, &A>` with length 0, to deallocate the buffer
33893389
// without dropping its contents or the allocator

0 commit comments

Comments
 (0)