On 28/04/2020 23.21, Miguel Ojeda wrote:
> # Jens Maurer
>
>> In order to solve these issues satisfactorily, we probably need a research effort approximately on the same level as improving our memory model for multi-threaded operations. This was a multi-year effort involving top-notch experts in the trade.
>
> Perhaps (I don't disagree with you on this, as you know), but the
> multi-threaded memory model is a good example of how something can
> work in practice, given programs using it were a thing decades before
> the memory model was formalized into the standard. Of course, it was
> not in the standard, but `memset_s` provides the example of something
> useful in the standard without being fully formal yet.

There's a bit of ambiguity here regarding the phrase "the standard".
My understanding is we're talking about the C++ standard, but
memset_s was never in that standard.

Jens