Module unwrapped_modifier_logic 

Re-exports

use super::UnwrappedModifierLogic; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::linter::Suggestion; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::block_outcome; 🔒

use crate::sol::analysis::count_placeholders; 🔒

use crate::sol::analysis::for_each_lhs_var; 🔒

use crate::sol::analysis::referenced_item; 🔒

use crate::sol::analysis::write_target; 🔒

use solar::ast::ContractKind; 🔒

use solar::ast::FunctionKind; 🔒

use solar::interface::diagnostics::Applicability; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

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

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

use solar::sema::hir::Function; 🔒

use solar::sema::hir::ItemId; 🔒

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

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

use solar::sema::hir::Visit as _; 🔒

use std::ops::ControlFlow; 🔒

Structs

ExprFinder 🔒

Statics

UNWRAPPED_MODIFIER_LOGIC

Functions

any_expr 🔒

Visits every expression under stmts, stopping as soon as f returns true.

is_plain_call 🔒

A call to a non-builtin function or to a library function: the only statement cheap enough to leave inline.

requires_wrapping 🔒

Whether stmts should move into a helper: anything but a single plain call requires wrapping. Inline assembly is left alone; its authors know how to manage code size and have a reason to use it in a modifier.

snippet 🔒