UniswapV3Pool Static Analysis Findings

UVP-01S: Tautological Comparison

Type	Severity	Location
Gas Optimization		UniswapV3Pool.sol:L850

Description:

The referenced if statement will evaluate whether an unsigned integer is less-than-or-equal-to zero.

Example:

Copy
850if (_liquidity <= 0) revert L();

Recommendation:

We advise it to be converted to an equality operator as an unsigned integer cannot be negative (i.e. less-than zero).

Alleviation (3248d1d2fdfa6e1e270ff27db8eefb13dcb55c40):

The referenced tautological comparison was corrected to simply evaluate an equality with 0, addressing this exhibit.