validate_global_section

wasm::validation::globals

Function validate_global_section 

Source 
pub(super) fn validate_global_section(
    wasm: &mut WasmReader<'_>,
    section_header: SectionHeader,
    imported_global_types: &[GlobalType],
    validation_context_refs: &mut BTreeSet<FuncIdx>,
    c_funcs: &IdxVec<FuncIdx, TypeIdx>,
) -> Result<Vec<Global>, ValidationError>
Expand description

Validate the global section.

The global section is a vector of global variables. Each Global variable is composed of a GlobalType and an initialization expression represented by a constant expression.

See read_constant_expression for more information.