github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/fuzzcases/testdata/725.wat (about)

     1  (module
     2    (func (export "i32.load8_s")
     3      i32.const 0 ;; load offset.
     4      ;; If this sign-extends the data as 64-bit,
     5      ;; the loaded value becomes -1 in signed-64 bit integer at runtime.
     6      i32.load8_s offset=0
     7      ;; Therefore, this load operation access at offset 0 and won't result in out of bounds memory access,
     8      ;; which is wrong.
     9      i32.load offset=1
    10      unreachable
    11    )
    12    (func (export "i32.load16_s")
    13      i32.const 0 ;; load offset.
    14      ;; If this sign-extends the data as 64-bit,
    15      ;; the loaded value becomes -1 in signed-64 bit integer at runtime.
    16      i32.load16_s offset=0
    17      ;; Therefore, this load operation access at offset 0 and won't result in out of bounds memory access,
    18      ;; which is wrong.
    19      i32.load offset=1
    20      unreachable
    21    )
    22    (memory (;0;) 10 10)
    23    (data (i32.const 0) "\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff\ff")
    24  )