From 93647ec3df5147106c225bb945c02f0e0e49e893 Mon Sep 17 00:00:00 2001 From: fro Date: Thu, 21 Sep 2017 12:44:50 +0300 Subject: [PATCH] unnecessary checks for init_expr removed ( http://webassembly.org/docs/modules/#initializer-expression ) --- src/nondeterminism_check.rs | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/src/nondeterminism_check.rs b/src/nondeterminism_check.rs index 411eeda..11e0fd1 100644 --- a/src/nondeterminism_check.rs +++ b/src/nondeterminism_check.rs @@ -87,20 +87,6 @@ pub fn is_deterministic(module: elements::Module) -> bool { } } }, - Section::Global(ref global) => { - for entry in global.entries() { - if have_nondeterministic_opcodes(entry.init_expr().code()) { - return false; - } - } - }, - Section::Element(ref element) => { - for entry in element.entries() { - if have_nondeterministic_opcodes(entry.offset().code()) { - return false; - } - } - } _ => continue } }