| ;; Regression test for bad assertion in autodrop that did not expect the if to | |
| ;; be finalized to unreachable. | |
| (module | |
| (func $test (result i32) | |
| (block $l (result i32) | |
| (drop | |
| (br_if $l | |
| (if (result i32) | |
| (unreachable) | |
| (then | |
| (i32.const 0) | |
| ) | |
| (else | |
| (i32.const 0) | |
| ) | |
| ) | |
| ) | |
| (i32.const 0) | |
| ) | |
| ) | |
| ) | |
| ) |