| ;; Test that we error properly on a file with a bad delegate (a delegate of an | |
| ;; index that does not refer to a valid try-catch). | |
| ;; Disassembled binary from wabt: | |
| ;; | |
| ;; (module | |
| ;; (type (;0;) (func)) | |
| ;; (func (;0;) (type 0) | |
| ;; block ;; label = @1 | |
| ;; try ;; label = @2 | |
| ;; nop | |
| ;; delegate 0 | |
| ;; end)) | |
| ;; RUN: not wasm-opt -all %s.wasm 2>&1 | filecheck %s | |
| ;; CHECK: exceptionTargetNames not empty - invalid delegate |