bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

don't ignore sign for ABI check

Browse source
This commit is contained in:
Ralf Jung 2023-08-31 17:01:47 +02:00
parent 3e66914fc8
commit fd92d956c8
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/miri/tests/pass/function_calls/abi_compat.rs
View file

@ -1,7 +1,5 @@
#![feature(portable_simd)]
use std::mem; use std::mem;
use std::num; use std::num;
use std::simd;
#[derive(Copy, Clone)] #[derive(Copy, Clone)]
struct Zst; struct Zst;
@ -56,8 +54,7 @@ fn test_abi_newtype<T: Copy>(t: T) {
fn main() { fn main() {
// Here we check: // Here we check:
// - unsigned vs signed integer is allowed // - u32 vs char is allowed
// - u32/i32 vs char is allowed
// - u32 vs NonZeroU32/Option<NonZeroU32> is allowed // - u32 vs NonZeroU32/Option<NonZeroU32> is allowed
// - reference vs raw pointer is allowed // - reference vs raw pointer is allowed
// - references to things of the same size and alignment are allowed // - references to things of the same size and alignment are allowed
@ -65,10 +62,7 @@ fn main() {
// these would be stably guaranteed. Code that relies on this is equivalent to code that relies // these would be stably guaranteed. Code that relies on this is equivalent to code that relies
// on the layout of `repr(Rust)` types. They are also fragile: the same mismatches in the fields // on the layout of `repr(Rust)` types. They are also fragile: the same mismatches in the fields
// of a struct (even with `repr(C)`) will not always be accepted by Miri. // of a struct (even with `repr(C)`) will not always be accepted by Miri.
test_abi_compat(0u32, 0i32);
test_abi_compat(simd::u32x8::splat(1), simd::i32x8::splat(1));
test_abi_compat(0u32, 'x'); test_abi_compat(0u32, 'x');
test_abi_compat(0i32, 'x');
test_abi_compat(42u32, num::NonZeroU32::new(1).unwrap()); test_abi_compat(42u32, num::NonZeroU32::new(1).unwrap());
test_abi_compat(0u32, Some(num::NonZeroU32::new(1).unwrap())); test_abi_compat(0u32, Some(num::NonZeroU32::new(1).unwrap()));
test_abi_compat(&0u32, &0u32 as *const u32); test_abi_compat(&0u32, &0u32 as *const u32);