diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-02-03 16:17:26 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-04 00:17:26 +0000 |
| commit | 216df013be7f057884ba5b5d2fc6d7de29712300 (patch) | |
| tree | 4bd0f0916ec2c20c3d4bd7033450f956c0c4b159 /src/wasm-debug.h | |
| parent | ac1f664811c3c5a84d2e890802651ab8f3923f76 (diff) | |
| download | binaryen-216df013be7f057884ba5b5d2fc6d7de29712300.tar.gz binaryen-216df013be7f057884ba5b5d2fc6d7de29712300.tar.bz2 binaryen-216df013be7f057884ba5b5d2fc6d7de29712300.zip | |
Isorecursive type fuzzing (#4501)
Add support for isorecursive types to wasm-fuzz-types by generating recursion
groups and ensuring that children types are only selected from candidates
through the end of the current group. For non-isorecursive systems, treat all
the types as belonging to a single group so that their behavior is unchanged.
Also fix two small bugs found by the fuzzer: LUB calculation was taking the
wrong path for isorecursive types and isorecursive validation was not handling
basic heap types properly.
Diffstat (limited to 'src/wasm-debug.h')
0 files changed, 0 insertions, 0 deletions