summaryrefslogtreecommitdiff
path: root/test/binary/bad-memory-grow-reserved.txt
blob: 74387387b9ce661dac8c69415d3faa67023f26e9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
;;; TOOL: run-gen-wasm-bad
magic
version
section(TYPE) { count[1] function params[0] results[0]}
section(FUNCTION) { count[1] type[0] }
section(MEMORY) { count[1] flags[0] init[0] }
section(CODE) {
  count[1]
  func {
    locals[0]
    i32.const 0
    ;; The memory.grow reserved byte must be a single 0 byte. Using a long
    ;; leb128 encoding of 0 is not valid.
    memory.grow reserved[0x80 0]
    drop
  }
}
(;; STDERR ;;;
0000020: error: memory.grow reserved value must be 0
0000020: error: memory.grow reserved value must be 0
;;; STDERR ;;)