-
Notifications
You must be signed in to change notification settings - Fork 25
Open
Description
Bug Report
1. Minimal reproduce step (Required)
(module
(type (;0;) (func))
(func (;0;) (type 0)
memory.size
f64.const -0x1.5c4a4b044f1efp+2 (;=-5.44203;)
f64.store offset=4268353288)
(memory (;0;) 65131)
(export "to_test" (func 0)))- Transform the WAT to WASM
- Use the singlepass mode to execute it
dtvm -m singlepass -f to_test <test_case>
2. What did you expect to see? (Required)
There is no exception.
3. What did you see instead (Required)
An exception "[error] [dtvm.cpp:530] failed to call function 'to_test': out of bounds memory access"
4. What is the version of this project you are using? (Required)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels