search

WebAssembly / wabt

The WebAssembly Binary Toolkit
Apache License 2.0
6.55k stars 675 forks source link

Wrong type error when validating globals with gc proposal features #2407

Open ShinWonho opened 3 months ago

ShinWonho commented 3 months ago

In the GC proposal, it allows using previous global value as an initializer expression.

Screenshot 2024-04-02 at 7 03 26 PM

Therefore, following wasm module is a valid module in the GC proposal.

;; global.wat
(module (global i32 (i32.const 0)) (global i32 (global.get 0)))

I run the module with the reference interpreter in the gc proposal, and it passes the validation.

$ gc/interperter/wasm global.wat
// terminates normally

As the reference interpreter also includes function references and tail call proposals, I enable all of them and run wat2wasm, but it raises type error.

$ wabt/bin/wat2wasm --enable-function-references --enable-tail-call --enable-gc global.wat
global.wat:1:60: error: initializer expression can only reference an imported global
(module (global i32 (i32.const 0)) (global i32 (global.get 0)))
                                                           ^