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

Don't allow accidental runtime-checks

Browse Source
This commit is contained in:
Oli Scherer 2022-07-11 14:16:14 +00:00
parent 8440208eb1
commit d935c70afa
1 changed files with 44 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

89
src/test/ui/layout/unsafe-cell-hides-niche.rs
View File

@ -4,6 +4,7 @@
// size in memory as an `Option<UnsafeCell<u32>>` (namely, 8 bytes).
// check-pass
// compile-flags: --crate-type=lib
#![feature(repr_simd)]
@ -23,59 +24,57 @@
// Overwriting the runtime assertion and making it a compile-time assertion
macro_rules! assert_size {
($a:ty, $b:expr) => {{
($a:ty, $b:expr) => {
const _: Size::<{$b}> = Size::<{size_of::<$a>()}>;
}};
};
}
const PTR_SIZE: usize = std::mem::size_of::<*const ()>();
fn main() {
assert_size!(Option<Wrapper<u32>>, 8);
assert_size!(Option<Wrapper<N32>>, 4); // (✓ niche opt)
assert_size!(Option<Transparent<u32>>, 8);
assert_size!(Option<Transparent<N32>>, 4); // (✓ niche opt)
assert_size!(Option<NoNiche<u32>>, 8);
assert_size!(Option<NoNiche<N32>>, 8); // (✗ niche opt)
assert_size!(Option<Wrapper<u32>>, 8);
assert_size!(Option<Wrapper<N32>>, 4); // (✓ niche opt)
assert_size!(Option<Transparent<u32>>, 8);
assert_size!(Option<Transparent<N32>>, 4); // (✓ niche opt)
assert_size!(Option<NoNiche<u32>>, 8);
assert_size!(Option<NoNiche<N32>>, 8); // (✗ niche opt)
assert_size!(Option<UnsafeCell<u32>>, 8);
assert_size!(Option<UnsafeCell<N32>>, 8); // (✗ niche opt)
assert_size!(Option<UnsafeCell<u32>>, 8);
assert_size!(Option<UnsafeCell<N32>>, 8); // (✗ niche opt)
assert_size!( UnsafeCell<&()> , PTR_SIZE);
assert_size!(Option<UnsafeCell<&()>>, PTR_SIZE * 2); // (✗ niche opt)
assert_size!( Cell<&()> , PTR_SIZE);
assert_size!(Option< Cell<&()>>, PTR_SIZE * 2); // (✗ niche opt)
assert_size!( RefCell<&()> , PTR_SIZE * 2);
assert_size!(Option< RefCell<&()>>, PTR_SIZE * 3); // (✗ niche opt)
assert_size!(
RwLock<&()>,
if cfg!(target_pointer_width = "32") { 16 } else { 24 }
);
assert_size!(
Option<RwLock<&()>>,
if cfg!(target_pointer_width = "32") { 20 } else { 32 }
); // (✗ niche opt)
assert_size!(
Mutex<&()> ,
if cfg!(target_pointer_width = "32") { 12 } else { 16 }
);
assert_size!(
Option<Mutex<&()>>,
if cfg!(target_pointer_width = "32") { 16 } else { 24 }
); // (✗ niche opt)
assert_size!( UnsafeCell<&()> , PTR_SIZE);
assert_size!(Option<UnsafeCell<&()>>, PTR_SIZE * 2); // (✗ niche opt)
assert_size!( Cell<&()> , PTR_SIZE);
assert_size!(Option< Cell<&()>>, PTR_SIZE * 2); // (✗ niche opt)
assert_size!( RefCell<&()> , PTR_SIZE * 2);
assert_size!(Option< RefCell<&()>>, PTR_SIZE * 3); // (✗ niche opt)
assert_size!(
RwLock<&()>,
if cfg!(target_pointer_width = "32") { 16 } else { 24 }
);
assert_size!(
Option<RwLock<&()>>,
if cfg!(target_pointer_width = "32") { 20 } else { 32 }
); // (✗ niche opt)
assert_size!(
Mutex<&()> ,
if cfg!(target_pointer_width = "32") { 12 } else { 16 }
);
assert_size!(
Option<Mutex<&()>>,
if cfg!(target_pointer_width = "32") { 16 } else { 24 }
); // (✗ niche opt)
assert_size!( UnsafeCell<&[i32]> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<&[i32]>>, PTR_SIZE * 3); // (✗ niche opt)
assert_size!( UnsafeCell<(&(), &())> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<(&(), &())>>, PTR_SIZE * 3); // (✗ niche opt)
assert_size!( UnsafeCell<&[i32]> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<&[i32]>>, PTR_SIZE * 3); // (✗ niche opt)
assert_size!( UnsafeCell<(&(), &())> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<(&(), &())>>, PTR_SIZE * 3); // (✗ niche opt)
trait Trait {}
assert_size!( UnsafeCell<&dyn Trait> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<&dyn Trait>>, PTR_SIZE * 3); // (✗ niche opt)
trait Trait {}
assert_size!( UnsafeCell<&dyn Trait> , PTR_SIZE * 2);
assert_size!(Option<UnsafeCell<&dyn Trait>>, PTR_SIZE * 3); // (✗ niche opt)
#[repr(simd)]
pub struct Vec4<T>([T; 4]);
#[repr(simd)]
pub struct Vec4<T>([T; 4]);
assert_size!( UnsafeCell<Vec4<N32>> , 16);
assert_size!(Option<UnsafeCell<Vec4<N32>>>, 32); // (✗ niche opt)
}
assert_size!( UnsafeCell<Vec4<N32>> , 16);
assert_size!(Option<UnsafeCell<Vec4<N32>>>, 32); // (✗ niche opt)