File: bad-delegate.test

package info (click to toggle)
binaryen 120-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 41,284 kB
  • sloc: cpp: 189,449; javascript: 62,189; ansic: 14,087; python: 5,379; pascal: 441; sh: 77; makefile: 30; asm: 27
file content (17 lines) | stat: -rw-r--r-- 451 bytes parent folder | download 
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