Stream: project-ffi-unwind

Topic: Soundness concerns around catch_unwind


view this post on Zulip RalfJ (Feb 28 2020 at 09:22):

Discussion in the UCG raised an interesting unwind-related concern: right now, it is legitimate (or at least, not unreasonable) for code to assume that every (Rust) function either returns or panics. Which means with catch_unwind, it'll definitely panic.
crates like take_mut crucially rely on this and become unsound once there is a way for Rust code to unwind that is not caught by catch_unwind. I believe even rayon scoped threads would become unsound.

view this post on Zulip RalfJ (Feb 28 2020 at 09:23):

oh nvm I see @Amanieu already raised that here oops


Last updated: Jan 26 2022 at 08:46 UTC