summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlon Zakai (kripken) <alonzakai@gmail.com>2017-05-29 17:01:02 -0700
committerAlon Zakai <alonzakai@gmail.com>2017-06-01 13:17:44 -0700
commit1a5dffbba9c247786ccfe4dd0a510d4e0f156595 (patch)
treec301e4d97e1663b55f65ae887793e1a5c6cee3e7 /src
parenta2822077c5f92a11e02fba2aba83495254027a31 (diff)
downloadbinaryen-1a5dffbba9c247786ccfe4dd0a510d4e0f156595.tar.gz
binaryen-1a5dffbba9c247786ccfe4dd0a510d4e0f156595.tar.bz2
binaryen-1a5dffbba9c247786ccfe4dd0a510d4e0f156595.zip
host op parsing error handling
Diffstat (limited to 'src')
-rw-r--r--src/wasm/wasm-s-parser.cpp9
-rw-r--r--src/wasm/wasm.cpp4
2 files changed, 11 insertions, 2 deletions
diff --git a/src/wasm/wasm-s-parser.cpp b/src/wasm/wasm-s-parser.cpp
index af77d75b6..b2ee2a2f4 100644
--- a/src/wasm/wasm-s-parser.cpp
+++ b/src/wasm/wasm-s-parser.cpp
@@ -955,6 +955,15 @@ Expression* SExpressionWasmBuilder::makeHost(Element& s, HostOp op) {
} else {
parseCallOperands(s, 1, s.size(), ret);
}
+ if (ret->op == HostOp::GrowMemory) {
+ if (ret->operands.size() != 1) {
+ throw ParseException("grow_memory needs one operand");
+ }
+ } else {
+ if (ret->operands.size() != 0) {
+ throw ParseException("host needs zero operands");
+ }
+ }
ret->finalize();
return ret;
}
diff --git a/src/wasm/wasm.cpp b/src/wasm/wasm.cpp
index d2bf4e75c..a879ebd05 100644
--- a/src/wasm/wasm.cpp
+++ b/src/wasm/wasm.cpp
@@ -74,7 +74,7 @@ Name GROW_WASM_MEMORY("__growWasmMemory"),
const char* getExpressionName(Expression* curr) {
switch (curr->_id) {
- case Expression::Id::InvalidId: abort();
+ case Expression::Id::InvalidId: WASM_UNREACHABLE();
case Expression::Id::BlockId: return "block";
case Expression::Id::IfId: return "if";
case Expression::Id::LoopId: return "loop";
@@ -500,7 +500,7 @@ void Host::finalize() {
}
break;
}
- default: abort();
+ default: WASM_UNREACHABLE();
}
}