diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-06-03 13:52:38 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-06-03 13:52:38 -0700 |
commit | 74bc353d4fedd9fff308aecfae183b6b7525c7d3 (patch) | |
tree | 3169bccb4f878830ec3902b2eff7160bfe4567aa /src | |
parent | eafdf9dc78e858b6d823771a2add8302564d93ef (diff) | |
download | binaryen-74bc353d4fedd9fff308aecfae183b6b7525c7d3.tar.gz binaryen-74bc353d4fedd9fff308aecfae183b6b7525c7d3.tar.bz2 binaryen-74bc353d4fedd9fff308aecfae183b6b7525c7d3.zip |
check function types in s-parsing
Diffstat (limited to 'src')
-rw-r--r-- | src/wasm-s-parser.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/wasm-s-parser.h b/src/wasm-s-parser.h index 9d33504ac..2f1a1bc1b 100644 --- a/src/wasm-s-parser.h +++ b/src/wasm-s-parser.h @@ -1094,7 +1094,8 @@ private: Expression* makeCallIndirect(Element& s) { auto ret = allocator.alloc<CallIndirect>(); IString type = s[1]->str(); - ret->fullType = wasm.getFunctionType(type); + ret->fullType = wasm.checkFunctionType(type); + if (!ret->fullType) throw ParseException("invalid call_indirect type", s.line, s.col); assert(ret->fullType); ret->type = ret->fullType->result; ret->target = parseExpression(s[2]); |