summaryrefslogtreecommitdiff
path: root/src/wasm-validator.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/wasm-validator.h')
-rw-r--r--src/wasm-validator.h7
1 files changed, 1 insertions, 6 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h
index 3616313d3..3c580ce51 100644
--- a/src/wasm-validator.h
+++ b/src/wasm-validator.h
@@ -303,12 +303,7 @@ public:
}
void visitDrop(Drop* curr) {
- // TODO: assert on this, when tests pass
- if (getenv("BINARYEN_WARN_DROP")) {
- if (!(isConcreteWasmType(curr->value->type) || curr->value->type == unreachable)) {
- std::cerr << "warning: bad drop " << curr << " in " << (getFunction() ? getFunction()->name : Name("?")) << '\n';
- }
- }
+ shouldBeTrue(isConcreteWasmType(curr->value->type) || curr->value->type == unreachable, curr, "can only drop a valid value");
}
void visitReturn(Return* curr) {