Validator incorrectly rejects call_indirect to table of type `(ref null nofunc)`
@stevenfontanella ci sta già lavorando.
Dal 15/5/2026.
Valutazione
Questa issue non è ancora stata valutata.
Descrizione
Module:
(module
(type $nopType (func (param i32)))
(table $t1 1 1 (ref null nofunc))
(func $nop (export "nop") (type $nopType)
(nop)
)
(func $calls-nop-via-ref
(call_indirect $t1 (type $nopType) (i32.const 1) (i32.const 0))
)
)
$ bin/wasm-opt -all test/lit/passes/global-effects-closed-world-ignore-implicit-traps.wast
[wasm-validator error in function calls-nop-via-ref] unexpected false: call-indirect table must be of function type., on
(call_indirect $t1 (type $nopType)
(i32.const 1)
(i32.const 0)
)
Fatal: error validating input
This module passes validation on the spec interpreter.
- Lingua principale
- WebAssembly
- Stelle
- 8.6k
- Fork
- 885
- Merge medio
- 2g 1h
- PR unite (30g)
- 70
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di WebAssembly/binaryen
-
Difficoltà 2/5 Mezza giornata Idoneità per principianti 76/100
WebAssembly/binaryen#9018 · 3 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
WebAssembly/binaryen#9123 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
WebAssembly/binaryen#9122 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
WebAssembly/binaryen#9086 · 2 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
WebAssembly/binaryen#9038 · 5 commenti ·