We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
There was an error while loading.Please reload this page.
1 parentdebf88a commit4763eafCopy full SHA for 4763eaf
src/tools/miri/src/shims/x86/mod.rs
@@ -79,9 +79,14 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
79
let a = this.read_immediate(a)?;
80
let b = this.read_immediate(b)?;
81
82
-let(sub, overflow1) = this.binary_op(mir::BinOp::SubWithOverflow,&a,&b)?.to_pair(this);
+let(sub, overflow1) =
83
+ this.binary_op(mir::BinOp::SubWithOverflow,&a,&b)?.to_pair(this);
84
let(sub, overflow2) = this
-.binary_op(mir::BinOp::SubWithOverflow,&sub,&ImmTy::from_uint(b_in, a.layout))?
85
+.binary_op(
86
+ mir::BinOp::SubWithOverflow,
87
+&sub,
88
+&ImmTy::from_uint(b_in, a.layout),
89
+)?
90
.to_pair(this);
91
let b_out = overflow1.to_scalar().to_bool()? | overflow2.to_scalar().to_bool()?;
92
