summaryrefslogtreecommitdiff
path: root/test/lit/validation/bulk.wast
blob: 36d2841dd08f5d02fea7c88c6c89e4beaf7685f1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
;; Test for a validation error on bad usage of call.without.effects

;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s

;; CHECK: unknown data segment

(module
 (memory $0 16)
 (func $1
  (data.drop 1)
  (unreachable)
 )
)