Stream: project-ffi-unwind

Topic: Soundness concerns around catch_unwind


RalfJ (Feb 28 2020 at 09:22, on Zulip):

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.

RalfJ (Feb 28 2020 at 09:23, on Zulip):

oh nvm I see @Amanieu already raised that here oops

Last update: Jun 05 2020 at 23:10UTC