On 10/14/25 4:49 PM, Ville Voutilainen via SG15 wrote:
> On Tue, 14 Oct 2025 at 23:39, Tom Honermann <tom_at_[hidden]> wrote:
>
>> I would be very unhappy if any implementation made observe the default.
>> But I find observe useful and see no reason to prohibit implementations
>> from offering it.
> Right. I do see such a reason, because the whole reason some of the
> hardened implementations
> were written to begin with is to guarantee that stdlib calls that
> violate the hardened preconditions
> aren't UB, ever.

Sure, and implementors are free to not offer an observe semantic for
hardened preconditions. I don't see a problem.

Tom.

> _______________________________________________
> SG15 mailing list
> SG15_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/sg15