wabt icon indicating copy to clipboard operation
wabt copied to clipboard

wasm2c no longer passes many spec tests

Open sbc100 opened this issue 4 years ago • 0 comments

Many test fail because the recent spec tests now require multi-table and reference-type support. I was forced to delete the following tests for that reason:

  • test/wasm2c/spec/br_table.txt
  • test/wasm2c/spec/call_indirect.txt
  • test/wasm2c/spec/elem.txt
  • test/wasm2c/spec/exports.txt
  • test/wasm2c/spec/imports.txt
  • test/wasm2c/spec/table.txt
  • test/wasm2c/spec/linking.txt
  • test/wasm2c/spec/select.txt

The new version of test/wasm2c/spec/data.txt fails because somehow the bounds checks don't seem to work for zero-sized memories. This test tails to trap:

(assert_trap                                                                        
  (module                                                                              
    (memory 0)                                                                   
    (data (i32.const 1))                                                         
  )                                                                              
  "out of bounds memory access"                                                  
)   

sbc100 avatar Oct 15 '21 01:10 sbc100