Hard Audit PR 843

DecrementBorrwedCoins.go

func (k Keeper) DecrementBorrowedCoins(ctx sdk.Context, coins sdk.Coins) error {
	borrowedCoins, found := k.GetBorrowedCoins(ctx)
	if !found {
		return sdkerrors.Wrapf(types.ErrBorrowedCoinsNotFound, "cannot repay coins if no coins are currently borrowed")
	}

	updatedBorrowedCoins := sdk.NewCoins()
	for _, coin := range coins {
		// If amount is greater than total borrowed amount due to rounding, set total borrowed amount to 0
		// by skipping the coin such that it's not included in the updatedBorrowedCoins object
		if coin.Amount.GTE(borrowedCoins.AmountOf(coin.Denom)) {
			continue
		}
		updatedBorrowCoin := sdk.NewCoin(coin.Denom, borrowedCoins.AmountOf(coin.Denom).Sub(coin.Amount))
		updatedBorrowedCoins = updatedBorrowedCoins.Add(updatedBorrowCoin)
	}

	k.SetBorrowedCoins(ctx, updatedBorrowedCoins)
	return nil
}