diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-01-25 16:15:23 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-26 00:15:23 +0000 |
| commit | 707be2b55075dccaaf0a70e23352c972fce5aa76 (patch) | |
| tree | f57f7cc25a2d8b78f7261b6a5498fdcbd397f6cc /src/passes/OptimizeInstructions.cpp | |
| parent | f1ff35fd413372a55d486d041cc9a795e107bad2 (diff) | |
| download | binaryen-707be2b55075dccaaf0a70e23352c972fce5aa76.tar.gz binaryen-707be2b55075dccaaf0a70e23352c972fce5aa76.tar.bz2 binaryen-707be2b55075dccaaf0a70e23352c972fce5aa76.zip | |
Isorecursive type validation (#4475)
When building isorecursive types, validate their relationships according to the
rules described in https://github.com/WebAssembly/gc/pull/243. Specifically,
supertypes must be declared before their subtypes to statically prevent cycles
and child types must be declared either before or in the same recursion group as
their parents.
Diffstat (limited to 'src/passes/OptimizeInstructions.cpp')
0 files changed, 0 insertions, 0 deletions