user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Implement panic_if_any_invalid and panic_if_zero_invalid intrinsics

Browse source
This commit is contained in:
Elichai Turkel 2020-03-11 15:39:37 +02:00
parent 881e65c01b
commit e81ebffa59
No known key found for this signature in database
GPG key ID: 9383CDE9E8E66A7F
1 changed files with 26 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/shims/intrinsics.rs
View file

@ -449,7 +449,32 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
let layout = this.layout_of(ty)?;
if layout.abi.is_uninhabited() {
// Return here because we paniced instead of returning normally from the intrinsic.
return this.start_panic(&format!("Attempted to instantiate uninhabited type {}", ty), unwind);
return this.start_panic(&format!("attempted to instantiate uninhabited type {}", ty), unwind);
}
}
"panic_if_zero_invalid" => {
let ty = substs.type_at(0);
let layout = this.layout_of(ty)?;
// Check if it permits zeroed raw initialization
if !layout.might_permit_raw_init(this, /*zero:*/ true).unwrap() {
// Return here because we paniced instead of returning normally from the intrinsic.
return this.start_panic(&format!("attempted to zero-initialize type `{}`, which is invalid", ty), unwind);
}
}
"panic_if_any_invalid" => {
let ty = substs.type_at(0);
let layout = this.layout_of(ty)?;
// rustc handles all these in a single function, but we don't so we need to make sure `mem::uninitialized::<!>()` returns the right error.
// So we check for `is_uninhabited` here too.
if layout.abi.is_uninhabited() {
return this.start_panic(&format!("attempted to instantiate uninhabited type {}", ty), unwind);
}
// Check if it permits any raw initialization
if !layout.might_permit_raw_init(this, /*zero:*/ false).unwrap() {
// Return here because we paniced instead of returning normally from the intrinsic.
return this.start_panic(&format!("attempted to leave type `{}` uninitialized, which is invalid", ty), unwind);
}
}