Greywolf <greywolf@starwolf.com> writes:

> Could you please enlighten me, at least, as to where the standard defines
> that a library call can be overridden on a whim by the compiler, much less
> without explicit request by the programmer?

A library call is defined to have a particular effect.

Any code the compiler generates with this effect is valid.

Your intuition that this must involve a "function call" in the
conventional sense has no backing in the standard.

        - Nathan