diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-05-24 05:05:00 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-05-24 05:05:00 +0000 |
| commit | 4763eaf0663757b3f7fa963b13bcb7d7a2a70119 (patch) | |
| tree | 8932cb5dbb299c43f5821b70ec6c6f62a2855aec | |
| parent | debf88ae1a02a18373c9736263ac362cb7db298a (diff) | |
| download | rust-4763eaf0663757b3f7fa963b13bcb7d7a2a70119.tar.gz rust-4763eaf0663757b3f7fa963b13bcb7d7a2a70119.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/shims/x86/mod.rs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/tools/miri/src/shims/x86/mod.rs b/src/tools/miri/src/shims/x86/mod.rs index 74c2b0c61af..04ad979cf5d 100644 --- a/src/tools/miri/src/shims/x86/mod.rs +++ b/src/tools/miri/src/shims/x86/mod.rs @@ -79,9 +79,14 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>: let a = this.read_immediate(a)?; let b = this.read_immediate(b)?; - let (sub, overflow1) = this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); + let (sub, overflow1) = + this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); let (sub, overflow2) = this - .binary_op(mir::BinOp::SubWithOverflow, &sub, &ImmTy::from_uint(b_in, a.layout))? + .binary_op( + mir::BinOp::SubWithOverflow, + &sub, + &ImmTy::from_uint(b_in, a.layout), + )? .to_pair(this); let b_out = overflow1.to_scalar().to_bool()? | overflow2.to_scalar().to_bool()?; |