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.