diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2015-11-05 13:15:15 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-05 13:15:15 -0800 |
| commit | 126c556960bf550fdbab9e34ca5b666657c03a7e (patch) | |
| tree | 1bbfde532afe12d68b10b9b46bb5a9e83903114f /src/wasm-shell.cpp | |
| parent | a3df15c2c6e7cfad29ce41603f954573f0726659 (diff) | |
| download | binaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.tar.gz binaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.tar.bz2 binaryen-126c556960bf550fdbab9e34ca5b666657c03a7e.zip | |
add a validation checker to Module
Diffstat (limited to 'src/wasm-shell.cpp')
| -rw-r--r-- | src/wasm-shell.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp index fd6adcfaf..1ebb0feeb 100644 --- a/src/wasm-shell.cpp +++ b/src/wasm-shell.cpp @@ -175,6 +175,10 @@ int main(int argc, char **argv) { longjmp(trapState, 1); }); } + if (!invalid) { + // maybe parsed ok, but otherwise incorrect + invalid = !wasm.validate(); + } assert(invalid); } else { // an invoke test |