Date: Thu, 02 May 2024 19:29:03 +0200
Am Donnerstag, dem 02.05.2024 um 19:09 +0200 schrieb Jens Maurer via Liaison:
>
> On 26/01/2024 13.29, Jonathan Wakely via Liaison wrote:
> > - memset_explicit
> > I assume we want this.
>
> I can't see how to specify these effects in the C++ abstract machine.
> If your array goes out-of-scope after the memset, there's no way to
> normatively prevent the dead-store elimination.
What is the problem with simply stating that the
in normative text that last store has to happen?
Martin
>
> On 26/01/2024 13.29, Jonathan Wakely via Liaison wrote:
> > - memset_explicit
> > I assume we want this.
>
> I can't see how to specify these effects in the C++ abstract machine.
> If your array goes out-of-scope after the memset, there's no way to
> normatively prevent the dead-store elimination.
What is the problem with simply stating that the
in normative text that last store has to happen?
Martin
Received on 2024-05-02 17:29:07