Just to be clear on 0-1-8 ...

[gs]

The standard library implementation here has the body of one of the standard library functions defined as, literally, "{ }". The function does not do anything except go, "Yes, I have been called." Did MISRA intend to prohibit such a definition with respect to 0-1-8?

[misra cpp]

Yes, this is intended to be a violation.