Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
The Miri Cronjob Bot committed Jan 23, 2025
1 parent 9387cd9 commit 2591203
Show file tree
Hide file tree
Showing 4 changed files with 2 additions and 4 deletions.
3 changes: 2 additions & 1 deletion src/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,8 @@ use std::sync::atomic::{AtomicI32, Ordering};
use std::sync::{Arc, Once};

use miri::{
BacktraceStyle, BorrowTrackerMethod, MiriConfig, MiriEntryFnType,ProvenanceMode, RetagFields, ValidationMode,
BacktraceStyle, BorrowTrackerMethod, MiriConfig, MiriEntryFnType, ProvenanceMode, RetagFields,
ValidationMode,
};
use rustc_abi::ExternAbi;
use rustc_data_structures::sync;
Expand Down
1 change: 0 additions & 1 deletion tests/fail/intrinsics/cttz_nonzero.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@

#![feature(intrinsics)]

mod rusti {
Expand Down
1 change: 0 additions & 1 deletion tests/fail/intrinsics/float_to_int_32_nanneg.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
#[rustc_intrinsic]
unsafe fn float_to_int_unchecked<Float: Copy, Int: Copy>(_value: Float) -> Int;


fn main() {
unsafe {
float_to_int_unchecked::<f32, u32>(-f32::NAN); //~ ERROR: cannot be represented in target type `u32`
Expand Down
1 change: 0 additions & 1 deletion tests/fail/intrinsics/float_to_int_64_infneg1.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
#[rustc_intrinsic]
unsafe fn float_to_int_unchecked<Float: Copy, Int: Copy>(_value: Float) -> Int;


fn main() {
unsafe {
float_to_int_unchecked::<f64, u128>(f64::NEG_INFINITY); //~ ERROR: cannot be represented in target type `u128`
Expand Down

0 comments on commit 2591203

Please sign in to comment.