summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Smith <binji@chromium.org>2015-11-23 12:16:28 -0800
committerBen Smith <binji@chromium.org>2015-12-03 17:08:03 -0800
commit4a7cd6deb3c3b9213ac5eef70c1ea10f1f826fc0 (patch)
tree34f2823b4d429e5de3bb9b04a9001d2dd063b032
parent8d1c826e94c0c0b80cad12b84f1b4a868c5f954a (diff)
downloadwabt-4a7cd6deb3c3b9213ac5eef70c1ea10f1f826fc0.tar.gz
wabt-4a7cd6deb3c3b9213ac5eef70c1ea10f1f826fc0.tar.bz2
wabt-4a7cd6deb3c3b9213ac5eef70c1ea10f1f826fc0.zip
fix bug in wasm-check: compare ops return i32
-rw-r--r--src/wasm-check.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm-check.c b/src/wasm-check.c
index bfdcce63..edcc84e6 100644
--- a/src/wasm-check.c
+++ b/src/wasm-check.c
@@ -504,7 +504,7 @@ static WasmResult check_expr(WasmCheckContext* ctx,
}
case WASM_EXPR_TYPE_COMPARE: {
WasmType type = expr->convert.op.type;
- result |= check_type(ctx, &expr->loc, type, expected_type, desc);
+ result |= check_type(ctx, &expr->loc, WASM_TYPE_I32, expected_type, desc);
result |= check_expr(ctx, module, func, expr->compare.left, type,
" of argument 0 of compare op");
result |= check_expr(ctx, module, func, expr->compare.right, type,