Expand description
Type-aware filtering for operator mutations.
This module records replacements that are type-invalid. It deliberately does not filter replacements merely because they return the same value for every input: different operators can still compile to gas-distinct bytecode.
Structsยง
Enumsยง
- Assignment
Destination ๐Kind - Assignment
Replacement - Comparison
Operand ๐Kind - Replacement
Operator ๐
Functionsยง
- analyze_
and_ ๐collect - assignment_
destination_ ๐kind - collect_
from_ ๐gcx - collect_
mutation_ exclusions - comparison_
operand_ ๐kind - is_
non_ ๐storage_ push_ call - is_
type_ ๐invalid_ replacement - is_
unsigned ๐ - normalize_
path