C++ Logo


Advanced search

Re: [wg14/wg21 liaison] UB

From: Jens Maurer <jens.maurer_at_[hidden]>
Date: Wed, 24 May 2023 11:11:19 +0200
On 24/05/2023 10.56, Martin Uecker via Liaison wrote:
> So a semantic notion that only makes sense for whole
> programs is not really that interesting anyway and this is also
> one reason why I think we need to move away from it.

I'd like to point out that C++ has the notion of "ill-formed,
no diagnostic required" which is the phrasing used, inter
alia, for linker errors (duplicate symbol definitions etc.),
and the reading is that the entire program (even before
execution starts) is no longer covered by the rules of
the C++ standard.


Received on 2023-05-24 09:11:27