diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-08-09 12:09:23 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-09-07 09:54:57 -0700 |
| commit | af7985c92a79f46eb1e10cd2964ad03c581e745e (patch) | |
| tree | 2bb3c638eb69c19c3b63694f02db31ffbf071a05 /src/wasm-validator.h | |
| parent | 0b6faf409ff92f6c4f81b5dd2474f43a4238878c (diff) | |
| download | binaryen-af7985c92a79f46eb1e10cd2964ad03c581e745e.tar.gz binaryen-af7985c92a79f46eb1e10cd2964ad03c581e745e.tar.bz2 binaryen-af7985c92a79f46eb1e10cd2964ad03c581e745e.zip | |
tolerate returning a nop
Diffstat (limited to 'src/wasm-validator.h')
| -rw-r--r-- | src/wasm-validator.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 8e989c94d..afa7b5d9c 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -287,7 +287,6 @@ public: void visitReturn(Return* curr) { if (curr->value) { - shouldBeFalse(curr->value->is<Nop>(), curr, "cannot return a nop"); if (returnType == unreachable) { returnType = curr->value->type; } else if (curr->value->type != unreachable && returnType != curr->value->type) { |