diff options
| author | Alon Zakai <azakai@google.com> | 2022-08-16 09:39:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-16 09:39:37 -0700 |
| commit | 64629e9e73c40f0df240345c532163139ff1de68 (patch) | |
| tree | f6f7e80451b7198ed0255273930f64bfe642a7b3 /src/wasm/wasm-binary.cpp | |
| parent | ffa40d7f408ed4d35c806f550b1d6bac2a039745 (diff) | |
| download | binaryen-64629e9e73c40f0df240345c532163139ff1de68.tar.gz binaryen-64629e9e73c40f0df240345c532163139ff1de68.tar.bz2 binaryen-64629e9e73c40f0df240345c532163139ff1de68.zip | |
Validator: Validate intrinsics (#4880)
call.without.effects has a specific form, where the last parameter is a
function reference, and that function reference must have the right type
for the other parameters if called with them:
(call $call.without.effects
(..i32..)
(..f64..)
(..function reference, which takes params i32 and f64..)
Diffstat (limited to 'src/wasm/wasm-binary.cpp')
0 files changed, 0 insertions, 0 deletions