On 30/04/2020 01:10, Arthur O'Dwyer via SG12 wrote:

> It's easy to ensure that an operation */is/* performed; all you have to
> do is insert an optimization barrier like Google Benchmark's
> DoNotOptimize, which is basically an `asm volatile("")` statement.

I'd gladly take into the standard an:

assume_escaped(const byte *, size_t);

I can build stuff on top of that.

What would it take in abstract machine wording to get us to this?

Niall