diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-01-14 11:55:12 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-01-14 11:55:12 -0800 |
| commit | b78c9900f8908fbd28689e1c254fa6a443050504 (patch) | |
| tree | 359a4f4d437861681fb1a913f0ab8fdbfc6465a9 /src/wasm-binary.h | |
| parent | aa3b46f7fd0699aa5ae0df5f83eee6e067c0c532 (diff) | |
| download | binaryen-b78c9900f8908fbd28689e1c254fa6a443050504.tar.gz binaryen-b78c9900f8908fbd28689e1c254fa6a443050504.tar.bz2 binaryen-b78c9900f8908fbd28689e1c254fa6a443050504.zip | |
add local assertions
Diffstat (limited to 'src/wasm-binary.h')
| -rw-r--r-- | src/wasm-binary.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index 2fad499fe..571c878c4 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -1321,10 +1321,12 @@ public: void visitGetLocal(GetLocal *curr) { if (debug) std::cerr << "zz node: GetLocal " << pos << std::endl; curr->name = mappedLocals[getLEB128()]; + assert(curr->name.is()); } void visitSetLocal(SetLocal *curr) { if (debug) std::cerr << "zz node: SetLocal" << std::endl; curr->name = mappedLocals[getLEB128()]; + assert(curr->name.is()); readExpression(curr->value); } |