On Thu, 2 May 2024 at 18:11, Jens Maurer <jens.maurer_at_[hidden]> wrote:

>
>
> 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 about defining it in terms of writes to volatile objects?