fluencelabs/parity-wasm
1
0
Fork 0
mirror of https://github.com/fluencelabs/parity-wasm synced 2025-06-12 06:21:40 +00:00
Code Issues Projects Releases Wiki Activity

validate element section

Browse Source
This commit is contained in:
Sergey Pepyakin
2017-12-05 16:51:26 +01:00
parent d30e4052cb
commit b146c21147
1 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/validation/mod.rs
View File

@ -131,7 +131,6 @@ pub fn validate_module(module: &Module) -> Result<ValidatedModule, Error> {
return Err(Error(format!("too many memory regions in index space: {}", context.memories().len()))); return Err(Error(format!("too many memory regions in index space: {}", context.memories().len())));
} }
// use data section to initialize linear memory regions // use data section to initialize linear memory regions
if let Some(data_section) = module.data_section() { if let Some(data_section) = module.data_section() {
for data_segment in data_section.entries() { for data_segment in data_section.entries() {
@ -143,7 +142,21 @@ pub fn validate_module(module: &Module) -> Result<ValidatedModule, Error> {
} }
} }
// TODO: element section // use element section to fill tables
if let Some(element_section) = module.elements_section() {
for element_segment in element_section.entries() {
context.require_table(element_segment.index())?;
let init_ty = element_segment.offset().expr_const_type(context.globals())?;
if init_ty != ValueType::I32 {
return Err(Error(format!("segment offset should return I32")));
}
for function_index in element_segment.members() {
context.require_function(*function_index)?;
}
}
}
let ModuleContext { let ModuleContext {
types, types,