@@ -79,9 +79,14 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
|
79 | 79 | let a = this.read_immediate(a)?; |
80 | 80 | let b = this.read_immediate(b)?; |
81 | 81 | |
82 | | -let (sub, overflow1) = this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); |
| 82 | +let (sub, overflow1) = |
| 83 | + this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); |
83 | 84 | let (sub, overflow2) = this |
84 | | -.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 | +)? |
85 | 90 | .to_pair(this); |
86 | 91 | let b_out = overflow1.to_scalar().to_bool()? | overflow2.to_scalar().to_bool()?; |
87 | 92 | |
|