OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

accept undef in raw pointers, for consistency with integers

Browse Source
This commit is contained in:
Ralf Jung 2018-11-17 14:05:00 +01:00
parent 261faf3ce2
commit fb8b1e3989
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/librustc_mir/interpret/validity.rs
View File

@ -312,12 +312,16 @@ impl<'rt, 'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>>
} }
} }
ty::RawPtr(..) => { ty::RawPtr(..) => {
// No undef allowed here. Eventually this should be consistent with if self.const_mode {
// the integer types. // Integers/floats in CTFE: For consistency with integers, we do not
let _ptr = try_validation!(value.to_scalar_ptr(), // accept undef.
"undefined address in pointer", self.path); let _ptr = try_validation!(value.to_scalar_ptr(),
let _meta = try_validation!(value.to_meta(), "undefined address in raw pointer", self.path);
"uninitialized data in fat pointer metadata", self.path); let _meta = try_validation!(value.to_meta(),
"uninitialized data in raw fat pointer metadata", self.path);
} else {
// Remain consistent with `usize`: Accept anything.
}
} }
_ if ty.is_box() || ty.is_region_ptr() => { _ if ty.is_box() || ty.is_region_ptr() => {
// Handle fat pointers. // Handle fat pointers.