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

Fix miri test

Browse Source
This commit is contained in:
Gary Guo 2024-04-20 22:28:02 +01:00
parent f8a1cad07c
commit 8169c4c121
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/tests/pass/portable-simd.rs
View File

@ -1,5 +1,5 @@
//@compile-flags: -Zmiri-strict-provenance //@compile-flags: -Zmiri-strict-provenance
#![feature(portable_simd, adt_const_params, inline_const, core_intrinsics)] #![feature(portable_simd, adt_const_params, core_intrinsics)]
#![allow(incomplete_features, internal_features)] #![allow(incomplete_features, internal_features)]
use std::intrinsics::simd as intrinsics; use std::intrinsics::simd as intrinsics;
use std::ptr; use std::ptr;