Skip to main content

Module type_analysis

Module type_analysis 

Source
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ยง

MutationExclusion
MutationExclusionCollector ๐Ÿ”’

Enumsยง

AssignmentDestinationKind ๐Ÿ”’
AssignmentReplacement
ComparisonOperandKind ๐Ÿ”’
ReplacementOperator ๐Ÿ”’

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

Type Aliasesยง

MutationExclusionSet
MutationExclusionsByPath