Omniscia Ultra Yield Audit

RedeemQueue Static Analysis Findings

RedeemQueue Static Analysis Findings

RQE-01S: Inexistent Visibility Specifier

TypeSeverityLocation
Code StyleRedeemQueue.sol:L20

Description:

The linked variable has no visibility specifier explicitly set.

Example:

src/vaults/accounting/RedeemQueue.sol
20uint256 constant UINT128_MAX = type(uint128).max;

Recommendation:

We advise one to be set so to avoid potential compilation discrepancies in the future as the current behaviour is for the compiler to assign one automatically which may deviate between pragma versions.

Alleviation (28f27853965de07fb79f4f2b5fed696d35120032):

The internal visibility specifier has been introduced to the referenced variable, preventing potential compilation discrepancies and addressing this exhibit.