Submission Details
Severity:
++i/i++ should be unchecked{++i}/unchecked{i++} when it is not possible for them to overflow
Since s_collateralTokens has the same length as tokenAddresses from the constructor and cannot be modified, the second for-loop will run for exactly the same number of iterations as the one in the constructor. The first for-loop would have been revert in the constructor if i ever became greater than or equal to tokenAddresses.length. Therefore, the second for-loop can safely use unchecked { i++; } to increment i. This saves 30-40 gas per loop
File src/DSCEngine.sol: Constructor:
118: for (uint256 i = 0; i < tokenAddresses.length; i++) { //The For-Loop runs until i is greater than tokenAddresses.length
119: s_priceFeeds[tokenAddresses[i]] = priceFeedAddresses[i];
120: s_collateralTokens.push(tokenAddresses[i]); //s_collateralTokens becomes equal to tokenAddresses after this For-Loop
121: }
File src/DSCEngine.sol: getAccountCollateralValue:
353: for (uint256 i = 0; i < s_collateralTokens.length;) { //i becomes just as large as in the constructor, so unchecked can be used
354: address token = s_collateralTokens[i];
355: uint256 amount = s_collateralDeposited[user][token];
356: totalCollateralValueInUsd += getUsdValue(token, amount);
357: unchecked {i++;} //Use unchecked to increase i
358: }
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,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.