File tree Expand file tree Collapse file tree 3 files changed +31
-3
lines changed Expand file tree Collapse file tree 3 files changed +31
-3
lines changed Original file line number Diff line number Diff line change 1- 9334ec93541fd6963a3bfa2d2d09e3e33ac93131
1+ f3284dc3ad9254236d296daa1285dd273b492b01
Original file line number Diff line number Diff line change 66stack backtrace:
77thread 'main' panicked at RUSTLIB/core/src/panicking.rs:LL:CC:
88panic in a destructor during cleanup
9- stack backtrace:
109thread caused non-unwinding panic. aborting.
1110error: abnormal termination: the program aborted execution
1211 --> RUSTLIB/std/src/sys/PLATFORM/mod.rs:LL:CC
@@ -19,7 +18,7 @@ LL | ABORT();
1918 = note: inside closure at RUSTLIB/std/src/panicking.rs:LL:CC
2019 = note: inside `std::sys_common::backtrace::__rust_end_short_backtrace::<[closure@std::panicking::begin_panic_handler::{closure#0}], !>` at RUSTLIB/std/src/sys_common/backtrace.rs:LL:CC
2120 = note: inside `std::panicking::begin_panic_handler` at RUSTLIB/std/src/panicking.rs:LL:CC
22- = note: inside `core::panicking::panic_nounwind ` at RUSTLIB/core/src/panicking.rs:LL:CC
21+ = note: inside `core::panicking::panic_nounwind_nobacktrace ` at RUSTLIB/core/src/panicking.rs:LL:CC
2322 = note: inside `core::panicking::panic_in_cleanup` at RUSTLIB/core/src/panicking.rs:LL:CC
2423note: inside `main`
2524 --> $DIR/double_panic.rs:LL:CC
Original file line number Diff line number Diff line change 1+ use std:: mem;
2+ use std:: num;
3+
4+ fn test_abi_compat < T , U > ( t : T , u : U ) {
5+ fn id < T > ( x : T ) -> T {
6+ x
7+ }
8+
9+ // This checks ABI compatibility both for arguments and return values,
10+ // in both directions.
11+ let f: fn ( T ) -> T = id;
12+ let f: fn ( U ) -> U = unsafe { std:: mem:: transmute ( f) } ;
13+ drop ( f ( u) ) ;
14+
15+ let f: fn ( U ) -> U = id;
16+ let f: fn ( T ) -> T = unsafe { std:: mem:: transmute ( f) } ;
17+ drop ( f ( t) ) ;
18+ }
19+
20+ fn main ( ) {
21+ test_abi_compat ( 0u32 , 'x' ) ;
22+ test_abi_compat ( & 0u32 , & ( [ true ; 4 ] , [ 0u32 ; 0 ] ) ) ;
23+ test_abi_compat ( 0u32 , mem:: MaybeUninit :: new ( 0u32 ) ) ;
24+ test_abi_compat ( 42u32 , num:: NonZeroU32 :: new ( 1 ) . unwrap ( ) ) ;
25+ test_abi_compat ( 0u32 , Some ( num:: NonZeroU32 :: new ( 1 ) . unwrap ( ) ) ) ;
26+ test_abi_compat ( 0u32 , 0i32 ) ;
27+ // Note that `bool` and `u8` are *not* compatible!
28+ // One of them has `arg_ext: Zext`, the other does not.
29+ }
You can’t perform that action at this time.
0 commit comments