Skip to main content

call_outcome

forge_lint::sol::low::incorrect_modifier

Function call_outcome 

Source 
fn call_outcome(expr: &Expr<'_>) -> Option<Outcome>
Expand description

Classifies a statement-level call expression that terminates the current path before reaching _, if any. Covers both the Solidity revert/revert(...) builtins and the Yul halting builtins reachable when recursing into an assembly { .. } block.

  • Failing halts (revert, Yul revert/invalid) leave every path either reverting or reaching _, so they are Outcome::COVERED (not flagged).
  • Successful halts (Yul return/stop, selfdestruct) let the surrounding call finish without running the modified function body, which is exactly what this lint flags, so they behave like a return (Outcome::RETURNS).