blob: df1f92b5adec769f516d74415ce424eae5a3e8f8 [file] [edit]
;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s
(module
(memory $m 1 1)
(type $arr (array (mut i8)))
;; CHECK: Fatal: {{.*}}: error: memory index is not allowed for array load
(func $load-memidx (param $a (ref $arr))
(drop (i32.load8_u $m (type $arr) (local.get $a) (i32.const 0)))
)
)