Module reentrancy_events 

Structs

Analyzer 🔒

Exits 🔒

Summarises how a piece of code can exit, with the FlowState reaching each exit kind. None means no path produces that exit; Some(_) means some path does.

FlowState 🔒

Per-path state tracked by the may-analysis.

InlineCallKey 🔒

Statics

REENTRANCY_EVENTS

Functions

is_aborting_call 🔒

Returns true when the expression-statement is a builtin call that always terminates execution: revert() / revert("msg"), selfdestruct(...), require(false, ...), or assert(false).

literal_false 🔒

Returns true if expr is the boolean literal false.

merge_opt 🔒

Type Aliases

Placeholder 🔒