diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-07-28 12:00:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-28 19:00:11 +0000 |
| commit | 8670f15676b3c6406d6e82327a7258c7c4d08b43 (patch) | |
| tree | 59338a9debe510a297b90dd7d51eedf209010f02 /src/wasm-interpreter.h | |
| parent | be580c66645cdea13c8e8b3b77f12ef3a52e5f2e (diff) | |
| download | binaryen-8670f15676b3c6406d6e82327a7258c7c4d08b43.tar.gz binaryen-8670f15676b3c6406d6e82327a7258c7c4d08b43.tar.bz2 binaryen-8670f15676b3c6406d6e82327a7258c7c4d08b43.zip | |
Support subtyping in tail calls (#4032)
The tail call spec does not include subtyping because it is based on the
upstream spec, which does not contain subtyping. However, there is no reason
that subtyping shouldn't apply to tail calls like it does for any other call or
return. Update the validator to allow subtyping and avoid a related null pointer
dereference while we're at it.
Do not run the test in with --nominal because it is buggy in that mode.
Diffstat (limited to 'src/wasm-interpreter.h')
0 files changed, 0 insertions, 0 deletions