On Sun, 3 Aug 2025, Anna (navi) Figueiredo Gomes wrote: > based on n3589[1], this feature mostly makes use of already-established > logic, namely push_cleanup used by the cleanup attribute, and the > constraints put in place for checking local jumps against statement > expressions > > 1: https://open-std.org/JTC1/SC22/WG14/www/docs/n3589.pdf
This is somewhat premature. N3589 is a TS proposal, which would need to go though the National Body balloting process, which takes a while. If accepted, it would not be part of C2y, and so it wouldn't be appropriate for the implementation to be conditional on C2y; it would have to be conditional on some other option instead. There is also N3590, a more direct proposal to add the feature to C2y. But N3590 isn't on the agenda for Brno at all, so isn't going into C2y any time soon. And unless concrete wording gets accepted into the working draft at a meeting (not merely "along the lines" support), it's not appropriate for an implementation to treat it as part of C2y either. -- Joseph S. Myers josmy...@redhat.com
