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 /test | |
| 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 'test')
| -rw-r--r-- | test/passes/remove-unused-names_vacuum.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/passes/remove-unused-names_vacuum.txt b/test/passes/remove-unused-names_vacuum.txt index 9e54fbc18..6cb852818 100644 --- a/test/passes/remove-unused-names_vacuum.txt +++ b/test/passes/remove-unused-names_vacuum.txt @@ -15,9 +15,7 @@ ) (func $to-drop-unreachable (drop - (block (result i32) - (unreachable) - ) + (unreachable) ) ) (func $return-i32-but-body-is-unreachable5 (result i32) |