;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/extended-const/data.wast
;;; ARGS*: --enable-extended-const
(;; STDOUT ;;;
out/test/spec/extended-const/data.wast:85: assert_invalid passed:
  out/test/spec/extended-const/data/data.9.wasm:000001b: error: initializer expression can only reference an imported global
  000001b: error: OnGlobalGetExpr callback failed
out/test/spec/extended-const/data.wast:89: assert_invalid passed:
  out/test/spec/extended-const/data/data.10.wasm:000001b: error: initializer expression can only reference an imported global
  000001b: error: OnGlobalGetExpr callback failed
out/test/spec/extended-const/data.wast:331: assert_invalid passed:
  out/test/spec/extended-const/data/data.45.wasm:000000c: error: memory variable out of range: 0 (max 0)
  000000c: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:339: assert_invalid passed:
  out/test/spec/extended-const/data/data.46.wasm:0000012: error: memory variable out of range: 1 (max 1)
  0000012: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:352: assert_invalid passed:
  out/test/spec/extended-const/data/data.47.wasm:000000c: error: memory variable out of range: 0 (max 0)
  000000c: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:363: assert_invalid passed:
  out/test/spec/extended-const/data/data.48.wasm:000000d: error: memory variable out of range: 1 (max 0)
  000000d: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:375: assert_invalid passed:
  out/test/spec/extended-const/data/data.49.wasm:0000012: error: memory variable out of range: 1 (max 1)
  0000012: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:397: assert_invalid passed:
  out/test/spec/extended-const/data/data.50.wasm:000000d: error: memory variable out of range: 1 (max 0)
  000000d: error: BeginDataSegment callback failed
out/test/spec/extended-const/data.wast:416: assert_invalid passed:
  out/test/spec/extended-const/data/data.51.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [i64]
  0000014: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:424: assert_invalid passed:
  out/test/spec/extended-const/data/data.52.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [funcref]
  0000014: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:432: assert_invalid passed:
  out/test/spec/extended-const/data/data.53.wasm:0000011: error: type mismatch in initializer expression, expected [i32] but got []
  0000012: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:440: assert_invalid passed:
  out/test/spec/extended-const/data/data.54.wasm:0000015: error: type mismatch at end of initializer expression, expected [] but got [i32]
  0000016: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:448: assert_invalid passed:
  out/test/spec/extended-const/data/data.55.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
  000002c: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:457: assert_invalid passed:
  out/test/spec/extended-const/data/data.56.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
  000002c: error: EndDataSegmentInitExpr callback failed
out/test/spec/extended-const/data.wast:466: assert_invalid passed:
  out/test/spec/extended-const/data/data.57.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: i32.ctz
  0000014: error: OnUnaryExpr callback failed
out/test/spec/extended-const/data.wast:474: assert_invalid passed:
  out/test/spec/extended-const/data/data.58.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
  0000012: error: OnNopExpr callback failed
out/test/spec/extended-const/data.wast:482: assert_invalid passed:
  out/test/spec/extended-const/data/data.59.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
  0000012: error: OnNopExpr callback failed
out/test/spec/extended-const/data.wast:490: assert_invalid passed:
  out/test/spec/extended-const/data/data.60.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: nop
  0000014: error: OnNopExpr callback failed
out/test/spec/extended-const/data.wast:498: assert_invalid passed:
  out/test/spec/extended-const/data/data.61.wasm:0000020: error: initializer expression cannot reference a mutable global
  0000020: error: OnGlobalGetExpr callback failed
out/test/spec/extended-const/data.wast:507: assert_invalid passed:
  out/test/spec/extended-const/data/data.62.wasm:0000013: error: global variable out of range: 0 (max 0)
  0000013: error: OnGlobalGetExpr callback failed
out/test/spec/extended-const/data.wast:515: assert_invalid passed:
  out/test/spec/extended-const/data/data.63.wasm:0000029: error: global variable out of range: 1 (max 1)
  0000029: error: OnGlobalGetExpr callback failed
out/test/spec/extended-const/data.wast:524: assert_invalid passed:
  out/test/spec/extended-const/data/data.64.wasm:000002d: error: initializer expression cannot reference a mutable global
  000002d: error: OnGlobalGetExpr callback failed
65/65 tests passed.
;;; STDOUT ;;)
