On Thu, 4 Sept 2025 at 19:03, Jonathan Wakely <jwakely....@gmail.com> wrote:
>
>
>
> On Thu, 4 Sept 2025, 18:02 Iain Sandoe, <iains....@gmail.com> wrote:
>>
>> The facility (with the original shorter name) has been in use on the
>> contracts development branch for almost a year, and has been tested in
>> isolation on x86_64-darwin and powerpc64le-linux.
>> OK for trunk?
>> thanks
>> Iain
>>
>> --- 8< ---
>>
>> This implements the library parts of P1494 as amended by P3641.  For GCC the
>> compiler itself treats stdio operations as equivalent to the observable
>> checkpoint and thus it does not appear to be necessary to add calls to those
>> functions (it will not alter the outcome).
>>
>> This adds the facility for C++26, although there is no reason, in principle,
>> that it would not work back to C++11 at least.
>>
>>         PR c++/119060
>>
>> libstdc++-v3/ChangeLog:
>>
>>         * include/bits/version.h (__glibcxx_observable_checkpoint,
>>         __cpp_lib_observable_checkpoint,
>>         __glibcxx_want_observable_checkpoint): New.
>
>
> This file is auto-generated from bits/version.def

https://gcc.gnu.org/onlinedocs/libstdc++/manual/appendix_porting.html#build_hacking.generated
says how to regenerate it, but I haven't got round to documenting how
to edit version.def yet. The comments at the top of the file are good,
and you can copy from existing examples in the file.

Reply via email to