Skip to content

Commit 867129d

Browse files
committed
Fix soundness of FromBytes::read_from_io
See google#2319.
1 parent 17e7e4d commit 867129d

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/lib.rs

+2-1
Original file line numberDiff line numberDiff line change
@@ -4546,7 +4546,8 @@ pub unsafe trait FromBytes: FromZeros {
45464546
Self: Sized,
45474547
R: io::Read,
45484548
{
4549-
let mut buf = CoreMaybeUninit::<Self>::zeroed();
4549+
let mut buf = CoreMaybeUninit::<Self>::uninit();
4550+
buf.zero();
45504551
let ptr = Ptr::from_mut(&mut buf);
45514552
// SAFETY: `buf` consists entirely of initialized, zeroed bytes.
45524553
let ptr = unsafe { ptr.assume_validity::<invariant::Initialized>() };

0 commit comments

Comments
 (0)