Skip to content

Commit 612880a

Browse files
author
Kyle Strand
committed
POFs necessary but not sufficient
1 parent fdbd98f commit 612880a

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

text/0000-c-unwind-abi.md

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -177,10 +177,12 @@ types). In other words, a forced unwind operation on one platform will simply
177177
deallocate Rust frames without true unwinding on other platforms.
178178

179179
This RFC specifies that, regardless of the platform or the ABI string (`"C"` or
180-
`"C unwind"`), any platform features that may rely on forced unwinding are
181-
undefined behavior if they cross non-[POFs][POF-definition]. For now, however,
182-
we do not specify the conditions required to use forced unwinding safely; we
183-
will specify this in [a future RFC][unresolved-questions].
180+
`"C unwind"`), any platform features that may rely on forced unwinding will
181+
always be considered undefined behavior if they cross
182+
non-[POFs][POF-definition]. Crossing only POFs is necessary but not sufficient,
183+
however, to make forced unwinding safe, and for now we do not specify any safe
184+
form of forced unwinding; we will specify this in [a future
185+
RFC][unresolved-questions].
184186

185187
[inside-rust-forced]: https://blog.rust-lang.org/inside-rust/2020/02/27/ffi-unwind-design-meeting.html#forced-unwinding
186188

0 commit comments

Comments
 (0)