bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

might_permit_raw_init: also check aggregate fields

Browse source
This commit is contained in:
Ralf Jung 2020-04-18 09:54:05 +02:00
parent e599b53e67
commit 6f881b3b7d
2 changed files with 57 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

23
compiler/rustc_target/src/abi/mod.rs
View file

@ -1135,16 +1135,31 @@ impl<'a, Ty> TyAndLayout<'a, Ty> {
Abi::Scalar(s) => scalar_allows_raw_init(s),
Abi::ScalarPair(s1, s2) => scalar_allows_raw_init(s1) && scalar_allows_raw_init(s2),
Abi::Vector { element: s, count } => *count == 0 || scalar_allows_raw_init(s),
Abi::Aggregate { .. } => true, // Cannot be excluded *right now*.
Abi::Aggregate { .. } => true, // Fields are checked below.
};
if !valid {
// This is definitely not okay.
trace!("might_permit_raw_init({:?}, zero={}): not valid", self.layout, zero);
return Ok(false);
}
// If we have not found an error yet, we need to recursively descend.
// FIXME(#66151): For now, we are conservative and do not do this.
// If we have not found an error yet, we need to recursively descend into fields.
match &self.fields {
FieldsShape::Primitive | FieldsShape::Union { .. } => {}
FieldsShape::Array { .. } => {
// FIXME(#66151): For now, we are conservative and do not check arrays.
}
FieldsShape::Arbitrary { offsets, .. } => {
for idx in 0..offsets.len() {
let field = self.field(cx, idx).to_result()?;
if !field.might_permit_raw_init(cx, zero)? {
// We found a field that is unhappy with this kind of initialization.
return Ok(false);
}
}
}
}
// FIXME(#66151): For now, we are conservative and do not check `self.variants`.
Ok(true)
}
}