diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-03-10 16:06:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-11 00:06:19 +0000 |
| commit | d369cd6474364e5797e40af94676339af03723a9 (patch) | |
| tree | 2441fb6aec7ae185a73804fe61298854ee3495d9 /src/compiler-support.h | |
| parent | 9202df3864d2d8f09f191f61a964a08c30d10821 (diff) | |
| download | binaryen-d369cd6474364e5797e40af94676339af03723a9.tar.gz binaryen-d369cd6474364e5797e40af94676339af03723a9.tar.bz2 binaryen-d369cd6474364e5797e40af94676339af03723a9.zip | |
Make unreachable a subtype of everything (#3673)
Since in principle an unreachable expression can be used in any position. An
exception to this rule is in OptimizeInstructions, which avoids replacing
concrete expressions with unreachable expressions so that it doesn't need to
refinalize any expressions. Notably, Type::getLeastUpperBound was already
treating unreachable as the bottom type.
Diffstat (limited to 'src/compiler-support.h')
0 files changed, 0 insertions, 0 deletions