search

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
3.09k stars 438 forks source link

Test that exporting random globals does not change memory semantics #1753

Closed fitzgen closed 3 weeks ago

fitzgen commented 3 weeks ago

@rossberg PTAL, thanks!

fitzgen commented 3 weeks ago

There are engines that exist today that fail this spec test, therefore I think it is useful to have.

fitzgen commented 3 weeks ago

I believe they are pattern matching exactly these global exports, as wasm-ld leaves them behind after linking.

(Also, I don't have permissions to merge in this repo, so you or someone else will have to do it for me. Thanks!)