Method check_value_def

src/debug_utils/validate_func.rs:159–165

Record the definition of a value and check for duplicate definitions.

(&mut self, value: Value, def: ValueDef)

    /// Record the definition of a value and check for duplicate definitions.
    fn check_value_def(&mut self, value: Value, def: ValueDef) -> Result<()> {
        match self.value_defs[value] {
            Some(_) => bail!("{value} defined multiple times"),
            ref mut opt @ None => *opt = Some(def),
        }
        Ok(())
    }

    /// Check for multiple conflicting uses of a fixed register in a single
    /// constraint scope.