Date: Tue, 14 Oct 2025 08:58:48 -0500
On Tue, Oct 14, 2025 at 8:34 AM JOSE DANIEL GARCIA SANCHEZ via SG21 <
sg21_at_[hidden]> wrote:
> Knowing that a feature like "labels" is coming, I am happy with the
>> status quo for C++26, but we probably won't enable C++26 contracts for
>> anything that targets mixed contexts until we get labels. YMMV.
>
>
> This means that you need a flag like -fno-contracts. Keep in mind that you
> will get preconditions/postconditions in certain functions from the
> standard library.
>
It's almost certain you'll get that flag from compiler vendors. And very
likely other flags with finer control.
sg21_at_[hidden]> wrote:
> Knowing that a feature like "labels" is coming, I am happy with the
>> status quo for C++26, but we probably won't enable C++26 contracts for
>> anything that targets mixed contexts until we get labels. YMMV.
>
>
> This means that you need a flag like -fno-contracts. Keep in mind that you
> will get preconditions/postconditions in certain functions from the
> standard library.
>
It's almost certain you'll get that flag from compiler vendors. And very
likely other flags with finer control.
-- -- René Ferdinand Rivera Morell -- Don't Assume Anything -- No Supongas Nada -- Robot Dreams - http://robot-dreams.net
Received on 2025-10-14 13:59:06