blob: 8e6a011a548d3ee608e244701df8045f0cc3817e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
;; 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
|
