Skip to content

Commit 3f285db

Browse files
authored
Docs: update exceptions proposal fuzzing and C-API status. (#12037)
* Docs: update exceptions proposal fuzzing and C-API status. Noticed while reviewing another docs update: we still state that the exceptions proposal is not fuzzed, and has no C API support. Neither is true anymore, AFAIK: - We fuzz exceptions via our usual infrastructure and we had a number of fuzzbugs come in when we first merged support. - We added C API support for enabling exceptions in #11861. * Review feedback.
1 parent fdbb107 commit 3f285db

File tree

1 file changed

+14
-8
lines changed

1 file changed

+14
-8
lines changed

docs/stability-wasm-proposals.md

Lines changed: 14 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -52,14 +52,14 @@ The emoji legend is:
5252

5353
## Off-by-default proposals
5454

55-
| Proposal | Phase 4 | Tests | Finished | Fuzzed | API | C API |
56-
|-----------------------------|---------|-------|----------|--------|-----|-------|
57-
| [`function-references`] |||| 🚧 |||
58-
| [`gc`] [^6] ||| 🚧[^7] | 🚧[^8] |||
59-
| [`wide-arithmetic`] |||||||
60-
| [`custom-page-sizes`] |||||||
61-
| [`exception-handling`] |||| || |
62-
| [`stack-switching`] [^10] || 🚧 | 🚧 ||||
55+
| Proposal | Phase 4 | Tests | Finished | Fuzzed | API | C API |
56+
|-----------------------------|---------|-------|----------|--------|-----|--------|
57+
| [`function-references`] |||| 🚧 || |
58+
| [`gc`] [^6] ||| 🚧[^7] | 🚧[^8] || |
59+
| [`wide-arithmetic`] |||||| |
60+
| [`custom-page-sizes`] |||||| |
61+
| [`exception-handling`] |||| 🚧[^11]|| 🚧[^12]|
62+
| [`stack-switching`] [^10] || 🚧 | 🚧 ||| |
6363

6464
[^6]: There is also a [tracking
6565
issue](https://github.com/bytecodealliance/wasmtime/issues/5032) for the
@@ -75,6 +75,12 @@ The emoji legend is:
7575
[^10]: The stack-switching proposal is a work-in-progress being tracked
7676
at [#9465](https://github.com/bytecodealliance/wasmtime/issues/9465).
7777
Currently the implementation is only for x86\_64 Linux.
78+
[^11]: The exception-handling proposal is fuzzed by our whole-module fuzzer,
79+
but we do not have an exception-specific fuzzer that attempts to create
80+
interesting throw/catch patterns or payloads.
81+
[^12]: The exception-handling proposal can be enabled for exceptions in the guest
82+
via the C API, but exception objects have no C API to examine, clone,
83+
rethrow, or drop exceptions that propagate to the host.
7884

7985
## Unimplemented proposals
8086

0 commit comments

Comments
 (0)