Eine aufbereitete Darstellung der Quelle

 
     
 
 
rahmenlose Ansicht  |   Verzeichnis aufwärts  |   Normalansicht  |   Mathematik  |   Moral  |   Aktuelles  |   Steuerung
 
 
 
 

Benutzer

Quelle  address.wast.js   Sprache: JAVA

 

/* Copyright 2021 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 */
 *under the.
 */


// ./test/core/address.wast

// ./test/core/address.wast:3
let $0 = instantiate(`(module
  (memory 1)
  (data (i32.const 0) "abcdefghijklmnopqrstuvwxyz")

  (func (export "8u_good1") (param \$i i32) (result i32)
    (i32.load8_u offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8u_good2") (param \$i i32) (result i32)
    (i32.load8_u align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8u_good3") (param \$i i32) (result i32)
    (i32.load8_u offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8u_good4") (param \$i i32) (result i32)
    (i32.load8_u offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8u_good5") (param \$i i32) (result i32)
    (i32.load8_u offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "8s_good1") (param \$i i32) (result i32)
    (i32.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8s_good2") (param \$i i32) (result i32)
    (i32.load8_s align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8s_good3") (param \$i i32) (result i32)
    (i32.load8_s offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8s_good4") (param \$i i32) (result i32)
    (i32.load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8s_good5") (param \$i i32) (result i32)
    (i32.load8_s offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "16u_good1") (param \$i i32) (result i32)
    (i32.load16_u offset=0 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16u_good2") (param \$i i32) (result i32)
    (i32.load16_u align=1 (local.get \$i))                   ;; 25185 'ab'
  )
  (func (export "16u_good3") (param \$i i32) (result i32)
    (i32.load16_u offset=1 align=1 (local.get \$i))          ;; 25442 'bc'
  )
  (func (export "16u_good4") (param \$i i32) (result i32)
    (i32.load16_u offset=2 align=2 (local.get \$i))          ;; 25699 'cd'
  )
  (func (export "16u_good5") (param \$i i32) (result i32)
    (i32.load16_u offset=25 align=2 (local.get \$i))         ;; 122 'z\\0'
  )

  (func (export "16s_good1") (param \$i i32) (result i32)
    (i32.load16_s offset=0 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16s_good2") (param \$i i32) (result i32)
    (i32.load16_s align=1 (local.get \$i))                   ;; 25185 'ab'
  )
  (func (export "16s_good3") (param \$i i32) (result i32)
    (i32.load16_s offset=1 align=1 (local.get \$i))          ;; 25442 'bc'
  )
  (func (export "16s_good4") (param \$i i32) (result i32)
    (i32.load16_s offset=2 align=2 (local.get \$i))          ;; 25699 'cd'
  )
  (func (export "16s_good5") (param \$i i32) (result i32)
    (i32.load16_s offset=25 align=2 (local.get \$i))         ;; 122 'z\\0'
  )

  (func (export "32_good1") (param \$i i32) (result i32)
    (i32.load offset=0 (local.get \$i))                      ;; 1684234849 'abcd'
  )
  (func (export "32_good2") (param \$i i32) (result i32)
    (i32.load align=1 (local.get \$i))                       ;; 1684234849 'abcd'
  )
  (func (export "32_good3") (param \$i i32) (result i32)
    (i32.load offset=1 align=1 (local.get \$i))              ;; 1701077858 'bcde'
  )
  (func (export "32_good4") (param \$i i32) (result i32)
    (i32.load offset=2 align=2 (local.get \$i))              ;; 1717920867 'cdef'
  )
  (func (export "32_good5") (param \$i i32) (result i32)
    (i32.load offset=25 align=4 (local.get \$i))             ;; 122 'z\\0\\0\\0'
  )

  (func (export "8u_bad") (param \$i i32)
    (drop (i32.load8_u offset=4294967295 (local.get \$i)))
  )
  (func (export "8s_bad") (param \$i i32)
    (drop (i32.load8_s offset=4294967295 (local.get \$i)))
  )
  (func (export "16u_bad") (param \$i i32)
    (drop (i32.load16_u offset=4294967295 (local.get \$i)))
  )
  (func (export "16s_bad") (param \$i i32)
    (drop (i32.load16_s offset=4294967295 (local.get \$i)))
  )
  (func (export "32_bad") (param \$i i32)
    (drop (i32.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/address.wast:104
assert_return(() => invoke($0, `8u_good1`, [0]), [value("i32", 97)]);

// ./test/core/address.wast:105
assert_return(() => invoke($0, `8u_good2`, [0]), [value("i32", 97)]);

// ./test/core/address.wast:106
assert_return(() => invoke($0, `8u_good3`, [0]), [value("i32", 98)]);

// ./test/core/address.wast:107
assert_return(() => invoke($0, `8u_good4`, [0]), [value("i32", 99)]);

// ./test/core/address.wast:108
assert_return(() => invoke($0, `8u_good5`, [0]), [value("i32", 122)]);

// ./test/core/address.wast:110
assert_return(() => invoke($0, `8s_good1`, [0]), [value("i32", 97)]);

// ./test/core/address.wast:111
assert_return(() => invoke($0, `8s_good2`, [0]), [value("i32", 97)]);

// ./test/core/address.wast:112
assert_return(() => invoke($0, `8s_good3`, [0]), [value("i32", 98)]);

// ./test/core/address.wast:113
assert_return(() => invoke($0, `8s_good4`, [0]), [value("i32", 99)]);

// ./test/core/address.wast:114
assert_return(() => invoke($0, `8s_good5`, [0]), [value("i32", 122)]);

// ./test/core/address.wast:116
assert_return(() => invoke($0, `16u_good1`, [0]), [value("i32", 25185)]);

// ./test/core/address.wast:117
assert_return(() => invoke($0, `16u_good2`, [0]), [value("i32", 25185)]);

// ./test/core/address.wast:118
assert_return(() => invoke($0, `16u_good3`, [0]), [value("i32", 25442)]);

// ./test/core/address.wast:119
assert_return(() => invoke($0, `16u_good4`, [0]), [value("i32", 25699)]);

// ./test/core/address.wast:120
assert_return(() => invoke($0, `16u_good5`, [0]), [value("i32", 122)]);

// ./test/core/address.wast:122
assert_return(() => invoke($0, `16s_good1`, [0]), [value("i32", 25185)]);

// ./test/core/address.wast:123
assert_return(() => invoke($0, `16s_good2`, [0]), [value("i32", 25185)]);

// ./test/core/address.wast:124
assert_return(() => invoke($0, `16s_good3`, [0]), [value("i32", 25442)]);

// ./test/core/address.wast:125
assert_return(() => invoke($0, `16s_good4`, [0]), [value("i32", 25699)]);

// ./test/core/address.wast:126
assert_return(() => invoke($0, `16s_good5`, [0]), [value("i32", 122)]);

// ./test/core/address.wast:128
assert_return(() => invoke($0, `32_good1`, [0]), [value("i32", 1684234849)]);

// ./test/core/address.wast:129
assert_return(() => invoke($0, `32_good2`, [0]), [value("i32", 1684234849)]);

// ./test/core/address.wast:130
assert_return(() => invoke($0, `32_good3`, [0]), [value("i32", 1701077858)]);

// ./test/core/address.wast:131
assert_return(() => invoke($0, `32_good4`, [0]), [value("i32", 1717920867)]);

// ./test/core/address.wast:132
assert_return(() => invoke($0, `32_good5`, [0]), [value("i32", 122)]);

// ./test/core/address.wast:134
assert_return(() => invoke($0, `8u_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:135
assert_return(() => invoke($0, `8u_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:136
assert_return(() => invoke($0, `8u_good3`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:137
assert_return(() => invoke($0, `8u_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:138
assert_return(() => invoke($0, `8u_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:140
assert_return(() => invoke($0, `8s_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:141
assert_return(() => invoke($0, `8s_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:142
assert_return(() => invoke($0, `8s_good3`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:143
assert_return(() => invoke($0, `8s_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:144
assert_return(() => invoke($0, `8s_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:146
assert_return(() => invoke($0, `16u_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:147
assert_return(() => invoke($0, `16u_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:148
assert_return(() => invoke($0, `16u_good3`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:149
assert_return(() => invoke($0, `16u_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:150
assert_return(() => invoke($0, `16u_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:152
assert_return(() => invoke($0, `16s_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:153
assert_return(() => invoke($0, `16s_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:154
assert_return(() => invoke($0, `16s_good3`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:155
assert_return(() => invoke($0, `16s_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:156
assert_return(() => invoke($0, `16s_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:158
assert_return(() => invoke($0, `32_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:159
assert_return(() => invoke($0, `32_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:160
assert_return(() => invoke($0, `32_good3`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:161
assert_return(() => invoke($0, `32_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:162
assert_return(() => invoke($0, `32_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:164
assert_return(() => invoke($0, `8u_good1`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:165
assert_return(() => invoke($0, `8u_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:166
assert_return(() => invoke($0, `8u_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:167
assert_return(() => invoke($0, `8u_good4`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:168
assert_return(() => invoke($0, `8u_good5`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:170
assert_return(() => invoke($0, `8s_good1`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:171
assert_return(() => invoke($0, `8s_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:172
assert_return(() => invoke($0, `8s_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:173
assert_return(() => invoke($0, `8s_good4`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:174
assert_return(() => invoke($0, `8s_good5`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:176
assert_return(() => invoke($0, `16u_good1`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:177
assert_return(() => invoke($0, `16u_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:178
assert_return(() => invoke($0, `16u_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:179
assert_return(() => invoke($0, `16u_good4`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:180
assert_return(() => invoke($0, `16u_good5`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:182
assert_return(() => invoke($0, `16s_good1`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:183
assert_return(() => invoke($0, `16s_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:184
assert_return(() => invoke($0, `16s_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:185
assert_return(() => invoke($0, `16s_good4`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:186
assert_return(() => invoke($0, `16s_good5`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:188
assert_return(() => invoke($0, `32_good1`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:189
assert_return(() => invoke($0, `32_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:190
assert_return(() => invoke($0, `32_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:191
assert_return(() => invoke($0, `32_good4`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:192
assert_trap(() => invoke($0, `32_good5`, [65508]), `out of bounds memory access`);

// ./test/core/address.wast:194
assert_trap(() => invoke($0, `8u_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:195
assert_trap(() => invoke($0, `8s_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:196
assert_trap(() => invoke($0, `16u_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:197
assert_trap(() => invoke($0, `16s_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:198
assert_trap(() => invoke($0, `32_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:199
assert_trap(() => invoke($0, `32_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:201
assert_trap(() => invoke($0, `8u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:202
assert_trap(() => invoke($0, `8s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:203
assert_trap(() => invoke($0, `16u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:204
assert_trap(() => invoke($0, `16s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:205
assert_trap(() => invoke($0, `32_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:207
assert_trap(() => invoke($0, `8u_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:208
assert_trap(() => invoke($0, `8s_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:209
assert_trap(() => invoke($0, `16u_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:210
assert_trap(() => invoke($0, `16s_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:211
assert_trap(() => invoke($0, `32_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:213
assert_invalid(
  () => instantiate(`(memory 1) (func (drop (i32.load offset=4294967296 (i32.const 0)))) `),
  `offset out of range`,
);

// ./test/core/address.wast:223
let $1 = instantiate(`(module
  (memory 1)
  (data (i32.const 0) "abcdefghijklmnopqrstuvwxyz")

  (unc (export"u_good1")(param$i32 result i64
    (64load8_u offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8u_good2") (param \$i i32) (result i64)
    (i64.load8_u align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8u_good3") (param \$i i32) (result i64)
    (i64.load8_u offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8u_good4") (param \$i i32) (result i64)
    (i64.load8_u offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8u_good5") (param \$i i32) (result i64)
    (i64.load8_u offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "8s_good1") (param \$i i32) (result i64)
    (i64.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8s_good2") (param \$i i32) (result i64)
    (i64.load8_s align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8s_good3") (param \$i i32) (result i64)
    (i64.load8_s offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8s_good4") (param \$i i32) (result i64)
    (i64.load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8s_good5") (param \$i i32) (result i64)
    (i64.load8_s offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "16u_good1") (param \$i i32) (result i64)
    (i64.load16_u offset=0 (local.get \$i))                 ;; 25185 'ab'
  )
  (func (export "16u_good2") (param \$i i32) (result i64)
    (i64.load16_u align=1 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16u_good3") (param \$i i32) (result   )
    (i64.load16_u offset=1 align=1 (  (func (export "8u_good3") (param \$i i3 i32)
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  (func (export "16java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 3
    (64.java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 73
   )
("$  rjava.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 57
    (i64.load16_u offset=25 
)

    i.load8_salign=1 (.get $))                    'java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
       (64load16_s offset=0 (local.get \$i))                 ;; 25185 'ab'
  )
(func(export "s_good2") (param \$i i32) (result i64)
    (i64    i32load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "16s_good3") (param \$i i32) (result  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
(64load16_s offset1 align= localget i)         ;;25442''
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  (  "6s_good4" (param  resulti64
    (i64.load16_s offset=  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  )
  (func (export "    (32.load16_u offset=1 align=1 (local.get \$i))          ;; 25442 'bc'
    (i64.load16_s offset=25 
  )

unc(xport"32u_good1")(param $i i32) (result )
    (64load32_u offset= local.get\i)                 ;;1684234849ajava.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80

  (func (export "32u_good2") (param \  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
    (i64    (32. =0(. $) ;; 25185''
  )
   (unc(export" param \i i32 result i64java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
    i64.offset==(. $)         ; 1701077858 'cde'
  )
  (func (export "32u_good4") (param \$i i32) (result i64)
    (.load32_uoffset= align= local.$)         ;1717920867 cjava.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80
)
  (func (export "32u_good5") (param \$i i32) (result i64)
    (load32_u= =4 (.et\$i))        ; 122 '\0\\0java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79
  )

  ((xport "s_good1"param\ii32 result i64)
    (. 0 (.et \i)                 ; 1684234849 'bcd'
  )
  (  )
    (i64.load32_s align=1 (local
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  (func (export "32s_good3") ( 
   (6411(geti ; 1701077858'java.lang.StringIndexOutOfBoundsException: Range [80, 79) out of bounds for length 80
  )
  (func 
    (i64.load32_s offset=2 align=2 (local.get \$i))         ;; 1717920867 'cdef'
  )
  (func (export "32s_good5") (param \$i i32) (result i64)
    (i64.load32_s offset=25 align=4 (local.get \$i))        ;; 122 'z\\0\\0\\0'
  )

  (func (export "64_good1") (param \$i i32) (result i64)
    (i64.load offset=0 (local.get \$i))                     ;; 0x6867666564636261 'abcdefgh'
  )
  (func (export "64_good2") (param \$i i32) (result i64)
    (i64.load align=1 (local.get \$i))                      ;; 0x6867666564636261 'abcdefgh'
  )
  (func (export "64_good3") (param \$i i32) (result i64)
   (.java.lang.StringIndexOutOfBoundsException: Range [22, 20) out of bounds for length 92
  )
f ""p $ 
        (32.offset= = (.get \$i)              ;  cdef
  )
  (func (export "java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
    (.258(java.lang.StringIndexOutOfBoundsException: Range [43, 42) out of bounds for length 91
  )

  (func (export "8u_bad") (java.lang.StringIndexOutOfBoundsException: Range [0, 32) out of bounds for length 3
    (drop (. offsetget \))
  )
  (func (export "8s_bad") (param \$i i32)java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 58
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
( 16"(\$ )
    (     (loffset4294967295lget\))
)
  (func (export "16s_bad"( (32load4294967295 (g $)java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
))java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
 
  (java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
    (drop
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
f export"s_bad) (aram $i i32)
    (
  )
  func(xport 64bad)(aram\$ i32)
assert_return( = (0 `8s_good2`,0) ("32" 97)]);
  )
)`);

// ./test/core/address.wast:362
assert_return// ./test/core/address.wastassert_return(() => invoke($0, `8s_good4`, [0]), [value("i32", 99)]);

// ./test/core/address.wast:363
// .java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 73

// ./test/core/address.wast:364
(= ,`ugood3 0) v(" n];

// ./test/core/address.wast:365
assert_return

// ./test/core/address.wast:366
,v(i64,122))java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71


(>$,8` [0], [(i64,97))

// ./test/core/address.wast:369
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:370
( >$ 8 0) value"" 98);

// ./test/core/address.wast:371
assert_return// ./test/core/address.wast:129

// ./test/core/address.wast:130
assert_return()= invoke(1, `s_good5`,[],[alue,122))

// ./test/core/address.wast:374
assert_return)>$0 32`[) valuei" ))

// ./test/core/address.wast:375
assert_return(() => invoke($1, `16u_good2`, [0]), [value// ./test/core/address.wast:135

// ./test/core/address.wast:376
assert_return( $,``, 65507) value"" ))

// ./test/core/address.wast:377
assert_return// ./test/(= $,`,[65507)"" ))

// ./test/core/address.wast:378
assert_returnjava.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 72

// ./test/core/address.wast:380
assert_return// ./test/core/address.wast:142

// ./test/core/address.wast:381
assert_return(() => invoke($1, `16s_good2`, [0]), [value("i64", 25185n)]);

// ./test/core/address.wast:382
( >invoke$,`,[) ["" 25442)java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:383
assert_return(() => invoke($1, `16invoke0 u,[5507,v(,))

// ./test/core/address.wast:384
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 72

// ./test/core/address.wast:386
java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 0

// ./test/core/address.wast:387
>$ 16`[][value"0]java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:388
( >(1 32u_good3, 0) value"" 1701077858)

// ./test/core/address.wast:389
assert_return

// ./test/core/address.wast:390
java.lang.StringIndexOutOfBoundsException: Range [18, 13) out of bounds for length 72

// ./test/core/address.wast:392
 $ 32,[])["641684234849)java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79

// ./test/core/address.wast:393
assert_return// ./test/core/address.wast:162

// ./test/core/address.wast:394
(=>$,`s_good3 0) value",1701077858];

// ./test/core/address.wast:395
assert_return(() => invoke// ./test/core/address.wast:165

// ./test/core/address.wast:396
assert_return(() => invoke($1, `32java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:398
assert_return(() => invokejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:399
assert_return

// ./test/core/address.wast:400
assert_return(() => invoke($1, `java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:401
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 0

// ./test/core/address.wast:402
assert_returne/ ./test/core/address.wast/ssert_return((( = invoke($0, 8s_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:404
(=(1`` 65503)[java.lang.StringIndexOutOfBoundsException: Range [60, 59) out of bounds for length 73

// ./test/core/address.wast:405
)>$1 8,[],[alue""0n)

// ./test/core/address.wast:406
)>invoke,`u_good3,[],["" 0n;

// ./test/core/address.wast:407
assert_return)= invoke$,`u_good4,[(i64,0n))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:408
// ./test/coreassert_return= invoke$0, 16` 65508) v("32 0];

// ./test/core/address.wast:410
ssert_return() >invoke(1,`s_good1, [5503) value"" n];

// ./test/core/address.wast:411
assert_return((java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:412
assert_return(() => invoke($1, `8s_good3`,java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:413
// ./test/core/assert_return(() => in(,`_`65508,value"" ));

assert_return(() => invoke($0, `32_good2`, [65508]), [value("i32", 0)]);
assert_return(() => invoke($1, `8s_good5`, [

// ./test/core/address.wast:416
( >invoke($1, 16` 65503) value(i64,0))java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:417
assert_return(() => invokejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:418
assert_return(() => invoke($1, `16u_good3`, [65503]), [value("i64", java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:419
assert_return(() => invokeassert_trap()= (0 16u_good3` -],` ofmemoryaccess`;

// ./test/core/address.wast:420
// ./test/core/address.wast:197

// ./test/core/address.wast:422
assert_return() = ($,`16s_good1` 65503]) [value"" n])

// ./test/core/address.wast:423
`16_`,[65503],[("64,0)java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:424
()= invoke($,`s_good3`, [65503),value(i64,0n];

// ./test/core/address.wast:425
java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0

// ./test/core/address.wast:426
assert_return(() => invoke($1, `16s_good5`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:428
assert_return(()java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:429
assert_return( = ($0,`s_bad,[], o boundsmemory );

// ./test/core/address.wast:430
assert_return( > invoke(1 32java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 74

// ./test/core/address.wast:431
(= $`ujava.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 74

// ./test/core/address.wast:432
  )>instantiate(emory1)func(drop i32loadoffset4294967296 i32 0)java.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92

// ./test/core/address.wast:434
assert_return((  memory1java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12

// ./test/core/address.wast:435
assert_return()= $,`s_good2, 65503) value"" n];

// ./test/core/address.wast:436
()>invoke$1 32g,[5503]) [value",0];

// ./test/core/address.wast:437
assert_return(() => invoke(    i64l = localg \$))                   ; 97 'a

// ./test/core/address.wast:438
assert_return(() => invoke($1, `32s_good5`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:440
assert_return(() => invoke($1, `64_good1`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:441
assert_return(() => invoke($1, `64_   . 2 1(\)           ; 99 '

// ./test/core/address.wast:442
func (export "8s_good1") (param \$i i32i64java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 70

// ./test/core/address.wast:443
()= ($,`_,65503] [valuei" n))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:444
assert_return(()   

// ./test/core/address.wast:446
assert_return(()     i64.java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 70

// ./test/core/address.wast:447
assert_return() =invoke($1,` 65504],[(i64,0))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:448
java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0

// ./test/core/address.wast:449
assert_return(    i64load16_u= l.et\i)                  ab

// ./test/core/address.wast:450
assert_return()= invoke(1,`u_good5,[],["" 0n];

// ./test/core/address.wast:452
assert_return((  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:453
assert_return(( 16)( $ i32) ( )

// ./test/core/address.wast:454
ssert_return()= invoke$,`s_good3,[ value"64,0n))

// ./test/core/address.wast:455
assert_return()

// ./test/core/address.wast:456
assert_return(() => invoke($1,    i64.oad16_uoffset25align=2 java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 73

// ./test/core/address.wast:458
assert_return(() => invoke($

// ./test/core/address.wast:459
assert_return(() => invoke($1, `16u_good2`, [65504]), [value    (64.load16_s offset=0 (ocal.get \i)                 25185''

// ./test/core/address.wast:460
assert_return(() => invoke($1, `16u_good3`  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:461
()= invoke$,`u_good4` 65504),v(i64" n];

// ./test/core/address.wast:462
assert_return(() => invoke($1, `16u_good5`, [65504]),   

// ./test/core/address.wast:464
assert_return( func("" (param$i32 resulti64

// ./test/core/address.wast:465
ood2 65504) value(i64, n])

// ./test/core/address.wast:466
assert_return(() => invoke($1, ` )

// ./test/core/address.wast:467
assert_return(() => invoke($1, `16s_good4`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:468
(>(1  65504) vi" ]java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:470
assert_return   java.lang.StringIndexOutOfBoundsException: Range [17, 15) out of bounds for length 57

// ./test/core/address.wast:471
ssert_return>(1 32java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 74

// ./test/core/address.wast:472
assert_return(() = (uncexport32_ood2) $ii32 java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 57

// ./test/core/address.wast:473
assert_return)>(1 32u_good4`, [],[alue"" n])java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:474
assert_return "sgood4) ( \i i32)(esult i64

// ./test/core/address.wast:476
((=>(1 s` 65504) value"i64,0];

// ./test/core/address.wast:477
assert_return( >invoke(1 32` ],[alue""0))

// ./test/core/address.wast:478
assert_return(() => invoke($1, `32s_good3`, [65504]),     i64 = localget $)                     ;0x6867666564636261abcdefghjava.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92

// ./test/core/address.wast:479
assert_return(l java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 92

// ./test/core/address.wast:480
    (i64.load.=2java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 92

// ./test/core/address.wast:482
assert_return(() => invoke($1, `64_good1`, [65504           122'0\\\0\\0\0\'

// ./test/core/address.wast:483
assert_return(() => invoke($1, `64_good2`,  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:484
assert_return(() =>  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:485
assert_return(() => invoke($1, `64_good4`, [65504  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:486
ert_trap(= invoke(1 64good5` [65504], `ut  bounds access`;

// ./test/core/address.wast:488
assert_trap(() => invoke($1,  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:489
assert_trap(() => invoke($1, `8s_good3`, [-1]), `out of java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 3

// ./test/core/address.wast:490
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:491
assert_trapassert_return(() => invoke($1, `8u_good1`, [0]), [value("i64", 97n)]);

// ./test/core/address.wast:492
assert_trap(() => invokeassert_return(() => invoke($1, `8u_good3`, [0]), [value("i64", 98n)]);

// ./test/core/address.wast:493
assert_trap(() => invoke($assert_return( = (1 8` 0) value"64,122n))java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71

// ./test/core/address.wast:494
assert_trapjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:496
()= invoke(1 8` 0) outof boundsmemory `java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76

// ./test/core/address.wast:497
assert_trap(assert_return( =>invoke$1 8` 0) [(i64,122))java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71

// ./test/core/address.wast:498
assert_trap((/ ./test/corejava.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 74

// ./test/core/address.wast:499
assert_trap(() =>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:500
// ./test/core/address.wast1 16_ood1,[]) "" n]

// ./test/core/address.wast:501
assert_trap(() => invoke($1, `32s_bad`, [0]), `out

// ./test/core/address.wast:502
assert_trap(() => invoke($1,assert_return( >$, [) value"" 25699]java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:504
assert_trap(() => invoke(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:505
assert_trap(() =

// ./test/core/address.wast:506
assert_trap(() => invoke($1, `16u_bad`, [1

// ./test/core/address.wast:507
assert_trap(() => invoke($1

// ./test/core/address.wast:508
assert_trap(() => invoke($1,java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:509
assert_trap(// ./test/core/address.wast:392

// ./test/core/address.wast:510
assert_trap(() => invoke($1, `64_badassert_return(( = (1, `32s_good2,[0]) [alue"" 1684234849n];

// ./test/core/address.wast:514
let $2 = instantiate(`(module
  (memory 1)
( i32const 0) "\\\00\\00\00\\7\\01\00\\\f)

  (func (export "32_good1
    (f32.assert_return( >invoke$1`s_good5,[],[value(i64,122n])
  )
  (func (export "32_good2") (param \$i i32) (result f32)
// ./test/core/address.wast:398
  )
  (func (export "32_good3") (param \$i 
    (f32.load offsetassert_return() =>invoke($1, `64_good2`, [0]), [value("i64", 7523094288207667809n)]);
  )
  (func (xport"_good4")(param \ii32)(result f32)
    (f32.load offset=2 align=2 (local.get \$i))           ;; 0.0 '\\00\\00
  )
  (func (java.lang.StringIndexOutOfBoundsException: Range [0, 15) out of bounds for length 0
    (f32.load offset=8 align=4 (localjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  )
  (
    (drop (    ()> invoke$1 8` 65503),["" n])
  )
`)

// ./test/core/address.wast:538
assert_return(() => invoke($2, `32_good1`, [0]), [value("f32", 0)]);

// ./test/core/address.wast:539
assert_return(()( >invoke$1 8` 65503) value(i64" n))

// ./test/core/address.wast:540
assert_return(()

// ./test/core/address.wast:541
assert_return(() => invoke($2, `// ./test/core/address.wast:412

// ./test/core/address.wast:542
// ./test/core/address.wast:413

// ./test/core/address.wast:544
assert_return(() => invoke($2, `32_good1`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:545
assert_return(() => invoke($2, `32_good2`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:546
assert_returna()=1` 65503)v(" ]java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:547
assert_returnassert_return( >(1,16` [65503) (i64,0);

// ./test/core/address.wast:548
(()= ($2, 32g` 65524],[alue(f32" ))

// ./test/core/address.wast:550
assert_return(() => invoke(// ./test/core/address.wast:423

// ./test/core/address.wast:551
// ./test/core/address.wast:424

// ./test/core/address.wast:552
assert_return(() => invoke($java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:553
assert_return(() => invoke($2, `32_java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:554
assert_trap(// ./test/assert_return( >invoke($,`u_good1,[], value"");

// ./test/core/address.wast:556
java.lang.StringIndexOutOfBoundsException: Range [62, 11) out of bounds for length 79

// ./test/core/address.wast:557
( >invoke$, `_good3`-] out java.lang.StringIndexOutOfBoundsException: Range [63, 62) out of bounds for length 79

// ./test/core/address.wast:559
assert_trap((java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 74

// ./test/core/address.wast:560
assert_trap(() => invoke(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:564
let $3 = instantiate(`(
  (memory 1assert_retur()>invoke($,`s_good3,[5503],[value"" n]
  (data (i32.const= java.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 74

  ( 64good1" p $ i32)(esult f64)
    (f64.load offset=0 (local.get \$i))                     ;; 0.0 '\\00\\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  )
  (func (export "64_good2") (java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
    (f64.load align=1 (local.get \$i))                      ;; 0.0 '\\00\\00\\00\\00\\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  )
  (// ./test/core/addressassert_return( => invoke($,`_ood4` 65503) [alue(i",n];
    (f64.load offset=1 align=1 (local.get \$i))             
  )
  (func (export "64_good4") (param \$java.lang.StringIndexOutOfBoundsException: Range [0, 38) out of bounds for length 0
    (f64.oadoffset=2 align= (ocal.get $))             ; 00'\\00\0\000000\\00\\0'
  )
  (func (export "64_good5") (param \$i i32) (result
    assert_return( >invoke(,`u_good2`[],[(i64",))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
  )
\i i32java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
    (drop (f64.load offset=( >invoke$,`u_good4`,[],[(i64", 0)];
  )
)`);

// ./test/core/address.wast:588
()=> invoke(3 `64good1` [],[(f64"0])

// ./test/core/address.wast:589
assert_return(() => invoke($3, `64_good2`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:590
assert_return(() => invoke($3, `64_good3`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:591
assert_return(() => invoke($3, `64_good4`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:592
assert_return(
  () =>// ./test/core/address.wast:456
  [(f64, [x,0,0,0x0,0x0,0,0, 0x7f),
);

// ./test/core/address.wast:594
assert_return(() => // ./test/core/address.wast:458

// ./test/core/address.wast:595
assert_return(() => invoke

// ./test/core/address.wast:596
assert_return(() =

// ./test/core/address.wast:597
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:598
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 0

// ./test/core/address.wast:600
assert_return(

// ./test/core/address.wast:601
assert_return(() => invoke($3java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:602
assert_return(() => invoke($3, `64

// ./test/core/address.wast:603
assert_return(() => invoke($3, `64_good4java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:604
// ./test/core/address.wast:468

// ./test/core/address.wast:606
assert_trap(() => invoke

// ./test/core/address.wast:607
assert_trap(() => java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:609
// ./test/core/address.wast:472

// ./test/core/address.wast:610
assert_trap(() => invoke($3, `64_bad`, [1]), `out of bounds memory access`);

Messung V0.5 in Prozent
C=84 H=87 G=85

¤ Dauer der Verarbeitung: 0.14 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators


Jenseits des Üblichen ....
    

Besucher

Besucher

Statistik
#Sources=1127926
#Domains=1947682