Instadapp/aave-protocol-v2
1
0
Fork 0
mirror of https://github.com/Instadapp/aave-protocol-v2.git synced 2024-07-29 21:47:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: allowed people to withdraw colleteral that exceeded the exposure cap if their ltv still superior to their liq threshold

Browse Source
This commit is contained in:
Hadrien Charlanes 2021-06-03 18:14:49 +02:00
parent 485a41a0ef
commit 7a80d5cd14
2 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
contracts/protocol/libraries/logic/GenericLogic.sol
View File

@ -100,6 +100,7 @@ library GenericLogic {
(vars.ltv, vars.liquidationThreshold, , vars.decimals, ) = currentReserve
.configuration
.getParams();
vars.exposureCap = currentReserve.configuration.getExposureCap();
vars.assetUnit = 10**vars.decimals;
vars.assetPrice = IPriceOracleGetter(oracle).getAssetPrice(vars.currentReserveAddress);
@ -114,7 +115,6 @@ library GenericLogic {
vars.userBalanceETH = vars.assetPrice.mul(vars.userBalance).div(vars.assetUnit);
vars.totalCollateralInETH = vars.totalCollateralInETH.add(vars.userBalanceETH);
vars.exposureCap = currentReserve.configuration.getExposureCap();
vars.exposureCapped =
vars.exposureCap != 0 &&
IERC20(currentReserve.aTokenAddress).totalSupply().div(10**vars.decimals) >

13
contracts/protocol/libraries/logic/ValidationLogic.sol
View File

@ -456,7 +456,7 @@ library ValidationLogic {
address oracle
) internal view {
DataTypes.ReserveData memory reserve = reservesData[collateral];
(, , uint256 ltv, , uint256 healthFactor) =
(, , uint256 ltv, uint256 liquidationThreshold, uint256 healthFactor) =
GenericLogic.calculateUserAccountData(
from,
reservesData,
@ -475,8 +475,17 @@ library ValidationLogic {
Errors.VL_HEALTH_FACTOR_LOWER_THAN_LIQUIDATION_THRESHOLD
);
// exposureCap == 0 means no cap => can withdraw
// ltv > liquidationThreshold means that there is enough collateral margin => can withdraw
// ltv == 0 means all current collaterals have exceeded the exposure cap => can withdraw
// last means that for this asset the cap is not yet exceeded => can withdraw
// else this means the user is trying to withdraw a collateral that has exceeded the exposure cap, and that it
// as other collaterals available to withdraw: he must withdraw from other collateral reserves first
require(
exposureCap == 0 || ltv == 0 || totalSupplyAtoken.div(10**reserveDecimals) < exposureCap,
exposureCap == 0 ||
ltv > liquidationThreshold ||
ltv == 0 ||
totalSupplyAtoken.div(10**reserveDecimals) < exposureCap,
Errors.VL_COLLATERAL_EXPOSURE_CAP_EXCEEDED
);
}