mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fortify transmute check.

Browse Source
This commit is contained in:
Camille GILLOT 2023-10-12 06:35:54 +00:00
parent fbf0a0c5ff
commit 59235a7907
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_mir_transform/src/gvn.rs
View File

@ -471,10 +471,9 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
// `offset` for immediates only supports scalar/scalar-pair ABIs, // `offset` for immediates only supports scalar/scalar-pair ABIs,
// so bail out if the target is not one. // so bail out if the target is not one.
if value.as_mplace_or_imm().is_right() { if value.as_mplace_or_imm().is_right() {
match to.abi { match (value.layout.abi, to.abi) {
Abi::Scalar(..) | Abi::ScalarPair(..) => {} (Abi::Scalar(..), Abi::Scalar(..)) => {}
_ if to.is_zst() => {} (Abi::ScalarPair(..), Abi::ScalarPair(..)) => {}
Abi::Aggregate { .. } if to.fields.count() == 0 => {}
_ => return None, _ => return None,
} }
} }