nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-02-10 05:53:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Unaligned reads are UB in Rust irrelevant on which platform we are

Browse Source
This commit is contained in:
oli 2020-11-01 16:59:00 +00:00
parent e5258e6143
commit 1eb300ede1
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_middle/src/ty/consts/int.rs
View File

@ -133,7 +133,7 @@ impl<CTX> crate::ty::HashStable<CTX> for ScalarInt {
// Using a block `{self.data}` here to force a copy instead of using `self.data`
// directly, because `hash_stable` takes `&self` and would thus borrow `self.data`.
// Since `Self` is a packed struct, that would create a possibly unaligned reference,
// which is UB on a lot of platforms.
// which is UB.
{ self.data }.hash_stable(hcx, hasher);
self.size.hash_stable(hcx, hasher);
}
@ -174,7 +174,7 @@ impl ScalarInt {
// directly, because `assert_eq` takes references to its arguments and formatting
// arguments and would thus borrow `self.data`. Since `Self`
// is a packed struct, that would create a possibly unaligned reference, which
// is UB on a lot of platforms.
// is UB.
debug_assert_eq!(
truncate(self.data, self.size()),
{ self.data },
@ -348,7 +348,7 @@ impl fmt::LowerHex for ScalarInt {
// directly, because `write!` takes references to its formatting arguments and
// would thus borrow `self.data`. Since `Self`
// is a packed struct, that would create a possibly unaligned reference, which
// is UB on a lot of platforms.
// is UB.
write!(f, "{:01$x}", { self.data }, self.size as usize * 2)
}
}
@ -362,7 +362,7 @@ impl fmt::UpperHex for ScalarInt {
// directly, because `write!` takes references to its formatting arguments and
// would thus borrow `self.data`. Since `Self`
// is a packed struct, that would create a possibly unaligned reference, which
// is UB on a lot of platforms.
// is UB.
write!(f, "{:01$X}", { self.data }, self.size as usize * 2)
}
}