Method check_inst_range

src/debug_utils/validate_func.rs:131–136

Checks a range of instructions.

(&mut self, range: InstRange)

    /// Checks a range of instructions.
    fn check_inst_range(&mut self, range: InstRange) -> Result<()> {
        self.check_entity(Entity::Inst(range.from))?;
        self.check_entity(Entity::Inst(range.last()))?;
        ensure!(range.to >= range.from, "{range}: Invalid instruction range");
        Ok(())
    }

    /// Check the limits on the number of entities.
    fn check_limits(&self) -> Result<()> {