summaryrefslogtreecommitdiff
path: root/test/binary/bad-memory-init-no-data-count.txt
blob: b182b91eb5c59b35ad5545ebfbf5517432713473 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
;;; TOOL: run-gen-wasm-bad
;;; ARGS1: --enable-bulk-memory
;;; ARGS2: --enable-bulk-memory
magic
version
section(TYPE) { count[1] function params[0] results[0] }
section(FUNCTION) { count[1] type[0] }
section(MEMORY) {
  count[1]
  has_max[0]
  initial[leb_u32(0)]
}
section(CODE) {
  count[1]
  func {
    locals[0]
    i32.const leb_i32(0)
    i32.const leb_i32(0)
    i32.const leb_i32(0)
    memory.init 0 0
  }
}
section(DATA) {
  count[1]
  flags[1]
  data[str("")]
}
(;; STDERR ;;;
0000024: error: memory.init requires data count section
0000024: error: memory.init requires data count section
;;; STDERR ;;)