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

fix test on i686

Browse Source
This commit is contained in:
Ralf Jung 2017-07-03 16:16:05 -07:00
parent 030166757c
commit bdcdb605a4
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/compile-fail/transmute-pair-undef.rs
View File

@ -1,17 +1,20 @@
#![feature(core_intrinsics)] #![feature(core_intrinsics)]
use std::mem;
fn main() { fn main() {
let x: Option<Box<[u8]>> = unsafe { let x: Option<Box<[u8]>> = unsafe {
let z = std::intrinsics::add_with_overflow(0usize, 0usize); let z = std::intrinsics::add_with_overflow(0usize, 0usize);
std::mem::transmute::<(usize, bool), Option<Box<[u8]>>>(z) std::mem::transmute::<(usize, bool), Option<Box<[u8]>>>(z)
}; };
let y = &x; let y = &x;
// Now read this bytewise. There should be 9 def bytes followed by 7 undef bytes (the padding after the bool) in there. // Now read this bytewise. There should be (ptr_size+1) def bytes followed by (ptr_size-1) undef bytes (the padding after the bool) in there.
let z : *const u8 = y as *const _ as *const _; let z : *const u8 = y as *const _ as *const _;
for i in 0..9 { let first_undef = mem::size_of::<usize>() as isize + 1;
for i in 0..first_undef {
let byte = unsafe { *z.offset(i) }; let byte = unsafe { *z.offset(i) };
assert_eq!(byte, 0); assert_eq!(byte, 0);
} }
let v = unsafe { *z.offset(9) }; let v = unsafe { *z.offset(first_undef) };
if v == 0 {} //~ ERROR attempted to read undefined bytes if v == 0 {} //~ ERROR attempted to read undefined bytes
} }