Module modifier_outcome 

Control-flow summary of modifier bodies with respect to the _ placeholder.

Re-exports

use super::is_literal_false; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir::Block; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::LoopSource; 🔒

use solar::sema::hir::Stmt; 🔒

use solar::sema::hir::StmtKind; 🔒

Structs

Outcome

Summary of how control flow can leave a statement or block without having executed the placeholder (_) or reverted.

Functions

block_outcome

call_outcome 🔒

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.

stmt_outcome 🔒