diff options
| author | Thomas Lively <tlively@google.com> | 2023-03-03 17:53:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-03 15:53:53 -0800 |
| commit | 661fe5e72987e97d5f6db0d4cbefc73c1e166e36 (patch) | |
| tree | 62ba05c7d48fdfa76e45a4a5f604ee7f2b2a9af7 /src/wasm-debug.h | |
| parent | 069aec9946473f946e96dc82ca0ce40a8024c50f (diff) | |
| download | binaryen-661fe5e72987e97d5f6db0d4cbefc73c1e166e36.tar.gz binaryen-661fe5e72987e97d5f6db0d4cbefc73c1e166e36.tar.bz2 binaryen-661fe5e72987e97d5f6db0d4cbefc73c1e166e36.zip | |
Skip function references when detecting uninhabitable types (#5545)
Function references are always inhabitable because functions can be created with
any function type, even types that refer to uninhabitable types. Take advantage
of this by skipping function references when finding non-nullable reference
cycles that cause uninhabitability.
Diffstat (limited to 'src/wasm-debug.h')
0 files changed, 0 insertions, 0 deletions