diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-08-03 14:49:41 -0700 |
|---|---|---|
| committer | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-08-05 13:45:27 -0700 |
| commit | 5b9fff4399b959a4af28a6c82e8ab9243898f360 (patch) | |
| tree | 5007f2b6e3f5ff0a18b20ae4e9b1e442405985a7 /test/unit.wast.fromBinary.noDebugInfo | |
| parent | 9149f4cdeee0949e5dab4b0e0e076c73b822cbfc (diff) | |
| download | binaryen-5b9fff4399b959a4af28a6c82e8ab9243898f360.tar.gz binaryen-5b9fff4399b959a4af28a6c82e8ab9243898f360.tar.bz2 binaryen-5b9fff4399b959a4af28a6c82e8ab9243898f360.zip | |
emit an unreachable if an unreachable block context does not end in an unreachable
Diffstat (limited to 'test/unit.wast.fromBinary.noDebugInfo')
| -rw-r--r-- | test/unit.wast.fromBinary.noDebugInfo | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/unit.wast.fromBinary.noDebugInfo b/test/unit.wast.fromBinary.noDebugInfo index 3c24886f5..09da9a15b 100644 --- a/test/unit.wast.fromBinary.noDebugInfo +++ b/test/unit.wast.fromBinary.noDebugInfo @@ -646,5 +646,20 @@ ) (unreachable) ) + (func $36 (type $1) + (if + (i32.const 1) + (block $label$0 + (nop) + ) + (block $label$1 + (unreachable) + (drop + (i32.const 1) + ) + (unreachable) + ) + ) + ) ) |