Skip to content

Commit cd8c123

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 865acc2 commit cd8c123

File tree

2 files changed

+4
-8
lines changed

2 files changed

+4
-8
lines changed

src/tools/miri/src/intrinsics/simd.rs

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
use either::Either;
22
use rustc_apfloat::{Float, Round};
3+
use rustc_middle::ty::FloatTy;
34
use rustc_middle::ty::layout::LayoutOf;
4-
use rustc_middle::{mir, ty, ty::FloatTy};
5+
use rustc_middle::{mir, ty};
56
use rustc_span::{Symbol, sym};
67
use rustc_target::abi::{Endian, HasDataLayout};
78

@@ -630,12 +631,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
630631
let (right, right_len) = this.project_to_simd(right)?;
631632
let (dest, dest_len) = this.project_to_simd(dest)?;
632633

633-
let index = generic_args[2]
634-
.expect_const()
635-
.try_to_valtree()
636-
.unwrap()
637-
.0
638-
.unwrap_branch();
634+
let index =
635+
generic_args[2].expect_const().try_to_valtree().unwrap().0.unwrap_branch();
639636
let index_len = index.len();
640637

641638
assert_eq!(left_len, right_len);

src/tools/miri/tests/fail/provenance/ptr_invalid.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
21
// Ensure that a `ptr::without_provenance` ptr is truly invalid.
32
fn main() {
43
let x = 42;

0 commit comments

Comments
 (0)