Skip to main content

merge_try_clauses

forge_lint::sol::low::missing_events_access_control

Function merge_try_clauses 

Source 
fn merge_try_clauses(
    base: State,
    clause_states: Vec<State>,
    continues: Vec<bool>,
) -> State
Expand description

Joins mutually exclusive try/catch clauses. Pre-existing writes need an event in every clause, including exiting clauses: a return preserves writes, unlike a revert. Taint and aliases only merge from continuing clauses; clause-local emits are discarded.