Closed
Description
It's undefined to unwind past an FFI boundary such as a pub extern "C" fn
. Code generation should automatically insert a landing pad doing an abort. This will eliminate the class of memory safety errors resulting from unwinding into C from Rust. LLVM will be able to optimize it out if it is being caught and handled explicitly, such as to translate into an error code for C.
Metadata
Metadata
Assignees
Labels
Area: Code generationCategory: This is a bug.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessLow priorityRelevant to the compiler team, which will review and decide on the PR/issue.