> On 5 Sep 2025, at 11:09, Jonathan Wakely <jwak...@redhat.com> wrote:
>
> 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.
Thanks, I figured it out - first time I did this particular operation - but I
should have spotted
the .def file next to the others :)
Iain
