nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-06-05 03:38:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add Miri smoke pass test for ptr_metadata intrinsic

Browse Source
This commit is contained in:
Scott McMurray 2024-05-27 14:45:45 -07:00
parent 5a8c1f372a
commit 57948c84ec
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/tools/miri/tests/pass/intrinsics/intrinsics.rs
View File

@ -1,5 +1,5 @@
//@compile-flags: -Zmiri-permissive-provenance //@compile-flags: -Zmiri-permissive-provenance
#![feature(core_intrinsics, layout_for_ptr)] #![feature(core_intrinsics, layout_for_ptr, ptr_metadata)]
//! Tests for various intrinsics that do not fit anywhere else. //! Tests for various intrinsics that do not fit anywhere else.
use std::intrinsics; use std::intrinsics;
@ -57,4 +57,10 @@ fn main() {
// Make sure that even if the discriminant is stored together with data, the intrinsic returns // Make sure that even if the discriminant is stored together with data, the intrinsic returns
// only the discriminant, nothing about the data. // only the discriminant, nothing about the data.
assert_eq!(discriminant(&Some(false)), discriminant(&Some(true))); assert_eq!(discriminant(&Some(false)), discriminant(&Some(true)));
let () = intrinsics::ptr_metadata(&[1, 2, 3]);
let len = intrinsics::ptr_metadata(&[1, 2, 3][..]);
assert_eq!(len, 3);
let dyn_meta = intrinsics::ptr_metadata(&[1, 2, 3] as &dyn std::fmt::Debug);
assert_eq!(dyn_meta.size_of(), 12);
} }