Skip to content

Commit 35c1a86

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 560805a commit 35c1a86

File tree

4 files changed

+2
-4
lines changed

4 files changed

+2
-4
lines changed

src/tools/miri/src/bin/miri.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,8 @@ use std::sync::atomic::{AtomicI32, Ordering};
3333
use std::sync::{Arc, Once};
3434

3535
use miri::{
36-
BacktraceStyle, BorrowTrackerMethod, MiriConfig, MiriEntryFnType,ProvenanceMode, RetagFields, ValidationMode,
36+
BacktraceStyle, BorrowTrackerMethod, MiriConfig, MiriEntryFnType, ProvenanceMode, RetagFields,
37+
ValidationMode,
3738
};
3839
use rustc_abi::ExternAbi;
3940
use rustc_data_structures::sync;

src/tools/miri/tests/fail/intrinsics/cttz_nonzero.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
21
#![feature(intrinsics)]
32

43
mod rusti {

src/tools/miri/tests/fail/intrinsics/float_to_int_32_nanneg.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44
#[rustc_intrinsic]
55
unsafe fn float_to_int_unchecked<Float: Copy, Int: Copy>(_value: Float) -> Int;
66

7-
87
fn main() {
98
unsafe {
109
float_to_int_unchecked::<f32, u32>(-f32::NAN); //~ ERROR: cannot be represented in target type `u32`

src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg1.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44
#[rustc_intrinsic]
55
unsafe fn float_to_int_unchecked<Float: Copy, Int: Copy>(_value: Float) -> Int;
66

7-
87
fn main() {
98
unsafe {
109
float_to_int_unchecked::<f64, u128>(f64::NEG_INFINITY); //~ ERROR: cannot be represented in target type `u128`

0 commit comments

Comments
 (0)