test/spec/address.txt


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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/address.wast
(;; STDOUT ;;;
out/test/spec/address.wast:192: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536
out/test/spec/address.wast:194: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:195: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:196: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:197: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:198: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:199: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:201: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/address.wast:202: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/address.wast:203: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/address.wast:204: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/address.wast:205: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:207: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:208: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:209: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:210: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:211: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:214: assert_malformed passed:
  out/test/spec/address/address.1.wat:1:33: error: offset must be less than or equal to 0xffffffff
  (memory 1)(func (drop (i32.load offset=4294967296 (i32.const 0))))
                                  ^^^^^^^^^^^^^^^^^
out/test/spec/address.wast:486: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
out/test/spec/address.wast:488: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:489: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:490: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:491: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:492: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:493: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:494: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/address.wast:496: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/address.wast:497: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536
out/test/spec/address.wast:498: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/address.wast:499: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536
out/test/spec/address.wast:500: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:501: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:502: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
out/test/spec/address.wast:504: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:505: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536
out/test/spec/address.wast:506: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:507: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536
out/test/spec/address.wast:508: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:509: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:510: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/address.wast:554: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536
out/test/spec/address.wast:556: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:557: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:559: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536
out/test/spec/address.wast:560: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536
out/test/spec/address.wast:604: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536
out/test/spec/address.wast:606: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/address.wast:607: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
out/test/spec/address.wast:609: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536
out/test/spec/address.wast:610: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536
260/260 tests passed.
;;; STDOUT ;;)