diff options
| author | Thomas Lively <tlively@google.com> | 2022-12-21 11:47:48 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-21 09:47:48 -0800 |
| commit | 49fb2e23bb3c932389f23fdda33a32d034ca9a0c (patch) | |
| tree | fbe18fa7d4809a59a0d9577fb723bf1873d8adeb /src/wasm/wasm-validator.cpp | |
| parent | 94a45c6aba605f0f7e0a2fac227a2dd7c03a391f (diff) | |
| download | binaryen-49fb2e23bb3c932389f23fdda33a32d034ca9a0c.tar.gz binaryen-49fb2e23bb3c932389f23fdda33a32d034ca9a0c.tar.bz2 binaryen-49fb2e23bb3c932389f23fdda33a32d034ca9a0c.zip | |
Support `ref.test null` (#5368)
This new variant of ref.test returns 1 if the input is null.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index b102ecb1c..68fb58ec4 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -2513,7 +2513,7 @@ void FunctionValidator::visitRefTest(RefTest* curr) { return; } shouldBeEqual( - curr->intendedType.getBottom(), + curr->castType.getHeapType().getBottom(), curr->ref->type.getHeapType().getBottom(), curr, "ref.test target type and ref type must have a common supertype"); |