summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2020-12-18 07:20:49 -0800
committerGitHub <noreply@github.com>2020-12-18 07:20:49 -0800
commit97fcd64de4b2b438a638feac2ad99b1d910ed431 (patch)
tree1559147a675e48340d7cd8af7f285d57be4af04f /src
parentac808519a6980474721b88b3d0fd9461cb07abb1 (diff)
downloadbinaryen-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')
-rw-r--r--src/wasm/wasm-validator.cpp2
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);
}
}