Method new_ssa_var

src/analysis/dfa.rs:588–600

the ssa_id of old var is increased, the var is used as new var.

(&self, var: &VarName)

    /// the ssa_id of old var is increased, the var is used as new var.
    pub fn new_ssa_var(&self, var: &VarName) -> Result<VarName> {
        let mut ssa_id = 0;
        // loop until find a suitable ssa_id for this var.
        loop {
            let mut old_var = var.clone();
            old_var.ssa = ssa_id;
            if self.get_current_storage().contains_key(&old_var) {
                ssa_id += 1;
            } else {
                return Ok(old_var);
            }
        }
    }

    /// get the bind vaule of this var
    pub fn get_bind(&self, var: &VarName) -> Result<Symbol<T>> {