diff options
author | Heejin Ahn <aheejin@gmail.com> | 2020-02-03 14:41:37 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-03 14:41:37 -0800 |
commit | e0a449672a372aced4d11b4d60a49293d413a9bb (patch) | |
tree | 4b3879c08c8fbfddf38d8092bdac99c6ffb5f9a2 /src/passes/LocalCSE.cpp | |
parent | c9f2e9b7b24182e830f39c176170d5ca64d3d05e (diff) | |
download | binaryen-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