Skip to main content

infer_reference_model

shape_vm::compiler

Function infer_reference_model 

Source 
pub fn infer_reference_model(
    program: &Program,
) -> (HashMap<String, Vec<bool>>, HashMap<String, Vec<bool>>)
Expand description

Infer effective reference parameters and mutation behavior without compiling bytecode.

Returns (inferred_ref_params, inferred_ref_mutates) keyed by function name.

  • inferred_ref_params[f][i] == true means parameter i of f is inferred/treated as ref.
  • inferred_ref_mutates[f][i] == true means that reference parameter is mutating (&mut).