diff options
Diffstat (limited to 'EssentialPostV1Features.md')
| -rw-r--r-- | EssentialPostV1Features.md | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/EssentialPostV1Features.md b/EssentialPostV1Features.md index 455cfa6..90e2885 100644 --- a/EssentialPostV1Features.md +++ b/EssentialPostV1Features.md @@ -23,8 +23,13 @@ in [future versions](FutureFeatures.md). ## Zero-cost Exception Handling * Developer access to stack unwinding and inspection. -* This will be used to implement `setjmp`/`longjmp` (instead of the usual - opposite approach). +* This may be used to implement `setjmp`/`longjmp` (instead of the usual + opposite approach). This can enable all of the defined behavior of + `setjmp`/`longjmp`, namely unwinding the stack, but does not allow + the undefined behavior case of jumping forward to a stack that + was already unwound (which is sometimes used to implement coroutines; + however, explicit coroutine support is being considered separately + anyhow). ## Signature-restricted Proper Tail Calls * This can also be used to support `goto` and irreducible control flow. |