Method check_function_def

language/move-binary-format/src/check_bounds.rs:308–344

(
        &mut self,
        function_def_idx: usize,
        function_def: &FunctionDefinition,
    )

    }

    fn check_function_def(
        &mut self,
        function_def_idx: usize,
        function_def: &FunctionDefinition,
    ) -> PartialVMResult<()> {
        self.context = BoundsCheckingContext::ModuleFunction(FunctionDefinitionIndex(
            function_def_idx as TableIndex,
        ));
        check_bounds_impl(self.view.function_handles(), function_def.function)?;
        for ty in &function_def.acquires_global_resources {
            check_bounds_impl_opt(&self.view.struct_defs(), *ty)?;
        }

        let code_unit = match &function_def.code {
            Some(code) => code,
            None => return Ok(()),
        };

        debug_assert!(function_def.function.into_index() < self.view.function_handles().len());
        let function_handle = &self.view.function_handles()[function_def.function.into_index()];

        debug_assert!(function_handle.parameters.into_index() < self.view.signatures().len());
        let parameters = &self.view.signatures()[function_handle.parameters.into_index()];

        // check if the number of parameters + locals is less than u8::MAX
        let locals_count = self.get_locals(code_unit)?.len() + parameters.len();

        if locals_count > (u8::MAX as usize) + 1 {
            return Err(verification_error(
                StatusCode::TOO_MANY_LOCALS,
                IndexKind::FunctionDefinition,
                function_def_idx as TableIndex,
            ));
        }

        self.check_code(code_unit, &function_handle.type_parameters, parameters)
    }

    fn check_code(
        &self,