Submission Details
Severity:
## [G-03] Add unchecked {} for subtractions where the operands cannot underflow because of a previous require() or if statement
Summary
[G-03] Add unchecked {} for subtractions where the operands cannot underflow because of a previous require() or if statement
require(a <= b); x = b - a => require(a <= b); unchecked { x = b - a }
if(a <= b); x = b - a => if(a <= b); unchecked { x = b - a }
This will stop the check for overflow and underflow so it will save gas
file: /src/Lender.sol#
201 _updatePoolBalance(poolId, pools[poolId].poolBalance - amount);
https://github.com/Cyfrin/2023-07-beedle/blob/main/src/Lender.sol#L201
Prize pool breakdown
Total prize
20,000 USDC
nSLOC
70628 USDC / LOC
18,000 USDC
2,000 USDC
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.