Fill out some more WASI pthread APIs#5310
Conversation
Also update wasmtime/wasi-sdk used in testing to keep them up-to-date. All headers are located at https://github.com/WebAssembly/wasi-libc/blob/af323bda7f3ea816ebefd8e307619920432af89c/libc-top-half/musl/include/pthread.h
There was a problem hiding this comment.
Two nits then lgtm!
Is there a way to detect wasi version from headers? Not really needed right now but it would be good to fill out
Lines 6400 to 6432 in a1fcda2
| // This was removed in wasip2 target for wasi-sdk-30+, but it's just a | ||
| // typedef, so ignore it. | ||
| cfg.skip_alias(|s| s.ident() == "__wasi_rights_t"); |
There was a problem hiding this comment.
Should this be deprecated in libc?
There was a problem hiding this comment.
Good idea, I've added that now. I've also made it conditional since it's only present on wasip1 targets, not wasip2/wasip3
* Extract wasi-sdk version information from `wasi/version.h` * Conditionally verify `__wasi_rights_t` for the wasip1 target, deprecate it on other targets. * Use `ptr::null_mut()`.
There is indeed! There's a wasi/version.h header generated for wasi-sdk which has wasi-sdk and wasip1/p2/p3 version information. I've added that in and use that for conditioanl verification of |
|
Would you be able to restart the failed CI jobs for me? (I think they're spurious but if not I can try to dig in too) |
|
While not quite #4297, I think that may be a spurious failure in the Android job: The hang for 20 minutes led to a timeout it looks like :( |
Also update wasmtime/wasi-sdk used in testing to keep them up-to-date.
@rustbot label +stable-nominated