github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/fuzzcases/testdata/708.wat (about)

     1  (module
     2    (func
     3      i32.const -1
     4      i32.const 2
     5      i32.shr_s
     6      ;; The shifted i32 should have the higher 32-bit cleared. If the result is signed-extended to 64-bit integer,
     7      ;; which means it has higher 32-bit all set, this i32.load calculates offset as int64(-1 << 2) + 4 = 0.
     8      ;; In that case, this won't rseult in memory out of bounds, which is not correct behavior.
     9      i32.load offset=4
    10      drop
    11    )
    12    (memory 1)
    13    (start 0)
    14  )