C++ Logo

std-proposals

Advanced search

Re: [std-proposals] [[assume_assert(expr)]] and/or evaluation semantics mode "assume".

From: Tony V E <tvaneerd_at_[hidden]>
Date: Thu, 26 Mar 2026 23:12:45 -0400
On Thu, Mar 26, 2026 at 5:41 PM Adrian Johnston via Std-Proposals <
std-proposals_at_[hidden]> wrote:

>
> I have implemented this kind of [[assume_assert(expr)]] using
> compiler-specific intrinsics and used it for every last assertion in a
> non-trivial codebase. It worked great, and so I am recommending it for
> the next version of C++26.
>
>
What does "worked great" mean?
Did you find bugs?
Did the code get faster?
It compiled and seems to work :shrug-emoji: ?


-- 
Be seeing you,
Tony

Received on 2026-03-27 03:13:04