Date: Wed, 19 Aug 2026 16:36:06 +0300
On Wed, 19 Aug 2026 at 16:31, Peter Bindels via Std-Proposals
<std-proposals_at_[hidden]> wrote:
> If a branch exists with definite UB but it's never called is the program still ill-formed? For my own software I want that to be yes, but for C++ in general I think so far we have no, and changing such a thing will be a breaking change for many.
Considering that that analysis is completely opt-in, it doesn't break anybody.
<std-proposals_at_[hidden]> wrote:
> If a branch exists with definite UB but it's never called is the program still ill-formed? For my own software I want that to be yes, but for C++ in general I think so far we have no, and changing such a thing will be a breaking change for many.
Considering that that analysis is completely opt-in, it doesn't break anybody.
Received on 2026-08-19 13:36:25