diff options
author | Alon Zakai <azakai@google.com> | 2020-12-18 07:20:49 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-18 07:20:49 -0800 |
commit | 97fcd64de4b2b438a638feac2ad99b1d910ed431 (patch) | |
tree | 1559147a675e48340d7cd8af7f285d57be4af04f /src/wasm/wasm-validator.cpp | |
parent | ac808519a6980474721b88b3d0fd9461cb07abb1 (diff) | |
download | binaryen-97fcd64de4b2b438a638feac2ad99b1d910ed431.tar.gz binaryen-97fcd64de4b2b438a638feac2ad99b1d910ed431.tar.bz2 binaryen-97fcd64de4b2b438a638feac2ad99b1d910ed431.zip |
Followup to #3451 after feedback (#3457)
The validation code can be further simplified after adding castType, and
we were missing a test for the type that flows out of br_on_cast.
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 edcf3676d..745ce8c06 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -2237,7 +2237,7 @@ void FunctionValidator::visitBrOnCast(BrOnCast* curr) { curr->castType.getHeapType(), curr, "br_on_cast rtt must have the proper heap type"); - noteBreak(curr->name, Type(curr->rtt->type.getHeapType(), Nullable), curr); + noteBreak(curr->name, curr->castType, curr); } } |