Closed Bug 1716043 Opened 3 years ago Closed 3 years ago

Support bare `try` block in Wasm exception handling

Categories

(Core :: JavaScript: WebAssembly, enhancement, P2)

enhancement

Tracking

()

RESOLVED FIXED
91 Branch
Tracking Status
firefox91 --- fixed

People

(Reporter: asumu, Assigned: asumu)

References

(Blocks 1 open bug)

Details

Attachments

(1 file)

Currently Wasm doesn't accept a bare try block with no corresponding catch, catch_all, unwind, or delegate. The spec was recently updated (https://github.com/WebAssembly/exception-handling/pull/157) to allow these in order to make the syntax more regular.

A bare try block is essentially identical to a block instruction.

This bug is for supporting this form of try in SpiderMonkey.

Assignee: nobody → asumu

This will need changes in the parser for tests, so I will first implement the new behavior in wabt and wasm-tools before submitting a SM patch.

Severity: -- → N/A
Status: NEW → ASSIGNED
Priority: -- → P2
Depends on: 1716869

The proposal spec for exception handling was recently changed
to allow a try block with no catch or delegate clauses:

https://github.com/WebAssembly/exception-handling/pull/157

Pushed by rhunt@eqrion.net:
https://hg.mozilla.org/integration/autoland/rev/faaa31125ac6
Support Wasm `try` block with no other clauses r=rhunt
Status: ASSIGNED → RESOLVED
Closed: 3 years ago
Resolution: --- → FIXED
Target Milestone: --- → 91 Branch
Regressions: 1717971
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: