#[deny(unsafe_op_in_unsafe_fn)] in libstd/fs.rs

eltonlaw · eltonlaw · commit 7616cd9ee9c2 · 2020-06-30T22:51:28.000-04:00
diff --git a/src/libstd/fs.rs b/src/libstd/fs.rs
@@ -666,7 +666,8 @@ impl Read for File {
 
     #[inline]
     unsafe fn initializer(&self) -> Initializer {
-        Initializer::nop()
+        // SAFETY: Read is guaranteed to work on uninitialized memory
+        unsafe { Initializer::nop() }
     }
 }
 #[stable(feature = "rust1", since = "1.0.0")]
@@ -711,7 +712,8 @@ impl Read for &File {
 
     #[inline]
     unsafe fn initializer(&self) -> Initializer {
-        Initializer::nop()
+        // SAFETY: Read is guaranteed to work on uninitialized memory
+        unsafe { Initializer::nop() }
     }
 }
 #[stable(feature = "rust1", since = "1.0.0")]

Original file line number	Diff line number	Diff line change
`@@ -666,7 +666,8 @@ impl Read for File {`
`666`	`666`
`667`	`667`	`#[inline]`
`668`	`668`	`unsafe fn initializer(&self) -> Initializer {`
`669`		`- Initializer::nop()`
	`669`	`+ // SAFETY: Read is guaranteed to work on uninitialized memory`
	`670`	`+ unsafe { Initializer::nop() }`
`670`	`671`	`}`
`671`	`672`	`}`
`672`	`673`	`#[stable(feature = "rust1", since = "1.0.0")]`
`@@ -711,7 +712,8 @@ impl Read for &File {`
`711`	`712`
`712`	`713`	`#[inline]`
`713`	`714`	`unsafe fn initializer(&self) -> Initializer {`
`714`		`- Initializer::nop()`
	`715`	`+ // SAFETY: Read is guaranteed to work on uninitialized memory`
	`716`	`+ unsafe { Initializer::nop() }`
`715`	`717`	`}`
`716`	`718`	`}`
`717`	`719`	`#[stable(feature = "rust1", since = "1.0.0")]`