Module incorrect_exp 

Re-exports

use super::IncorrectExp; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use alloy_primitives::U256; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::LitKind; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::ElementaryType; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::Lit; 🔒

use solar::sema::hir::TypeKind; 🔒

Statics

INCORRECT_EXP

Functions

peel_int_casts 🔒

Looks through parentheses and integer casts (uint256(x), int8(x)), returning the innermost operand. A misplaced ^ can hide behind such a cast (uint256(10) ^ 18), which a bare literal check would miss. Non-integer casts (bytes32(x), address(x)) are left alone, since xor of a bytesN bit pattern is a legitimate operation.

plain_decimal_int_lit 🔒

Returns the value of a plain decimal integer literal, looking through parentheses and integer casts (uint256(10)), or None for anything else.