Module tautology 

Re-exports

use super::TypeBasedTautology; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::cast_type; 🔒

use alloy_primitives::U256; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::LitKind; 🔒

use solar::ast::UnOpKind; 🔒

use solar::sema::Gcx; 🔒

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

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

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

use solar::sema::hir::VariableId; 🔒

use solar::sema::ty::TyKind; 🔒

use std::cmp::Ordering; 🔒

Structs

Comparison 🔒

Range 🔒

Statics

TYPE_BASED_TAUTOLOGY

Functions

cmp 🔒

comparison_of 🔒

A comparison of one resolved integer variable (possibly cast) against a constant.

comparison_operand_of 🔒

The variable an operand compares, the casts applied to it and the range its values span.

elem_type_of 🔒

The elementary type selected by the type checker.

integer_bounds 🔒

is_boundary_composition 🔒

True when two comparisons over the same operand together cover its whole range.

is_tautology 🔒

True if x <op> val has the same truth value for every x in range.

lit_value_of 🔒

A numeric literal or negated numeric literal.

split_comparison 🔒

A relational/equality comparison between an operand and a constant, normalized to operand <op> const (the operator is flipped when the constant is on the left).

Type Aliases

Const 🔒

A signed integer constant as (is_negative, magnitude), matching how solar stores negated literals (-128 is Unary(Neg, Lit(128))). Zero is always (false, 0).