Method bind_value

src/analysis/dfa.rs:572–575

bind the value to this var. Old value is overwrited.

(&mut self, var: VarName, sym: Symbol<T>)

    /// bind the value to this var. Old value is overwrited.
    fn bind_value(&mut self, var: VarName, sym: Symbol<T>) -> Result<()> {
        self.get_current_storage_mut().insert(var, sym);
        Ok(())
    }

    /// bind the value into var with Static-Single-Assignment (SSA) form.
    /// The old var is renamed and the new value stores in the new var.