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

Validate start_section

Browse Source
This commit is contained in:
Sergey Pepyakin
2017-12-04 17:36:35 +01:00
parent 7ea00b975b
commit 251d4d68db
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/validation/mod.rs
View File

@ -77,6 +77,14 @@ pub fn validate_module(module: &Module) -> Result<ValidatedModule, Error> {
} }
} }
// validate start section
if let Some(start_function) = module.start_section() {
let (params, return_ty) = context.require_function(start_function)?;
if return_ty != BlockType::NoResult || params.len() != 0 {
return Err(Error("start function expected to have type [] -> []".into()));
}
}
let ModuleContext { let ModuleContext {
types, types,
tables, tables,
@ -95,7 +103,6 @@ pub fn validate_module(module: &Module) -> Result<ValidatedModule, Error> {
} }
fn prepare_context(module: &Module) -> Result<ModuleContext, Error> { fn prepare_context(module: &Module) -> Result<ModuleContext, Error> {
// TODO: Validate start
// TODO: Validate imports // TODO: Validate imports
// TODO: Validate exports // TODO: Validate exports