Samuka007/asterinas
1
0
Fork 0
mirror of https://github.com/asterinas/asterinas.git synced 2025-06-08 12:56:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove transmute in Vm{Reader,Writer}

Browse Source
This commit is contained in:
Ruihan Li 2025-04-20 23:14:03 +08:00 committed by Junyang Zhang
parent 2c21b2a3a8
commit e1e5f9f575
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
ostd/src/mm/io.rs
View File

@ -548,10 +548,13 @@ impl<'a> VmReader<'a, Infallible> {
/// Converts to a fallible reader. /// Converts to a fallible reader.
pub fn to_fallible(self) -> VmReader<'a, Fallible> { pub fn to_fallible(self) -> VmReader<'a, Fallible> {
// SAFETY: It is safe to transmute to a fallible reader since // It is safe to construct a fallible reader since an infallible reader covers the
// 1. the fallibility is a zero-sized marker type, // capabilities of a fallible reader.
// 2. an infallible reader covers the capabilities of a fallible reader. VmReader {
unsafe { core::mem::transmute(self) } cursor: self.cursor,
end: self.end,
phantom: PhantomData,
}
} }
} }
@ -799,10 +802,13 @@ impl<'a> VmWriter<'a, Infallible> {
/// Converts to a fallible writer. /// Converts to a fallible writer.
pub fn to_fallible(self) -> VmWriter<'a, Fallible> { pub fn to_fallible(self) -> VmWriter<'a, Fallible> {
// SAFETY: It is safe to transmute to a fallible writer since // It is safe to construct a fallible reader since an infallible reader covers the
// 1. the fallibility is a zero-sized marker type, // capabilities of a fallible reader.
// 2. an infallible reader covers the capabilities of a fallible reader. VmWriter {
unsafe { core::mem::transmute(self) } cursor: self.cursor,
end: self.end,
phantom: PhantomData,
}
} }
} }