summaryrefslogtreecommitdiff
path: root/src/passes/LocalCSE.cpp
diff options
context:
space:
mode:
authorHeejin Ahn <aheejin@gmail.com>2020-02-03 14:41:37 -0800
committerGitHub <noreply@github.com>2020-02-03 14:41:37 -0800
commite0a449672a372aced4d11b4d60a49293d413a9bb (patch)
tree4b3879c08c8fbfddf38d8092bdac99c6ffb5f9a2 /src/passes/LocalCSE.cpp
parentc9f2e9b7b24182e830f39c176170d5ca64d3d05e (diff)
downloadbinaryen-e0a449672a372aced4d11b4d60a49293d413a9bb.tar.gz
binaryen-e0a449672a372aced4d11b4d60a49293d413a9bb.tar.bz2
binaryen-e0a449672a372aced4d11b4d60a49293d413a9bb.zip
Trap when call_indirect's signatures mismatch (#2636)
This makes the interpreter trap when the signature in `call_indirect` instruction and that of the actual function in the table mismatch. This also makes the `wasm-ctor-eval` not evaluate `call_indirect` in case the signatures mismatch. Before we only compared the arguments' signature and the function signature, which was sufficient before we had subtypes, but now the signature in `call_indirect` and that of the actual function can be different even if the argument's signature is OK.
Diffstat (limited to 'src/passes/LocalCSE.cpp')
0 files changed, 0 insertions, 0 deletions