diff --git a/tests/compile-fail/invalid_zero_init.rs b/tests/compile-fail/invalid_zero_init.rs new file mode 100644 index 0000000000..78c2b0fbee --- /dev/null +++ b/tests/compile-fail/invalid_zero_init.rs @@ -0,0 +1,6 @@ + // error-pattern: the evaluated program aborted execution: attempted to zero-initialize type `fn()`, which is invalid + +#[allow(deprecated, invalid_value)] +fn main() { + unsafe { std::mem::zeroed::() }; +} diff --git a/tests/compile-fail/uninit_uninhabited_type.rs b/tests/compile-fail/uninit_uninhabited_type.rs new file mode 100644 index 0000000000..b904883078 --- /dev/null +++ b/tests/compile-fail/uninit_uninhabited_type.rs @@ -0,0 +1,7 @@ + // error-pattern: the evaluated program aborted execution: attempted to instantiate uninhabited type `!` +#![feature(never_type)] + +#[allow(deprecated, invalid_value)] +fn main() { + unsafe { std::mem::uninitialized::() }; +} diff --git a/tests/run-pass/panic/catch_panic.rs b/tests/run-pass/panic/catch_panic.rs index cc97ba5a85..6408c940d9 100644 --- a/tests/run-pass/panic/catch_panic.rs +++ b/tests/run-pass/panic/catch_panic.rs @@ -67,43 +67,6 @@ fn main() { |_old_val| { let _val = 1/0; loop {} }, ); - // libcore panics from shims. - #[allow(deprecated, invalid_value)] - { - test( - Some("attempted to instantiate uninhabited type `!`"), - |_old_val| unsafe { std::mem::uninitialized::() }, - ); - test( - Some("attempted to instantiate uninhabited type `!`"), - |_old_val| unsafe { std::mem::zeroed::() }, - ); - test( - Some("attempted to leave type `fn()` uninitialized, which is invalid"), - |_old_val| unsafe { std::mem::uninitialized::(); loop {} }, - ); - test( - Some("attempted to zero-initialize type `fn()`, which is invalid"), - |_old_val| unsafe { std::mem::zeroed::(); loop {} }, - ); - test( - Some("attempted to leave type `*const dyn std::marker::Sync` uninitialized, which is invalid"), - |_old_val| unsafe { std::mem::uninitialized::<*const dyn Sync>(); loop {} }, - ); - test( - Some("attempted to zero-initialize type `*mut dyn std::marker::Sync`, which is invalid"), - |_old_val| unsafe { std::mem::zeroed::<*mut dyn Sync>(); loop {} }, - ); - test( - Some("attempted to leave type `&u8` uninitialized, which is invalid"), - |_old_val| unsafe { std::mem::uninitialized::<&u8>(); loop {} }, - ); - test( - Some("attempted to zero-initialize type `&u8`, which is invalid"), - |_old_val| unsafe { std::mem::zeroed::<&u8>(); loop {} }, - ); - } - test( Some("align_offset: align is not a power-of-two"), |_old_val| { (0usize as *const u8).align_offset(3); loop {} }, diff --git a/tests/run-pass/panic/catch_panic.stderr b/tests/run-pass/panic/catch_panic.stderr index 8d97fd6321..6da9cd2996 100644 --- a/tests/run-pass/panic/catch_panic.stderr +++ b/tests/run-pass/panic/catch_panic.stderr @@ -16,27 +16,11 @@ thread 'main' panicked at 'index out of bounds: the len is 3 but the index is 4' Caught panic message (String): index out of bounds: the len is 3 but the index is 4 thread 'main' panicked at 'attempt to divide by zero', $DIR/catch_panic.rs:67:33 Caught panic message (String): attempt to divide by zero -thread 'main' panicked at 'attempted to instantiate uninhabited type `!`', $LOC -Caught panic message (String): attempted to instantiate uninhabited type `!` -thread 'main' panicked at 'attempted to instantiate uninhabited type `!`', $LOC -Caught panic message (String): attempted to instantiate uninhabited type `!` -thread 'main' panicked at 'attempted to leave type `fn()` uninitialized, which is invalid', $LOC -Caught panic message (String): attempted to leave type `fn()` uninitialized, which is invalid -thread 'main' panicked at 'attempted to zero-initialize type `fn()`, which is invalid', $LOC -Caught panic message (String): attempted to zero-initialize type `fn()`, which is invalid -thread 'main' panicked at 'attempted to leave type `*const dyn std::marker::Sync` uninitialized, which is invalid', $LOC -Caught panic message (String): attempted to leave type `*const dyn std::marker::Sync` uninitialized, which is invalid -thread 'main' panicked at 'attempted to zero-initialize type `*mut dyn std::marker::Sync`, which is invalid', $LOC -Caught panic message (String): attempted to zero-initialize type `*mut dyn std::marker::Sync`, which is invalid -thread 'main' panicked at 'attempted to leave type `&u8` uninitialized, which is invalid', $LOC -Caught panic message (String): attempted to leave type `&u8` uninitialized, which is invalid -thread 'main' panicked at 'attempted to zero-initialize type `&u8`, which is invalid', $LOC -Caught panic message (String): attempted to zero-initialize type `&u8`, which is invalid thread 'main' panicked at 'align_offset: align is not a power-of-two', $LOC Caught panic message (String): align_offset: align is not a power-of-two -thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:113:29 +thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:76:29 Caught panic message (&str): assertion failed: false -thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:114:29 +thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:77:29 Caught panic message (&str): assertion failed: false thread 'main' panicked at 'attempt to copy from unaligned or null pointer', $LOC Caught panic message (String): attempt to copy from unaligned or null pointer