pub fn binop_with_overflow(
        &mut self,
        op: mir::BinOp,
        left: ValTy<'tcx>,
        right: ValTy<'tcx>,
        dest: PlaceTy<'tcx>,
    ) -> EvalResult<'tcx> {
        let (val, overflowed) = self.binary_op(op, left, right)?;
        let val = Value::ScalarPair(val.into(), Scalar::from_bool(overflowed).into());
        self.write_value(val, dest)
    }
/// Applies the binary operation `op` to the two operands and writes a tuple of the result
/// and a boolean signifying the potential overflow to the destination.
Applies the binary operation `op` to the two operands and writes a tuple of the result
and a boolean signifying the potential overflow to the destination.
Applies the binary operation ` op ` to the two operands and writes a tuple of the result and a boolean signifying the potential overflow to the destination .
pub fn binop_with_overflow(
        &mut self,
        op: mir::BinOp,
        left: ValTy<'tcx>,
        right: ValTy<'tcx>,
        dest: PlaceTy<'tcx>,
    ) -> EvalResult<'tcx> {
        let (val, overflowed) = self.binary_op(op, left, right)?;
        let val = Value::ScalarPair(val.into(), Scalar::from_bool(overflowed).into());
        self.write_value(val, dest)
    }
pub fn binop_with_overflow ( & mut self , op : mir :: BinOp , left : ValTy < ' tcx > , right : ValTy < ' tcx > , dest : PlaceTy < ' tcx > , ) -> EvalResult < ' tcx > { let ( val , overflowed ) = self . binary_op ( op , left , right ) ? ; let val = Value :: ScalarPair ( val . into ( ) , Scalar :: from_bool ( overflowed ) . into ( ) ) ; self . write_value ( val , dest ) }
Applies the binary operation `op` to the two operands and writes a tuple of the result
and a boolean signifying the potential overflow to the destination.
Applies the binary operation ` op ` to the two operands and writes a tuple of the result and a boolean signifying the potential overflow to the destination .
&mut self
op
mir::BinOp
left
ValTy<'tcx>
right
ValTy<'tcx>
dest
PlaceTy<'tcx>