C++ Logo

std-proposals

Advanced search

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

From: Sebastian Wittmeier <wittmeier_at_[hidden]>
Date: Fri, 27 Mar 2026 17:26:09 +0100
Optional Standard library hardening is an ongoing active topic. -----Ursprüngliche Nachricht----- Von:Adrian Johnston via Std-Proposals <std-proposals_at_[hidden]> I was just reading the steering groups paper: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p2000r5.pdf And safety is a major focus coming from them. So I would love to see P2900 style assertions put into the standard library instead of having UB everywhere. That would also allow an evaluation semantics mode "assume" as I described previously to leverage those assertions where it was deemed safe to do so.

Received on 2026-03-27 16:27:01