Struct EscapeAnalyzer 

pub struct EscapeAnalyzer {
    pub results: HashMap<String, EscapeAnalysisResult>,
}

Performs escape analysis over a collection of LCNF function declarations.

Fields

results: HashMap<String, EscapeAnalysisResult>

Analysis results keyed by function name.

Implementations

impl EscapeAnalyzer

pub fn new() -> Self

Create a new analyzer.

pub fn analyze(&mut self, decls: &[LcnfFunDecl])

Analyze all declarations and store results.

pub fn analyze_decl(&mut self, decl: &LcnfFunDecl) -> EscapeAnalysisResult

Analyze a single function declaration.

pub fn analyze_expr( &self, expr: &LcnfExpr, result: &mut EscapeAnalysisResult, in_tail: bool, )

Recursively analyze an expression.

in_tail is true when the expression appears in tail position (i.e., its value is directly returned from the function).

pub fn propagate_escapes(&self, result: &mut EscapeAnalysisResult)

Propagate escape information: if an allocation’s variable is found in the escape set with a heap-escaping status, upgrade the allocation site.

Trait Implementations

impl Debug for EscapeAnalyzer

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for EscapeAnalyzer

fn default() -> EscapeAnalyzer

Returns the “default value” for a type.