We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent eb618f3 commit 2c1d32cCopy full SHA for 2c1d32c
src/wasm/wasm-validator.cpp
@@ -3188,7 +3188,7 @@ void FunctionValidator::visitArrayInit(ArrayInit* curr) {
3188
const char* mustBeArray =
3189
"array.init_* destination must be an array reference";
3190
if (curr->type == Type::unreachable ||
3191
- shouldBeTrue(curr->ref->type.isRef(), curr, mustBeArray) ||
+ !shouldBeTrue(curr->ref->type.isRef(), curr, mustBeArray) ||
3192
curr->ref->type.getHeapType().isBottom() ||
3193
!shouldBeTrue(curr->ref->type.isArray(), curr, mustBeArray)) {
3194
return;
0 commit comments