diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-10-22 05:08:45 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-10-22 05:08:45 +0000 |
| commit | cd8c1234ce50de8add477b47fa04aa44a36fc2e6 (patch) | |
| tree | ab7307e6b0f5b8dadecf3bc3b5f867f32deb92c2 /src | |
| parent | 865acc2e83dba0ac601aab19a41f769126b396a7 (diff) | |
| download | rust-cd8c1234ce50de8add477b47fa04aa44a36fc2e6.tar.gz rust-cd8c1234ce50de8add477b47fa04aa44a36fc2e6.zip | |
fmt
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/intrinsics/simd.rs | 11 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/provenance/ptr_invalid.rs | 1 |
2 files changed, 4 insertions, 8 deletions
diff --git a/src/tools/miri/src/intrinsics/simd.rs b/src/tools/miri/src/intrinsics/simd.rs index 0799b93dbb0..f15b83a054f 100644 --- a/src/tools/miri/src/intrinsics/simd.rs +++ b/src/tools/miri/src/intrinsics/simd.rs @@ -1,7 +1,8 @@ use either::Either; use rustc_apfloat::{Float, Round}; +use rustc_middle::ty::FloatTy; use rustc_middle::ty::layout::LayoutOf; -use rustc_middle::{mir, ty, ty::FloatTy}; +use rustc_middle::{mir, ty}; use rustc_span::{Symbol, sym}; use rustc_target::abi::{Endian, HasDataLayout}; @@ -630,12 +631,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { let (right, right_len) = this.project_to_simd(right)?; let (dest, dest_len) = this.project_to_simd(dest)?; - let index = generic_args[2] - .expect_const() - .try_to_valtree() - .unwrap() - .0 - .unwrap_branch(); + let index = + generic_args[2].expect_const().try_to_valtree().unwrap().0.unwrap_branch(); let index_len = index.len(); assert_eq!(left_len, right_len); diff --git a/src/tools/miri/tests/fail/provenance/ptr_invalid.rs b/src/tools/miri/tests/fail/provenance/ptr_invalid.rs index d4479f32e56..c91f4ec158f 100644 --- a/src/tools/miri/tests/fail/provenance/ptr_invalid.rs +++ b/src/tools/miri/tests/fail/provenance/ptr_invalid.rs @@ -1,4 +1,3 @@ - // Ensure that a `ptr::without_provenance` ptr is truly invalid. fn main() { let x = 42; |
