Wasm: Any function argument of type Void should be a validation error

[Saam Barati]

...

[Saam Barati]

<rdar://problem/41140257>

[Saam Barati]

Created attachment 343002 [details]
patch

[Keith Miller]

Comment on attachment 343002 [details]
patch

View in context: https://bugs.webkit.org/attachment.cgi?id=343002&action=review

r=me with comments

> JSTests/wasm/function-tests/void-argument-type-should-be-a-validation-error.js:15
> +        .Function("callFunc", { params: ["i32", "i32", "void"], ret: "void" })
> +            .Return()
> +        .End()

Can we get some more test cases.

> Source/JavaScriptCore/wasm/WasmModuleParser.cpp:130
>              WASM_PARSER_FAIL_IF(!parseResultType(argumentType), "can't get ", i, "th argument Type");
> +            WASM_PARSER_FAIL_IF(argumentType == Type::Void, "Argument number ", i, " has type Void. An argument cannot be of type Void.");

Nit: I think this should be parseValueType.

[Saam Barati]

Created attachment 343004 [details]
patch for landing

[EWS Watchlist]

Comment on attachment 343004 [details]
patch for landing

Attachment 343004 [details] did not pass jsc-ews (mac):
Output: http://webkit-queues.webkit.org/results/8240187

New failing tests:
wasm.yaml/wasm/self-test/test_BuilderJSON.js.wasm-no-cjit-yes-tls-context
wasm.yaml/wasm/self-test/test_BuilderJSON.js.wasm-eager-jettison
wasm.yaml/wasm/self-test/test_BuilderJSON.js.wasm-no-tls-context
wasm.yaml/wasm/self-test/test_BuilderJSON.js.wasm-slow-memory
wasm.yaml/wasm/self-test/test_BuilderJSON.js.wasm-no-call-ic
wasm.yaml/wasm/self-test/test_BuilderJSON.js.default-wasm

[EWS Watchlist]

Comment on attachment 343004 [details]
patch for landing

Attachment 343004 [details] did not pass win-ews (win):
Output: http://webkit-queues.webkit.org/results/8241210

New failing tests:
http/tests/security/canvas-remote-read-remote-video-redirect.html

[EWS Watchlist]

Created attachment 343016 [details]
Archive of layout-test-results from ews206 for win-future

The attached test failures were seen while running run-webkit-tests on the win-ews.
Bot: ews206  Port: win-future  Platform: CYGWIN_NT-6.1-2.9.0-0.318-5-3-x86_64-64bit

[EWS Watchlist]

Comment on attachment 343004 [details]
patch for landing

Attachment 343004 [details] did not pass mac-wk2-ews (mac-wk2):
Output: http://webkit-queues.webkit.org/results/8244298

New failing tests:
accessibility/mac/selection-notification-focus-change.html

[EWS Watchlist]

Created attachment 343028 [details]
Archive of layout-test-results from ews107 for mac-sierra-wk2

The attached test failures were seen while running run-webkit-tests on the mac-wk2-ews.
Bot: ews107  Port: mac-sierra-wk2  Platform: Mac OS X 10.12.6

[Saam Barati]

Created attachment 343068 [details]
patch for landing

[WebKit Commit Bot]

Comment on attachment 343068 [details]
patch for landing

Clearing flags on attachment: 343068

Committed r232970: <https://trac.webkit.org/changeset/232970>

[WebKit Commit Bot]

All reviewed patches have been landed.  Closing bug.