F-2024-0012·dead-code

Redundant Code in validatePool

Acknowledgedindex-funddefirebalancing
TL;DR

validatePool contains an if/else branch where both arms return the same expression, making the conditional redundant.

Severity
INFO
Impact
LOW
Likelihood
LOW
Method
MManual review
CAT.
Complexity
LOW
Exploitability
LOW
02Section · Description

Description

In WEDXswap::validatePool the code below is redundant:

solidity
if (tokenIn != WNATIVE) {
result = exInfo(j, uniAllowedFees[i], refLiquidity);
} else {
result = exInfo(j, uniAllowedFees[i], refLiquidity);
}
03Section · Recommendation

Recommendation

Consider removing and leave result = exInfo(j, uniAllowedFees[i], refLiquidity);.

F-2024-0012

oog
zealynx

Smart Contract Security Digest

Monthly exploit breakdowns, audit checklists, and DeFi security research — straight to your inbox

© 2026 Zealynx