;; 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 |